I would like to know some general properties of the modulo (remainder) function that I can use to rewrite expressions. For example, say we wanted to prove the following by rewriting the right-hand-side:(adsbygoogle = window.adsbygoogle || []).push({});

$$ \Big{\lfloor} \frac{n}{d} \Big{\rfloor} = \frac{n - n \pmod d}{d} $$

I have no idea how to prove this statement formally. Intuitively, ##n \pmod d## is the remainder of whatever ##\big{\lfloor} \frac{n}{d} \big{\rfloor}## is, and therefore

$$ n \pmod d = n - d \Big{\lfloor} \frac{n}{d} \Big{\rfloor}$$

Which, when we insert it into the right-hand side of what I'm trying to prove, results in:

$$ \frac{n - (n - d \big{\lfloor} \frac{n}{d} \big{\rfloor})}{d} $$

Which, thankfully, boils down to:

$$ \Big{\lfloor} \frac{n}{d} \Big{\rfloor} $$

What I want to know is: How do I formalize the beginning of this proof? Is there some general property or definition of the modulo function which I can invoke to justify that step?

**Physics Forums - The Fusion of Science and Community**

Dismiss Notice

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# [Algebra] Proving equations involving modulo functions.

Loading...

Similar Threads - Algebra Proving equations | Date |
---|---|

I Clarifying a corollary about Quadratic Forms | Mar 7, 2018 |

I Can you reduce a vector triple product? i.e. (A x (uB x C)) | Jan 19, 2018 |

B Stumbling over basic algebra | Jan 5, 2018 |

How does this simplification work? | Dec 19, 2017 |

B Need help with algebra in proving kinetic energy is not conserved | Mar 23, 2016 |

**Physics Forums - The Fusion of Science and Community**