Научная статья на тему 'Отличительное свойство натуральных чисел в различных геометриях'

Отличительное свойство натуральных чисел в различных геометриях Текст научной статьи по специальности «Математика»

CC BY
1072
64
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
ПАРАБОЛИЧЕСКАЯ ГЕОМЕТРИЯ / ГИПЕРБОЛИЧЕСКАЯ ГЕОМЕТРИЯ / ЭЛЛИПТИЧЕСКАЯ ГЕОМЕТРИЯ / PARABOLIC GEOMETRY / HYPERBOLIC GEOMETRY / ELLIPTIC GEOMETRY

Аннотация научной статьи по математике, автор научной работы — Кочкарев Баграм Сибгатуллович

Устанавливается отличительное свойство натуральных чисел в зависимости от того, в какой геометрии (евклидовой, Н. И. Лобачевского или Б. Римана) они рассматриваются

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

Текст научной работы на тему «Отличительное свойство натуральных чисел в различных геометриях»

Отличительное свойство натуральных чисел в различных геометриях Кочкарев Б. С.

Кочкарев Баграм Сибгатуллович /Kochkarev Bagram Sibgatullovich - кандидат физико-математических наук, доцент, кафедра высшей математики и математического моделирования,

Институт математики и механики имени Н. И. Лобачевского,

Казанский (Приволжский) федеральный университет, г. Казань

Аннотация: устанавливается отличительное свойство натуральных чисел в зависимости от того, в какой геометрии (евклидовой, Н. И. Лобачевского или Б. Римана) они рассматриваются.

Abstract: distinctive feature set of natural numbers, depending on where in the geometry (Euclidien, Lobachevsky or Riman) they are.

Ключевые слова: параболическая геометрия, гиперболическая геометрия, эллиптическая геометрия. Keywords: parabolic geometry, hyperbolic geometry, elliptic geometry.

Настоящая работа вызвана в связи с так называемым доказательством Последней теоремы Ферма, опубликованным в [1], которое вызвало много шума особенно в западной прессе и некоторых публикациях, например, в виде монографии [2] и в интернете [3].

В работе [4] было указано, что Э. Уайлс использовал в своем доказательстве только геометрию Евклида (параболическую по классификации Ф. Клейна [5]), что не может считаться полным доказательством, так как евклидова геометрия является весьма частным случаем неевклидовой геометрии, когда угол

К

параллельности равен —

тогда как в других случаях он является острым [5,31].

В отличие от [1] в статье [4] мы дали полное прямое, а не от противного алгебраическое доказательство Великой гипотезы Ферма и построили алгоритм доказательства этого утверждения для любого n > 3 , тогда как на протяжении почти 400 лет другие строили свои доказательства для некоторых конкретных n . Более того, Куммер показал [2,117], что полное доказательство Великой теоремы Ферма лежало за пределами возможностей существовавших математических подходов (в то время аксиоматики натуральных чисел Пеано еще не было, и метод спуска Ферма также до конца не был понят). Чтобы подтвердить наши сомнения относительно полноты доказательства утверждения Ферма в [1], мы решили рассмотреть особенности натуральных чисел в различных геометриях.

На протяжении более 2000 лет математиков привлекала проблема параллелей, так как пятый постулат Евклида отличался от прочих более сложной формулировкой и отсутствием непосредственной очевидности. Ученым казалось, что это теорема, которую Евклид просто не сумел доказать [5,19]. Таким образом, возникла необходимость доказать это предложение, опираясь как на исходные на остальные аксиомы и постулаты. Это была задача, над решением которой впоследствии безуспешно бились сотни геометров. [5,20].

В составившем эпоху в развитии геометрии докладе 1826 г. Н. И. Лобачевский дал уже окончательное, но совсем неожиданное решение проблемы параллелей. Он создал новую геометрию, заменив Евклидов постулат более общей аксиомой параллельности и сохранив прочие аксиомы и постулаты. Вместе с тем новая аксиома параллельности включала прежнюю как предельный случай, т.е. новая геометрия обобщала евклидову [5,25].

Смысл аксиомы Лобачевского легче понять, если рассмотреть предварительно на плоскости произвольную прямую A A, точку P вне прямой, перпендикуляр PQ к прямой A A [5,25].

Если обозначим отрезок PQ через X , то наименьший угол наклона а прямой PT к перпендикуляру PQ, при котором PT не пересекает A A назван углом параллельности для отрезка PQ = X.

Очень важно отметить, что угол параллельности а не может быть постоянным (если он постоянен, то он обязательно прямой, и получается геометрия Евклида). Исследование показывает, что он является

монотонно убывающей непрерывной функцией отрезка PQ = X и изменяется от

К

~2

до 0, когда X

а

возрастает от 0 до + да . Лобачевский нашел для этой функции следующее выражение: tg — = e k или

X

X

а = 2arctg(e k) k — длина некоторого постоянного отрезка, названного впоследствии радиусом кривизны пространства, а e - число Непера- основание натуральных логарифмов [5,31]. Если X устремить к бесконечности, то в пределе

