Сферический треугольник: угловой дефект

Сумма внут­рен­них углов тре­уголь­ника равна $180^\circ$. Но это на евкли­до­вой плос­ко­сти, а для тре­уголь­ника на сфере сумма внут­рен­них углов больше $180^\circ$. Раз­ница между суммой углов и $180^\circ$ назы­ва­ется угло­вым дефек­том. Уви­деть сфе­ри­че­ский тре­уголь­ник, посмот­реть угло­вой дефект поз­во­ляет модель из трёх скреп­лён­ных кругов, сги­бающихся по диамет­рам.

В тре­уголь­ник огра­ни­чен дугами больших окруж­но­стей. В отли­чие от евкли­до­вой геомет­рии сфе­ри­че­ский тре­уголь­ник пол­но­стью опре­де­ля­ется сво­ими углами. Сде­лать модель сфе­ри­че­ского тре­уголь­ника можно, соеди­нив плос­ко­сти трёх кругов, согну­тых по их диамет­рам. В про­стейшем вари­анте для соеди­не­ния можно исполь­зо­вать скрепки, а можно сде­лать соеди­не­ние вокруг цен­траль­ного шарика.

Модель сферического треугольника
Модель сферического треугольника

Углы рас­крытия двух кругов и угол пово­рота диаметра одного круга отно­си­тельно другого пол­но­стью опре­де­ляют угол рас­крытия и положе­ние тре­тьего круга. Обра­зуются два сфе­ри­че­ских тре­уголь­ника, симмет­рич­ных отно­си­тельно цен­тра сферы.

Согну­тые круги высе­кают на сфере дву­уголь­ники, соот­вет­ствующие внеш­ним углам сфе­ри­че­ского тре­уголь­ника. Если собрать дву­уголь­ники так, чтобы их вершины совпа­дали, то видно, что оста­ётся кусо­чек сферы — сумма углов дву­уголь­ни­ков «недо­тяги­вает» до пол­ного угла в $360^\circ$.

Сумма внешних углов сферического треугольника
Сумма внешних углов сферического треугольника

Если сфе­ри­че­ский тре­уголь­ник большой, то раз­ница с пол­ным углом тоже большая, если сфе­ри­че­ский тре­уголь­ник маленький, то маленькая.

Сферический треугольник: угловой дефект
Сферический треугольник: угловой дефект

Если же гово­рить про сумму внут­рен­них углов сфе­ри­че­ского тре­уголь­ника, то она вычис­ля­ется как $540^\circ$ минус сумма внеш­них углов. Соот­вет­ственно, если тре­уголь­ник большой, то и сумма внут­рен­них углов сильно отли­ча­ется от $180^\circ$, если маленький, то не сильно.

Глядя на эту модель, можно понять, как площадь сфе­ри­че­ского тре­уголь­ника выража­ется через его углы.

равна $4\pi R^2$, а площадь дву­уголь­ника про­порци­о­нальна его углу и равна $2\phi R^2$ (при $\phi=2\pi$ дву­уголь­ник как раз пре­враща­ется в сферу). Видно, что сфера раз­бита на два рав­ных тре­уголь­ника площади $S$ и три дву­уголь­ника: $$ 4\pi R^2=2S+2\cdot(\text{сумма внеш­них углов})\cdot R^2.$$ Обо­зна­чим $\delta=2\pi-(\text{сумма внеш­них углов})$ — то, насколько сумма внеш­них углов тре­уголь­ника отли­ча­ется от $2\pi$. Тогда $S=\delta R^2$.

Для сфе­ри­че­ского тре­уголь­ника с внут­рен­ними углами $\alpha$, $\beta$, $\gamma$ (в ради­а­нах) внеш­ние углы равны $\pi-\alpha$, $\pi-\beta$, $\pi-\gamma$, а зна­чит, $$ \delta =2\pi-(\pi-\alpha)-(\pi-\beta)-(\pi-\gamma) =\alpha+\beta+\gamma-\pi, $$ т. е. $\delta$ — угло­вой дефект тре­уголь­ника. Площадь сфе­ри­че­ского тре­уголь­ника, таким обра­зом, равна $$ S=\delta R^2=(\alpha+\beta+\gamma-\pi)R^2.$$

Другое дока­за­тельство этой формулы можно про­чи­тать в сюжете