Доказательство отсуствия рационального корня в уранении x^2 = 2

1. Предположим, что корень х уравнения х² = 2 – рациональное число.
2. Тогда существуют такие числа m ϵ Z, n ϵ N, что х = m/n и дробь m/n несократима, где Z – множество целых чисел, а N – множество натуральных чисел.
3. Имеем: m²/n² = 2 или m² = 2 * n². Дальнейшее изложение доказательства смотрите тут: http://bit.ly/Dok-vo-otsutstviya