
Svolgimento
Per determinare che il quadrilateroConsideriamo i triangoli
- [math]\hat{ABE} ≡ \hat{CDF}[/math], poiché angoli generati dalla bisettrice, che divide gli angoli opposti del parallelogramma ABCD (che sono congruenti) in due angoli anch’essi congruenti;
-
[math]\bar{AB} ≡ \bar{DC}[/math]perché lati opposti del parallelogramma[math]ABCD[/math];
-
[math] \hat{BAE} ≡ \hat{DCF}[/math]perché angoli opposti del parallelogramma[math]ABCD[/math].
Inoltre, poiché
Di conseguenza, il quadrilatero
Consideriamo ora i triangoli
- [math] \hat{OAE} ≡ \hat{OCF}[/math]perché angoli alterni interni formati dalle parallele[math]AE[/math]e[math]CF[/math]tagliate dalla trasversale[math]AC[/math];
- [math] \hat{AEO} ≡ \hat{CFO}[/math]perché angoli alterni interni formati dalle parallele[math]BF[/math]e[math]DE[/math]tagliate dalla trasversale[math]EF[/math];
- [math]\bar{AE} ≡ \bar{FC}[/math]perché segmenti dati dalla somma di segmenti congruenti: ([math]\bar{AE} = \bar{AD} + \bar{DE} , \bar{FC} = \bar{BC} + \bar{BF} [/math])
Abbiamo quindi dimostrato che