Пусть число рационально. Тогда
Т.к. 5 - простое, то - т.е. и , и кратны 5, а значит - противоречие.
А значит предположение неверно, и число иррационально.
Ч.т.д.
Пусть число
рационально. Тогда ![\exists m, n\in Z \backslash \{0\}, HOD(m,\:n)=1:\:\:\: \sqrt5=\dfrac{m}{n}=\\ 5=\dfrac{m^2}{n^2}=5n^2=m^2=m^2\vdots 5](/tpl/images/0895/4734/d50e5.png)
Т.к. 5 - простое, то
- т.е. и
, и
кратны 5, а значит
- противоречие.
А значит предположение неверно, и число
иррационально.
Ч.т.д.