SA ^ SA
SA désignant une somme de monômes rationnels de degré m et SA' une somme de monômes rationnels de degré m — 2. Soit \ une longueur arbitraire, on a
On peut construire
ce qui donne
\1 , On peut construire la troisième proportionnelle |Ji = -tt-j et il reste
P à construire
Mais on peut aussi construire d'abord un triangle rectangle ABC tel que les côtés AB, AC de l'angle droit aient pour projections sur l'hypoténuse les longueurs a et ^; on aura ainsi
ÂB^ 5
d'où l'on déduit