Операнд вычисления остатка

[hexor_boo]

При использовании оператора % с отрицательными числами ситуация немного
усложняется:

>>> 5 % -3
-1
>>> -5 % 3
1
>>> -5 % -3
-2

Хотя на первый взгляд эти результаты выглядят странно, они объясняются
четкой логикой выполнения оператора в Python. Для вычисления остатка r от
деления числа x на число y в Python используется формула r = x - (y * (x // y)).
Например, чтобы определить результат 5 % -3, Python сначала вычисляет
(5 // -3). Так как результат 5 / -3 равен приблизительно -1.67, это означает,
что 5 // -3 дает -2. Теперь Python умножает это значение на -3, получается 6.
Наконец, Python вычитает 6 из 5 и получает -1.

1) Для вычисления остатка r отделения числа x на число y в Python используется формула r = x - (y * (x // y)).

2) Понятно: Например, чтобы определить результат 5 % -3, Python сначала вычисляет
(5 // -3). Так как результат 5 / -3 равен приблизительно -1.67, это означает,
что 5 // -3 дает -2.

3) Непонятно почему так: Теперь Python умножает это значение на -3, получается 6.

Т.е. непонятно в этой формуле выделенное полужирным: r = x - (y * (x // y))

Хочу действительно понять формулу.

[p51x]

Сообщение от hexor_boo

3) Непонятно почему так: Теперь Python умножает это значение на -3, получается 6.

Вы же дроби в школе проходили? Знаете чему равно 2 * (1/2)? Тут таже логика: x//y - сколько "целых" y в x, вычитая из х это число, умноженное на y, как раз и получается остаток.