). В частности, приведенное выше уравнение F(x, y)=0 имеет конечное число решений в числах вида [img: http://localhost:8080/file/020903-86.jpg] где т, т 1,..., ms [img: http://localhost:8080/file/020903-87.jpg] Z, а p1,..., ps- фиксированные простые числа. До недавнего времени доказательства этих теорем имели существенный недостаток - утверждая лишь конечность числа решений, они не давали никакой границы для их величины (см. Высота в диофантовой геометрии), так чтo не имелось никакого алгоритма для построения решений в явном виде. Первый результат в этом направлении был получен А. Бейкером (A. Baker

http://libmeta.ru/resource/mathenc/publication/p2331