43. Una bisettrice "simpatica"

Rette, triangoli, cerchi, poliedri, ...
Rispondi
Avatar utente
Karl Zsigmondy
Messaggi: 138
Iscritto il: 09 lug 2011, 14:32
Località: Città di Altrove, Kansas

43. Una bisettrice "simpatica"

Messaggio da Karl Zsigmondy » 09 feb 2013, 14:29

Sia $ \Gamma $ un semicerchio con diametro su una retta r. Siano C, D punti qualsiasi su $ \Gamma $. Le tangenti a $ \Gamma $ in C e in D incontrano r in B e in A rispettivamente, con il centro O del semicerchio compreso fra B ed A. Sia $ E=AC \cap BD $ e sia F il punto su r tale che $ EF \bot r $. Provare che $ EF $ biseca l'angolo $ CFD $.
"Un matematico è una macchina che converte caffè in teoremi."
"Life is very short and there's no time for fussing and fighting, my friend!"

mat94
Messaggi: 198
Iscritto il: 20 ago 2012, 10:29

Re: 43. Una bisettrice "simpatica"

Messaggio da mat94 » 09 feb 2013, 15:59

Bel problema!
Sia P l'intersezione tra AD e BC, Q l'intersezione tra CD e AB, G l'intersezione tra PE e CD e O il centro della circonferenza. Dato che $(Q,G;C,D)=-1$, poiché quaterna armonica, si ha che G appartiene alla polare di Q. Q appartiene alla polare di P in quanto la polare di un punto esterno alla circonferenza passa per i punti di tangenza e quindi PG è la polare di Q (si è sfruttato il fatto che un punto appartiene ad una retta $r$ sse il polo di $r$ appartiene alla polare del punto). Quindi abbiamo dimostrato che PG è perpendicolare ad AB da cui segue che i punti P,E,F sono collineari. Il quadrilatero PDOC è ciclico (due angoli retti opposti) di diametro PO. Dato che $\angle{PFO}=90$ F appartiene alla circonferenza circoscritta a PDOC; dunque si ha $\angle{DFP}=\angle{DOP}=\angle{POC}=\angle{CFP}$ che è la tesi.

Avatar utente
Karl Zsigmondy
Messaggi: 138
Iscritto il: 09 lug 2011, 14:32
Località: Città di Altrove, Kansas

Re: 43. Una bisettrice "simpatica"

Messaggio da Karl Zsigmondy » 10 feb 2013, 09:52

Lo dico pure per gli altri, si poteva fare anche con Ceva quell'allineamento! Era uno shortlist G1 delle Imo '94. Comunque bene, vai col prossimo!
"Un matematico è una macchina che converte caffè in teoremi."
"Life is very short and there's no time for fussing and fighting, my friend!"

mat94
Messaggi: 198
Iscritto il: 20 ago 2012, 10:29

Re: 43. Una bisettrice "simpatica"

Messaggio da mat94 » 10 feb 2013, 10:24

Con ceva intendi dire: supponi per assurdo che il piede della perpendicolare ($L$) condotta da P su AB sia diverso da F, per ceva ti viene che AC,BD e PL concorrono quindi L è effettivafemente P?

Avatar utente
Karl Zsigmondy
Messaggi: 138
Iscritto il: 09 lug 2011, 14:32
Località: Città di Altrove, Kansas

Re: 43. Una bisettrice "simpatica"

Messaggio da Karl Zsigmondy » 10 feb 2013, 11:04

mat94 ha scritto:Con ceva intendi dire: supponi per assurdo che il piede della perpendicolare ($L$) condotta da P su AB sia diverso da F, per ceva ti viene che AC,BD e PL concorrono quindi L è effettivafemente P?
Proprio così! :wink:
"Un matematico è una macchina che converte caffè in teoremi."
"Life is very short and there's no time for fussing and fighting, my friend!"

Rispondi