Предположим, что существует какое-либо дробное число, при возведении которого в квадрат можно получить два: (p/q)^2 = 2. При этом эта дробь несократима.
Запишем уравнение так: p^2 / q^2 = 2.
Умножим обе части уравнений на q^2, получим: p^2= 2q^2.
Выражение 2q^2 в любом случае должно быть четным, т. к. выполняется умножение на 2.
Значит, p^2 тоже четно.
Но известно, что квадрат нечетного числа дает нечетное число (например, 5^2 = 25), а квадрат четного – четное (4^2 = 16). Поэтому p должно иметь четное значение.
Если p четно, то его можно представить как p = 2^k. Тогда получим: (2k)^2 = 2q^2. Или 4k^2 = 2q^2.
Сократим полученное уравнение и получим: 2k^2 = q2.
Поскольку в левой части уравнения результат будет четным (т. к. происходит умножение на 2), то и q должно быть четным, чтобы его квадрат был четным.
Но вспомним,
ранее было доказано, что и p четно,изначально предполагалось, что взятая дробь p/q несократима.
Если же и p, и q четные числа, то образованную ими дробь можно сократить на 2. Т. е. приходят к противоречию с условием и на этом основании делают вывод, что нет рациональной дроби, квадрат которой может быть равен 2.
Нам нужно доказать, что √17 является иррациональным числом. Пусть оно является рациональным числом. Тогда его можно представить в виде m/n, где m ∈ Z, n ∈ N и дробь несократимая. Возведя в квадрат, получаем, что 17 = m²/n² Тогда 17n² = m² Чтобы равенство было верным, необходимо, чтобы m ⋮ 17 тогда и n ⋮ 17, иначе данное равенство будет неверным, т.к. 17 - простое число. Тогда дробь m/n будет сократимой, т.к. и числитель, и знаменатель кратны 17. Но это невозможно, поэтому дробь вида (m/n)² = 17 не существует ⇒ число 17 не может являться квадратом рационального числа, т.е. √17 - иррациональное число.
Предположим, что существует какое-либо дробное число, при возведении которого в квадрат можно получить два: (p/q)^2 = 2. При этом эта дробь несократима.
Запишем уравнение так: p^2 / q^2 = 2.
Умножим обе части уравнений на q^2, получим: p^2= 2q^2.
Выражение 2q^2 в любом случае должно быть четным, т. к. выполняется умножение на 2.
Значит, p^2 тоже четно.
Но известно, что квадрат нечетного числа дает нечетное число (например, 5^2 = 25), а квадрат четного – четное (4^2 = 16). Поэтому p должно иметь четное значение.
Если p четно, то его можно представить как p = 2^k. Тогда получим: (2k)^2 = 2q^2. Или 4k^2 = 2q^2.
Сократим полученное уравнение и получим: 2k^2 = q2.
Поскольку в левой части уравнения результат будет четным (т. к. происходит умножение на 2), то и q должно быть четным, чтобы его квадрат был четным.
Но вспомним,
ранее было доказано, что и p четно,изначально предполагалось, что взятая дробь p/q несократима.Если же и p, и q четные числа, то образованную ими дробь можно сократить на 2. Т. е. приходят к противоречию с условием и на этом основании делают вывод, что нет рациональной дроби, квадрат которой может быть равен 2.
Пусть оно является рациональным числом.
Тогда его можно представить в виде m/n, где m ∈ Z, n ∈ N и дробь несократимая.
Возведя в квадрат, получаем, что 17 = m²/n²
Тогда 17n² = m²
Чтобы равенство было верным, необходимо, чтобы m ⋮ 17 тогда и n ⋮ 17, иначе данное равенство будет неверным, т.к. 17 - простое число.
Тогда дробь m/n будет сократимой, т.к. и числитель, и знаменатель кратны 17. Но это невозможно, поэтому дробь вида (m/n)² = 17 не существует ⇒ число 17 не может являться квадратом рационального числа, т.е. √17 - иррациональное число.