I have a certain equation derived from another problem I was solving that includes floor functions. By plugging in different values I experimentally find that the following equation is true:

$\left \lfloor \frac{H-S\left ( \left \lfloor \frac{H-D\left ( K - 1\right ) - 1}{S}+1 \right \rfloor - 1\right ) - 1}{D}+1 \right \rfloor = K$

Also if I remove the floor functions, I can easily show this equality holds:

$\frac{H-S\left ( \frac{H-D\left ( K - 1\right ) - 1}{S}\right ) - 1}{D}+1 = \frac{H-\left ( H-D\left ( K - 1\right ) - 1\right ) - 1}{D}+1 = \frac{D(K-1)}{D}+1=K$

However, I don't think this is a complete proof because it is unclear to me why it is justified to just remove the floor functions. I don't really have experience solving equations with floor functions in them. Does anyone know how I would show this equality holds when not removing the floor functions?

Edit: H, S, D and K are all integers > 0. I don't have guarantees if they are odd or even.

I realize I can simplify the equation a little bit into this: $\left \lfloor \frac{H-S \left \lfloor \frac{H-D\left ( K - 1\right ) - 1}{S} \right \rfloor - 1}{D} \right \rfloor +1 = K$

Edit 2: I see now that the problem I was trying to solve is more complicated and there are many parameter combinations for which the equation doesn't hold. The equation might only be provable under certain conditions I think.

  • $\begingroup$ Do yo mean true that this identity looks valid for all values of $H,S,D$ (positive, negative...) ? $\endgroup$
    – Jean Marie
    Oct 13 at 19:50
  • $\begingroup$ Just choose any $K$ not an integer. The left hand side is an integer, the right hand side is not. So obviously you are missing some conditions. $\endgroup$
    – Andrei
    Oct 13 at 20:00
  • 2
    $\begingroup$ Also, even if these are all integers, this also fails when $H=4$, $S=2$, and $D=K=1$. $\endgroup$
    – Kevin Long
    Oct 13 at 20:02
  • $\begingroup$ @dljve It sounds like you're making some progress on your own. I'll point out that having $\lfloor x\rfloor=k$ is equivalent to $k\leq x<k+1$. This could help simplify, though it'll be more complicated when you incorporate the second floor. $\endgroup$
    – Kevin Long
    Oct 14 at 17:31

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.