Рациональное число - это дробь с целым числителем и натуральным знаменателем.
Пусть существует несократимая (это важно) дробь m/n = √5. Очевидно, что так как n>0, то и m>0
Проведем цепочку рассуждений
1) m²/n² = 5 m² = 5n²
2) Итак, мы видим, что m² делится на 5. Так как число 5 - простое, мы понимаем, что m тоже должно делиться на 5. Почему так? Если в разложении m на простые множители отсутствует 5, то и в m² не будет 5
3) Итак, m делится на 5, значит m² делится на 25, то есть m² = 25p, где p-целое
4) Итак, m² = 5n² = 25p n² = 5p
Мы видим, что n² тоже делится на 5, а значит, n тоже делится на 5
5) И мы получаем, что m и n должны делиться на 5. Но это противоречит исходному предположению о несократимости дроби m/n
Значит, не существует такой рациональной дроби m/n, которая равнялась бы корню из 5
Аждое число от 1 до 27 встречается только в трех тройках подряд идущих чисел. Поэтому, как бы не были расположены числа по окружности, сумма чисел во всех таких тройках будет равна 3*(1+2+...+27)=3*(1+27)*27/2=1134. Если предположить, что сумма чисел в каждой такой тройке меньше 42 (т.е. не больше 41), то, поскольку имеется всего 27 троек подряд идущих чисел, общая сумма чисел в них не превосходила бы 41*27=1107, что меньше 1134. Противоречие. Значит обязательно есть тройка, в которой сумма чисел больше 41. Что и требовалось.
