# Legendre’s theorem on angles of triangle

Adrien-Marie Legendre has proved some theorems concerning the sum of the angles of triangle.  Here we give one of them, being the inverse of the theorem in the entry “sum of angles of triangle in Euclidean geometry  ”.

Proof.  We consider a line $a$ and a point $B$ not belonging to $a$.  Let $BA$ be the normal line of $a$ (with $A\in a$) and $b$ be the normal line of $BA$ through the point $B$.  By the supposition of the theorem, $b$ does not intersect $a$.

We will show that in the plane determined by the line $a$ and the point $B$, there are through $B$ no other lines than $b$ not intersecting the line $a$.  For this purpose, we choose through $B$ a line $b^{\prime}$ which differs from $b$; let the line $b^{\prime}$ form with $BA$ an acute angle  $\beta$.

We determine on the line $a$ a point $A_{1}$ such that  $AA_{1}=AB$.  By the supposition of the theorem, in the isosceles right triangle $BAA_{1}$ we have

 $\alpha_{1}\;\,=:\;\,\angle AA_{1}B\;=\;\,\frac{\pi}{4}\;=\;\,\frac{\pi}{2^{2}}.$

Next we determine on $a$ a second point $A_{2}$ such that  $A_{1}A_{2}=A_{1}B$.  By the supposition of the theorem, in the isosceles triangle  $BA_{1}A_{2}$ we have

 $\alpha_{2}\;\,=:\;\,\angle AA_{2}B\;=\;\,\frac{\alpha_{1}}{2}\;=\;\,\frac{\pi}% {2^{3}}.$

We continue similarly by forming isosceles triangles using the points $A_{3}$, $A_{3}$, $\ldots$, $A_{n}$ of the line $a$ such that

 $A_{2}A_{3}\,=\;\,BA_{2},\;\;A_{3}A_{4}\,=\;\,BA_{3},\;\;\ldots,\;\;A_{n-1}A_{n% }\,=\;\,BA_{n-1}.$

Then the acute angles being formed beside the points are

 $\alpha_{3}\;=\;\,\frac{\pi}{2^{4}},\;\;\alpha_{4}\;=\;\,\frac{\pi}{2^{5}},\;\;% \ldots,\;\;\alpha_{n}\;=\;\,\frac{\pi}{2^{n+1}}.$

They form a geometric sequence with the common ratio$r=\frac{1}{2}$.  When $n$ is sufficiently great, the member $\alpha_{n}$ is less than any given positive angle.  As we have so much triangles $BA_{n-1}A_{n}$ that  $\alpha_{n}<\frac{\pi}{2}\!-\!\beta$,  then

 $\angle ABA_{n}\;=\;\,\frac{\pi}{2}\!-\!\alpha_{n}\;>\;\,\beta.$

Then the line $b^{\prime}$ falls after penetrating $B$ into the inner territory of the triangle $ABA_{n}$.  Thereafter it must leave from there and thus intersect the side $AA_{n}$ of this triangle.  Accordingly, $b^{\prime}$ intersects the line $a$.

The above reasoning is possible for each line  $b^{\prime}\neq b$  through $B$.  Consequently, the parallel axiom is in force.

## References

• 1 Karl Ariva: Lobatsevski geomeetria.  Kirjastus “Valgus”, Tallinn (1992).
Title Legendre’s theorem on angles of triangle LegendresTheoremOnAnglesOfTriangle 2013-05-11 13:55:53 2013-05-11 13:55:53 pahio (2872) pahio (2872) 5 pahio (2872) Theorem msc 51M05