Неравенство (71) имѣетъ лишь четыре[1] системы цѣлыхъ и положительныхъ рѣшеній:
|
(72) |
гдѣ произвольное цѣлое число.
Послѣдняя часть теоремы доказана.
Теорема 7. Если сумма внутреннихъ угловъ треугольниковъ меньше , то сѣть содержитъ въ себѣ безконечно большое число треугольниковъ и заключается внутри конечнаго круга, ортогональнаго ко всѣмъ сторонамъ треугольниковъ сѣти. Функція , соотвѣтствующая такой сѣти, трансцендентная.
Черт. 9Пусть (черт. 9) есть одинъ изъ треугольниковъ сѣти и пусть сумма внутреннихъ угловъ его меньше .
Построимъ эквивалентный ему треугольникъ (черт. 10), имѣющій двѣ прямолинейныя стороны 01 и . При доказательствѣ приведенной выше леммы мы видѣли, что такой треугольникъ существуетъ и притомъ единственный.
- ↑ Точнѣе было бы сказать, что въ таблицѣ (72) безконечное число рѣшеній, потому что число можетъ получать безконечное число значеній, и что существуетъ безконечное число типовъ сѣтей треугольниковъ, у которыхъ сумма внутреннихъ угловъ больше . Но всѣ сѣти треугольниковъ, имѣющихъ углы равные совершенно одинаковы по своимъ свойствамъ: вотъ почему мы относимъ ихъ къ одному типу, давая слову типъ нѣсколько болѣе широкое значеніе.
Неравенство (71) имеет лишь четыре[1] системы целых и положительных решений:
|
(72) |
где — произвольное целое число.
Последняя часть теоремы доказана.
Теорема 7. Если сумма внутренних углов треугольников меньше , то сеть содержит в себе бесконечно большое число треугольников и заключается внутри конечного круга, ортогонального ко всем сторонам треугольников сети. Функция , соответствующая такой сети, трансцендентная.
Черт. 9Пусть (черт. 9) есть один из треугольников сети и пусть сумма внутренних углов его меньше .
Построим эквивалентный ему треугольник (черт. 10), имеющий две прямолинейные стороны 01 и . При доказательстве приведенной выше леммы мы видели, что такой треугольник существует и притом единственный.
- ↑ Точнее было бы сказать, что в таблице (72) бесконечное число решений, потому что число может получать бесконечное число значений, и что существует бесконечное число типов сетей треугольников, у которых сумма внутренних углов больше . Но все сети треугольников, имеющих углы, равные совершенно одинаковы по своим свойствам: вот почему мы относим их к одному типу, давая слову тип несколько более широкое значение.