Rette per ortocentri e ciclicità

Rette, triangoli, cerchi, poliedri, ...
Rispondi
scambret
Messaggi: 683
Iscritto il: 23 mag 2012, 20:49
Località: Acquarica del Capo

Rette per ortocentri e ciclicità

Messaggio da scambret » 10 gen 2015, 10:49

Sia ABC triangolo, H ortocentro. L'altezza BH incontra la perpendicolare passante per C di BC in X e l'altezza CH incontra la perpendicolare passante per B di BC in Y. Siano X' e Y' punti medi di CX e BY. Sia U il punto sulla mediana di A allineato con X' e Y' e sia $\Gamma$ la circonferenza per AUB. Dimostrare che BC è tangente a $\Gamma$.

Editato
Ultima modifica di scambret il 10 gen 2015, 13:26, modificato 1 volta in totale.

LucaMac
Messaggi: 174
Iscritto il: 14 set 2014, 19:59
Località: Napoli

Re: Rette per ortocentri e ciclicità

Messaggio da LucaMac » 10 gen 2015, 12:54

Aspetta: $X'$ e $Y'$ a che servono? :D
"And if we want to buy something to drink?"
"Just go to 7-11"
-----------------------------------
"Why an inequality?"
"Inequality happens"


scambret
Messaggi: 683
Iscritto il: 23 mag 2012, 20:49
Località: Acquarica del Capo

Re: Rette per ortocentri e ciclicità

Messaggio da scambret » 10 gen 2015, 15:06

Nono è colpa mia: nella versione originale U era l'intersezione tra XY e la mediana. Ora ho corretto :)

Avatar utente
Lasker
Messaggi: 423
Iscritto il: 02 mag 2013, 20:47
Località: Udine

Re: Rette per ortocentri e ciclicità

Messaggio da Lasker » 18 lug 2015, 23:59

Riesumo questo problema veramente molto carino (sperando di averne finalmente trovato una dimostrazione funzionante), perché quando era appena stato proposto mi sono tristemente arenato a tentare improbabili conti in analitica senza troppa convinzione e solamente ora mi è venuta l'illuminazione di provare a invertire in un cerchio di diametro $BC$ :roll: !

Siano $H_b$ ed $H_c$ i piedi delle altezze uscenti rispettivamente da $B$ e $C$, e sia $M$ il punto medio di $BC$. Il quadrilatero $BH_cH_bC$ è ciclico di centro $M$, in quanto gli angoli $\angle BH_bC$ e $\angle CH_cB$ sono entrambi retti, chiamo dunque $\Omega$ la circonferenza che lo circoscrive, che si verifica essere tangente ad entrambe le rette $CX$ e $BY$ (perpendicolari al diametro e passanti per i due estremi).
Considerate ora le circonferenze $\odot CH_bX$ e $\odot BH_cY$ chiaramente, visto che gli angoli in $H_b$ e $H_c$ sono retti per ipotesi, $CX$ e $BY$ sono diametri, e quindi $X'$ e $Y'$ sono i centri di questi due cerchi, in quanto punti medi dei due diametri.
Ma allora si hanno $CX'\cong X'H_b$ e $BY'\cong Y'H_c$ in quanto raggi di una stessa circonferenza, da cui per il terzo criterio di congruenza di ha $\triangle MH_bX'\cong\triangle MCY'$ e $\triangle MH_cY'\cong \triangle MBY'$ e quindi, visto che $MC\perp CX$ e $MB\perp BY$ si ha anche (per uguaglianza di angoli corrispondenti di triangoli congruenti) che $MH_b\perp H_bX'$ e $MH_c\perp H_cY'$, ovvero $X'C, X'H_b$ sono i segmenti di tangenza da $X'$ a $\Omega$ mentre $Y'B, Y'H_c$ sono i segmenti di tangenza da $Y'$ a $\Omega$.
Ma allora si ha che $BH_c=\textrm{pol}_{\Omega}(Y')$ e $CH_b=\textrm{pol}_{\Omega}(X')$, però $A$ appartiene ad entrambe queste rette per ipotesi, da cui per il teorema di La Hire otteniamo che $Y'\in \textrm{pol}_{\Omega}(A)$ e $X'\in \textrm{pol}_{\Omega}(A)$, da cui $\textrm{pol}_{\Omega}(A)=X'Y'$.

Consideriamo ora l'inversione circolare $\Psi$ rispetto ad $\Omega$, chiaramente $\Psi(B)=B$ (sta sul cerchio di inversione), mentre $\Psi(A)$ è il punto di intersezione tra $AM$ e la polare di $A$ rispetto ad $\Omega$, ovvero $X'Y'$; questo punto è $U$ per definizione. Ma allora $\Psi(A)=U$ e $\Psi(U)=A$, e unendo questi tre fatti troviamo che $\Psi(\Gamma)$ sarà un cerchio passante per $\Psi(A), \Psi(U), \Psi(B)\equiv U,A,B$, ovvero $\Gamma$ stesso per ipotesi. Ma allora le tangenti a $\Gamma$ e $\Omega$ formano in $B$ un angolo retto, inoltre il fatto che $BY'$ sia tangente a $\Omega$ per precedente dimostrazione implica che la tangente a $\Gamma$ in $B$ debba essere l'unica retta ortogonale a $BY'$ passante per $B$, ovvero $BC$ per ipotesi $\blacksquare$
"Una funzione generatrice è una corda da bucato usata per appendervi una successione numerica per metterla in mostra" (Herbert Wilf)

"La matematica è la regina delle scienze e la teoria dei numeri è la regina della matematica" (Carl Friedrich Gauss)

Sensibilizzazione all'uso delle potenti Coordinate Cartesiane, possano seppellire per sempre le orride baricentriche corruttrici dei giovani: cur enim scribere tre numeri quando se ne abbisogna di due?

PRIMA FILA TUTTI SBIRRI!

Rispondi