Ладно, уговорил. Мы все знаем геометрию Евклидову на плоскости, но не все геометрию Лобачевского на сфере. в принципе все законы геометрии едины акромя пятого постулата - аксиомы о параллельных. и поч 2*2=5 в ГЛ не понять без вступления. в принципе дважды два может быть любое число взавмсимости от ситемы счесления и ты стрим как спец в вычислительной технике нверно легко посчитаещь скока это будет в двоичной или в троичной в переводе в привычную десятичную. Оставляю тебе место в собках для вписания ( ). ятак вот любому числу, только речь пойдет уже не о числах а о целых классах чисел, так называемых классах чисел по модулю 4, т е ежели перемножить два четных чила не делящихся на четыре. мы получим представителя класса. И отсюда плавно вытекает геометрия, а именно что группа вычетов по модулю четыре изоморфна группе вращений квадрата или другими словами - это когда «треугольник абэцэ равен треугольнику аштрихбэштрихцэштрих по двум сторонам и углу между ними. ну вот вроде основу я те растолковал, едем дальше.разбираемся. блин вроде и так все очевидно. я уж забыл как объяснять словами то. Лан попробую. Когда две плоские фигуры называются в геометрии равными? Если их можно совместить при помощи движения. А что такое движение? Это преобразование плоскости, сохраняющее расстояния между точками. А что такое расстояние между точками? То, что измеряется линейкой? А значит это непрерывное отображение радиуса ставящее в соответствие паре точек плоскости неотрицательное число и удовлетворяющее неравенству треугольника. легко увидеть что подобное движение фигур конгруэнтно. отсюда уже легко можно увидеть, что все множество фигур распадается на непересекающиеся классы эквивалентности; эти классы также называются орбитами. Так никто не мешает нам просто объявить равными фигуры одной орбиты и вообще перестать различать их между собой, постепенно расширяя группу движений плоскости путем добавления к ней все новых типов преобразований. Предварительно введя на ней комплексную структуру со всей вытекающей из нее арифметикойИтак начнм считать, для этого перечислим образующие группы движений плоскости, добавим гомотетию т.е. разрешим умножать на комплексное число любого модуля, добавим инверсию. Наконец, разрешим знаменателю дробно-линейного преобразования обращаться в ноль. Получим группу проективных преобразований. Орбиты принимают совсем нетривиальный вид, теперь в класс эквивалентности прямой нужно, кроме эллипса, подклеить ещё и параболу с гиперболой! таким образом мы пришли к преобразованию от плоской т е евклидовой геометрии к сферической. ну а далее всё просто. В соответствии с этим ты, Стрим, можешь подставлять любые числа и результаты тебя удивят. вот так