Счетчики








Задача: доказать иррациональность корня n-ой степени из натурального числа n

Шпаргалки для юных математиков

Потребовалось мне по делу отыскать доказательство следующей гипотезы: числа вида nn при натуральном n, большем единицы, являются иррациональными (не представимыми дробью p/q натуральных чисел). Излагаю доказательство в 4 шага. Первые два аналогичны доказательству Евклида иррациональности числа 2 (это частный случай чисел nn). Остальные шаги еще проще.

1) Исходим от противного, для чего предполагаем верным равенство nn=p/q.

2) Возводим обе части равенства в n-ую степень и получаем n=pn/qn.

3) Поскольку число n натуральное, значит дробь pn/qn обязательно сокращается до n-ой степени какого-нибудь натурального числа a, отчего заменой дроби на an приходим к равенству n=an.

Комментарий: Проиллюстрировать обязательность сокращения дроби pn/qn не составит труда. Разложив числитель и знаменатель в произведение простых множителей abc и так далее, получим n/1=pn/qn=anbncn.../bncndn..., затем, сократив одинаковые множители, в знаменателе дроби непременно останется единица (так как было n/1=.../...), в числителе же останется произведение несокращенных множителей, возведенных в n-ую степень, и это произведение можно записать одним числом в n-ой степени.

4) Прологарифмируем полученное равенство n=an, избрав для этой цели логарифм с основанием a. Тогда придем к logan=logaan=n.

Вывод: числа вида nn с оговоренными в задаче условиями не могут быть рациональными, так как в этом случае возникает противоречивое равенство logan=n, ибо логарифм числа при положительном целом основании, большем единицы, не может быть равен самому числу.

Дмитрий Сахань, 23 октября 2005 года