tag:
метод спуска
\[{\text{Докажите}}{\text{, что }}\sqrt 2 {\text{ - иррациональное число}}{\text{.}}\]
\[\begin{array}{l} {\text{Пусть }}k{\text{ - натуральное число}}{\text{. Докажите}}{\text{, что если число}} \hfill \\ \sqrt k {\text{ не является целым}}{\text{, то оно иррационально}}{\text{.}} \hfill \\ \end{array}\]