Доказать, что, если для некоторых натуральных чисел x, y число целое, то оно делится на 60.
Число является целым тогда и только тогда, когда целым является число Делимость на 60 равносильна одновременной делимости на 4, 3 и 5. Поэтому рассмотрим остатки от деления чисел x, y на эти числа, и тому, при каком сочетании этих остатков целым будет число Более того, в доказательстве делимости на 4 нам понадобятся даже остатки от деления на 8.
1. Остатки от деления чисел x, y на 5 равны 0, 1, 2, 3, 4, а от деления их квадратов на 5: 0, 1, 4, 4, 1. Если x или y делятся на 5, то и произведение тоже делится на 5. В противном случае остатки от деления на 5 чисел x2, y2 равны 1 или 4, а возможный остаток x2 + y2 равен 2 = 1 + 1 и 0 = 1 + 4. В последнем случае x2 + y2 делится на 5 и является полным квадратом, то есть делится на 25, и делится на 5. В двух других случаях остатки от деления x2 + y2 на 5 равны 2 или 3, что не равно 0,1 или 4, поэтому x2 + y2 не является квадратом и целый корень квадратный из него не извлекается, то есть эти случаи не подпадают под условия задачи.
2. Остатки от деления чисел x, y на 3 равны 0, 1, 2, а от деления их квадратов на 3: 0, 1, 1. Если x или y делятся на 3, то и произведение тоже делится на 3. В противном случае остатки от деления на 3 чисел x2, y2 равны 1, а остаток x2 + y2 равен 2 = 1 + 1. В последнем случае остаток от деления x2 + y2 на 3 равен 2, что не равно 0 или 1, поэтому x2 + y2 не является квадратом и целый корень квадратный из него не извлекается, то есть этот случай не подпадает под условия задачи.
3. Остатки от деления чисел x, y на 4 равны 0, 1, 2, 3, а от деления их квадратов на 4: 0, 1, 0, 1. Если x или y делятся на 4, то и произведение тоже делится на 4. То же самое в случае, когда оба остатка от деления чисел x, y на 4 равны 2. В оставшихся случаях остаток от деления на 4 числа x2 + y2 равен 2 = 1 + 1 или 1 = 0 + 1. В первом случае остаток от деления x2 + y2 на 4 равен 2, что не равно 0 или 1, поэтому x2 + y2 не является квадратом и целый корень квадратный из него не извлекается, то есть этот случай не подпадает под условия задачи. Во втором случае или Тогда
то есть в обоих случаях остаток от деления на 8 равен 5. Однако легко заметить, что остаток от деления квадрата числа на 8 может равняться 0, 1, 4, поэтому не может быть целым и данный случай не подпадает под условия задачи.
Таким образом, во всех случаях, если число является целым, то оно делится на 3, 4 и 5, что и требовалось доказать.