О о О Ж Ж

tg — = e , т.е. — = — и а = —.

2 2 4 2

Мы получаем геометрию Евклида. Отметим, что Лобачевский доказал еще до установления упомянутой

функциональной зависимости, что каждый острый угол

а,0 <а <

Ж

2

можно рассматривать как угол

параллельности некоторого отрезка.

И Лобачевскому, и Гауссу, и Больаи было хорошо известно [6], что евклидова геометрия представляет собой частный случай новой «воображаемой» геометрии, соответствующей бесконечному значению параметра к или, следовательно, нулевому значению кривизны пространства (так называется в настоящее

время величина

1

к

). Поэтому пространства Лобачевского называются пространствами постоянной

отрицательной кривизны K < 0 (K =------—), а соответствующая геометрия называется гиперболической.

к

Как было указано выше, угол параллельности а в геометрии Лобачевского изменяется монотонно и Ж Ж

непрерывно от — до 0, 0 < а < —, когда длина отрезка X изменяется от 0 до + да. Пусть а угол 2 2

параллельности в геометрии Лобачевского равный —. Известно [5,38], что площадь треугольника ABC Г

4

в пространстве Лобачевского выражается через сумму его углов

г = 4к2 (ж- (ZA + ZB + ZC))

Треугольника (в собственном смысле) самой большой площади не существует. Величина площади получится самой большой (Г = 4жк2, если ZA + ZB + ZC = 0, т.е. ZA = 0, ZB = 0, ZC = 0 . Это может иметь место, только когда все три вершины удалены в бесконечность, т.е. стороны треугольника попарно параллельны. Такой треугольник называется асимптотическим. Треугольник с собственными вершинами A(

Ж

ZA = —), B( ZB 2

— ) и вершиной C( ZC = 0), удаленной в бесконечность, будет иметь площадь

4

г = к2 ж . В связи с изложенным справедливы теоремы:

Теорема 1. Если a, Ъ, с - натуральные числа, то уравнение

аа + ЪР + с% = ж,

где а, Р, X — углы треугольника в пространстве Евклида, имеет единственное решение а = 1, Ъ = 1, с = 1.

Доказательство. Действительно, для любого треугольника ABC в евклидовом пространстве сумма его углов а + Р + X = Ж . Поэтому

аа + ЪР + сх > а + Р + X = Ж, если, по крайней мере, одно из чисел а, Ъ, с отлично от 1, и если а = Ъ = с = 1, то аа + ЪР + сх = ж .

Теорема 2. Если а,^с - натуральные числа, то уравнение

аа + ЪР + сх = ж, (1)

где а, Р, X - углы треугольника в пространстве Лобачевского, имеет, вообще говоря, бесчисленное множество решений.

Доказательство. Действительно, рассмотрим в пространстве Лобачевского треугольник с собственными

вершинами A( ZA

Ж

- X B( ZB

—) и вершиной C( ZC = 0), удаленной в бесконечность. Очевидно в

4

этом случае уравнение (1) будет иметь решение а = 1, Ъ = 2, с — любое натуральное число, откуда следует утверждение теоремы.

Теорема 3. Если а, ^ с - натуральные числа, то уравнение аа + ЪР + сх = ж,

где а, Р, X - углы треугольника в геометрии Римана, не имеет решений.

Доказательство. Действительно аа + ЪР+ cх >а + Р + X > —, что и требовалось доказать.

Таким образом, при рассмотрении теоретико-числовых проблем с применением геометрических принципов, вопреки мнению некоторых [1], имеет большое значение какая система аксиом геометрии при этом рассматривается.

Примечание: внесем некоторые уточнения в статьи автора, опубликованные ранее - [4] и [7]. А именно, в [4] на стр.10 в 8-ой и 7-ой строках следует заменить номера уравнений; в [7] на стр.7 в 16-ой строке сверху в предложении часть «и притом единственные соответственно 3 и 26» не читать, так как

для n ~ 2 таких чисел бесконечно много.

Литература

1. Wiles A. Modular elliptic curves and Fermat’s Last Theorem, Annals of Mathematics, v.141 Second series № 3 May 1995 p. 445-551.

2. Сингх С. Великая теорема Ферма, МЦНМО, 2000. 288 с.

3. Абраров Д. Теорема Ферма: феномен доказательств Уайлса. http://polit.ru/article/2006/12/28/abrarov/.

4. Кочкарев Б. С. Об одном классе алгебраических уравнений, не имеющих рациональных решений, Проблемы современной науки и образования, № 4 (22), 2014 с. 8-10.

5. Лаптев Б. Л. Николай Иванович Лобачевский. Изд. Казанского университета, 1976. 136 с.

6. Каган В. Ф. Лобачевский и его геометрия. Госуд. Изд. технико-теоретической литературы. Москва. 1955 с.302.

7. КочкаревБ.С. Об одном свойстве натуральных чисел, Проблемы современной науки и образования, №7 (25), 2014 с. 6-7

i Надоели баннеры? Вы всегда можете отключить рекламу.