OliForum Matematico

BARICENTRICHE.

Supponiamo inizialmente che $AB\cap DE=T$.
Applichiamo Menelao con la retta$APD$ sul triangolo $TBB'$
$\dfrac{AT\cdot PB\cdot DB'}{AB\cdot PB'\cdot DT}=-1$ $[1]$.
Ora divertiamoci un po'
$\bullet$Teorema delle secanti da $T$ a $\Gamma \Longrightarrow \dfrac{AT}{TD}=\dfrac{TE}{TB}$
$\bullet$Teorema delle corde su $ED$ e $AC \Longrightarrow BD'=\dfrac{AB'\cdot CB'}{EB'}$
$\bullet$$AC'B'\sim ABC \Longrightarrow AB=\dfrac{AB'\cdot CA}{AC''}$
$\bullet$Menelao con $CPC'$ su $ABB' \Longrightarrow \dfrac{PB}{PB'}=-\dfrac{CA\cdot C'B}{CB'\cdot C'A}$
Sostituendo nella $[1]$ tutti i $\bullet$ otteniamo $$\dfrac{TE\cdot BC'}{TB\cdot EB'}=1\Longrightarrow\dfrac{BC'\cdot ET\cdot MB'}{BT\cdot EB'\cdot MC'}=-1$$da cui la tesi sempre per Menelao.
Nel caso $AB\parallel DE$ al posto della $[1]$ usiamo $APB\sim PDB' \Longrightarrow \dfrac{PB\cdot DB'}{PB'\cdot AB}=1$.
Sostituendo tutti i $\bullet$(tranne ovviamente il primo) otteniamo $BC'=EB'$$[2]$.
$BE\cap B'C'=M'$, dal parallelismo e da $[2]$ segue che per il quarto criterio i triangoli $BC'M'\cong M'B'E \Longrightarrow B'M'=C'M' \Longrightarrow M\equiv M'$ da cui la tesi.