HF)‘ = (HA)*+(AF
et en démontrant que QO est parallèle à BJE , de la même manière qu’on l’a fait pour PS, les points 0 , P , Q , S seront dans la même droite ; et
dj
. A . * • # l'ïO « GEOMETRIE DU COMPAS.
PO = QO — PQ = I — i = - = PQ.
Donc OP étant égale et parallèle à TA et à TB, les lignes OT ,, PA seront aussi égales et parallèles, ainsi que les lignes O B, PT . (33 ,liv. i). Mais on a démontré plus haut que PT = P A ; donc OT , OB seront aussi égales à ces lignes. Par la tnêrae raison , les lignes oT , o B de l’autre côté seront égales h p A. = P A. Si maintenant on compare les points O , o. A, T, B, H avec les points A, B, Q, P, p, q de la fig. 3, on tirera (14)
HB = AT =
On aura donc