Если делимое меньше делителя (т.е. делим меньшее число на большее), то неполное частное всегда будет равно нулю, а остаток равен делимому.
3 : 7 = 0 (ост.3) ⇒ 7 * 0 + 3 = 3
15/18 = 15 : 18 = 0 (ост.15) ⇒ 18 * 0 + 15 = 15
396 : 854 = 0 (ост.396) ⇒ 854 * 0 + 396 = 396
5792 : 6832 = 0 (ост.5792) ⇒ 6832 * 0 + 5792 = 5792
94573/96821 = 94573 : 96821 = 0 (ост.94573) ⇒
⇒ 96821 * 0 + 94573 = 94573
847736/858419 = 847736 : 858419 = 0 (ост.847736) ⇒ 858419 * 0 +
+ 847736 = 847736
Пошаговое объяснение:
Не будем забывать, что числа a, b, c - натуральные.
Условие, что остатки от деления чисел a и b на число c равны и вдвое меньше остатка от деления a на b можно записать так:
a = mc + r, b = nc + r, a = kb + 2r. Здесь m, n, k и r - целые неотрицательные числа ( m ≥ 0, n ≥ 0, k ≥ 0, r ≥ 0), причём r < c и 2r < b.
По условию r < 2r, а это значит, что r > 0.
Переходим к доказательству того, что если a ≤ 2b, то (a + b)/c - натуральное число.
Т. к. a = kb + 2r и 0 < 2r < b, то a не кратно b, и случаи a = b и a = 2b не возможны.
Если же a < b, то a = 0 · b + a = 2r, т.е. a = 2r. А т.к. a = mc + r, то
mc + r = 2r → mc = r. Но мы уже знаем, что r > 0. Поэтому и mc > 0, и т.к.
c - натуральное, то m ≥ 1. Отсюда: mc ≥ c > r, и равенство mc = r не возможно, и неравенство a < b тоже не возможно. И поскольку a ≠ b, то b < a < 2b и равенство a = kb + r выполняется лишь при k = 1.
Итак, a = b + 2r и a = mc + r. Отсюда: b + 2r = mc + r и b = mc - r.
Тогда (a + b)/2 = (mc + r + mc - r)/2 = mc, и (a + b)/2 нацело делится на с. Всё доказано.