5.4.5
le 30 septembre 2019 à 15:08, par Hébu
Bis repetita va finir par lasser, comme aurait dit à peu près César (cf. le bouclier arverne).
On retrouve la figure au complet - où mettre un cercle supplémentaire ? Et la ribambelle, bien huilée, se déroule :
.
Z = EH + FG - (EF + HG)=
(JY - JE - HY) + (PS - PF - GS)
- ((KO - KE - FO) + (XT - XH -GT))
Premières éliminations (HY = XH, etc.)
.
Z = JY + PS - KO - XT
.
Puis, JY=LW, etc.
Z= LW + NQ - IM - RV
.
A nouveau, on retranche les bras des tangentes
Z= (AD - AL - DW) + (BC - BN - CQ) - (AB - AI - BM) - (CD - CR - DV)
.
Et les dernières simplifications aboutissent, comme il se doit à
Z = EH + FG - EF - GH = AB + CD - AD - BC
.
Là encore on est en présence d’une cns : ABCD et EFGH sont, en même temps, circonscriptibles.
Et les figures précédentes (5.4.4, 5.4.3...) sont des cas particuliers.
Répondre à ce message