D 1990 Antoine Verroken
1. QM // PR coupe BC en M
2. < RPQ = < RQP = < A/2 PT = TQ
3. RTS ( RT = TS ) perpendiculaire sur PQ PRQS est un solange PS // RQ // AC S = M
4. Triangle APB = Tr APY BP = PY 5. PS // YC BS = SC
6. AC² + AB² = 2*CS² + 2*AS² 7. AS² = ( 2*b² + 2*c² - a²) / 4