Önce problemin doğru biçimini yazalım:
Problem (2008 IMO Shortlist G4): Dar açılı ABC üçgeninde BE ve CF doğru parçaları yüksekliktir. A ve F noktalarından geçen iki çember BC doğrusuna P ve Q noktalarında, B noktası C ile Q arasında bulunacak biçimde, teğettir. PE ve QF doğrularının AEF üçgeninin çevrel çemberi üzerinde kesiştiğini ispatlayınız.
Çözüm: ABC üçgeninin diklik merkezi H, A dan inen yükseklik ayağı D olsun. QF ve PE doğrularının kesişim noktasını da L ile gösterelim. AFQ ve AFP üçgenlerinin çevrel çemberleri BC doğrusuna teğet olarak verildiğinden, çemberde kuvvet teoremi gereği |BQ|2=|BP|2=|BF|⋅|BA|
olur. Şimdi
AFHE ile
CDHE nin birer kirişler dörtgeni oluşundan ve çemberde kuvvet teoreminden dolayı
|BF|⋅|BA|=|BH|⋅|BE|=|BD|⋅|BC|
elde ederiz.
(1) ve (2) den |BP|2=|BH|⋅|BE| olup BHP∼BPE benzerliği elde edilir. Böylece m(^BHP)=m(^BPE)
bulunur.
Buraya kadar problemin çözümünde kayda değer bir ilerleme sağlamış olduk. Şimdiki amacımız PQFH dörtgeninin bir kirişler dörtgeni olduğunu ispat etmek olacaktır. Bunun için |CH|⋅|CF|=|CP|⋅|CQ|
olduğunu göstermemiz yeterli olur. Bu eşitliği ispat edelim.
BDHF kirişler dörtgeni olduğundan |CH|⋅|CF|=|CD|⋅|CB|
olur. Ayrıca
(1),
(2) eşitliklerini de göz önüne alarak
|CD|⋅|CB|=(|BC|−|BD|)⋅|BC|=|BC|2−|BD|⋅|BC|=|BC|2−|BP|2=(|BC|−|BP|)(|BC|+|BP|)=|CP|⋅|CQ|
elde edilir. Böylece (4) ispatlanmış olur. PQFH kirişler dörtgeni olduğundan m(^FQP)=m(^PHC)
olur.
m(^BHP)+m(^PHC) toplamı m(^BAC) ile bütünler, m(^BPE)+m(^FQP) toplamı m(^QLP) ile bütünlerdir. (3) ve (6) açı eşitlikleri göz önüne alınırsa, m(^BHP)+m(^PHC)=m(^BPE)+m(^FQP) olur. Buna göre m(^BAC)=m(^QLP)
olur. Bu son eşitlik
A,F,H,E,L noktalarının çembersel olduğunu gösterir.
Notlar:
1. Bu tür soruların çözümünde her bir adım incelenerek ilerlenmesinde büyük fayda vardır. Örneğin (5) eşitliğinin ispatında cosB türünden uzunluk eşitlikleri yazmak oldukça kısa sonuç verecektir. |BD|=|AB|cosB, |BF|=|BC|cosB v.b. eşitliklerle (5)'i ispatlamayı deneyiniz.
2. (1), (2) eşitlikleri B merkezli ve r=|BP| yarıçaplı çembere göre evirtim (inversiyon) kullanımını kuvvetli biçimde çağrıştırmaktadır. Bu türlü bir çözüm yöntemini denemek, ilgilenenlere iyi bir antrenman olacaktır.
3. (7) deki açı eşitliği, aynı yayı gören çevre açıların eşitliğini ifade etmektedir. Kirişler dörtgeni/beşgeni ispatında kullanılan temel tekniklerden biridir. Bu sebeple (7) yi göstermek, problemi çözmeye denktir.