Çözüm:
Analitik düzlemde koordinat eksenlerini döndürerek x2−y2=k2 denklemine sahip ikizkenar bir hiperbolü xy=a biçimindeki bir denkleme dönüştürebileceğimizi biliyoruz. Bu hiperbolün üstünden A(x1,y1), B(x2,y2), C(x3,y3) noktalarını alarak ABC üçgenini oluşturalım. y1=ax1, y2=ax2, y3=ax3 olur. AC doğrusunun eğimi mAC=y3−y1x3−x1=−ax1x3 dir. Birbirine dik doğruların eğimleri çarpımı −1 olduğundan mAC⋅mBH=−1 olup
mBH=−x1x3a
bulunur. B den geçen yükseklik doğrusunun denklemi y−y2=mBH(x−x2) dir. Bu doğrunun hiperbolle kesişim noktası H′(x0,y0) olsun. y0=ax0 olur. H′(x0,y0) noktasını bu yükseklik doğrusunun denkleminde yazarak
x0=−a2x1x2x3
bulunur. x0=−a2x1x2x3 değeri x1, x2, x3 için simetik olduğundan AH ve CH doğrularının da hiperbolü kestiği noktalar hesaplanırsa aynı H′(x0,y0) noktasında kestiğini anlarız. Öte taraftan bir üçgende üç yükseklik noktadaş olduğundan (yani H diklik merkezinde kesiştiğinden) H=H′ aynı noktadır. Böylece ABC üçgeninin H diklik merkezi hiperbol üzerinde bulunur.
Not: Bu güzel sorunun çözümünü Geometer's Sketchpad programıyla da destekleyerek Burada video sundum.