$P_{2} , P_{3} , Q_{2} , Q_{3}$ noktaları $[IC]$ 'nın, $P_{1} , P_{4} , Q_{1} , Q_{4}$ noktaları $[IA]$ 'nın orta dikme doğrusu üzerinde bulunurlar. Orta dikmelerin $[IC]$ve $[IA]$ nı kestiği notaları sırasıyla $H_{1}$ ve $H_{2}$ ile gösterelim.
(http://geomania.org/forum/2012-30/6-3108/?action=dlattach;attach=13418;image)
$$\triangle IO_{2}O_{3}\sim\triangle IO_{1}O{4}\tag{3}$$
ve
$$\triangle IP_{2}P_{3}\sim\triangle IP_{1}P_{4}\tag{4}$$
benzerliklerini inceleyeceğiz.
$(3)$ benzerliği için üçgenleri çevrel çember yarıçapları sırasıyla $r_{1}$ ve $r_{2}$ olsun.Buna göre;
$$\dfrac{|AH_{1}|}{|AH_{2}|}=\dfrac{r_{1}}{r_{2}}\tag{5}$$
$(4)$ benzerliği için üçgenlerin çevrel çember yarıçapları sırasıyla $R_{1}$ ve $R_{2}$ olsun.Buna göre;
$$\dfrac{|AH_{1}|}{|AH_{2}|}=\dfrac{R_{1}}{R_{2}}\tag{6}$$
''Bir üçgende yüksekliğin izogonal eşleniği olan doğru,üçgenin çevrel merkezinden geçmektedir''. Aşağıda verilen şekilde $AH$ ile $AO$ izogonal eşleniktir yani ; $\angle BAH=\angle CAO$
(http://geomania.org/forum/index.php?action=dlattach;topic=3108.0;attach=13420;image)
Buna göre, $\triangle IQ_{2}Q_{3}$ ve $\triangle IP_{2}P_{3}$ nin çevrel merkezleri bu üçgenlerin yüksekliği olan $AH_{1}$ in izogonal eşleniği $AH_{2}$ üzerinde bulunurlar.
Benzer şekilde, $\triangle IQ_{1}Q_{4}$ ve $\triangle IP_{1}P_{4}$ nin çevrel merkezleri de bu üçgenlerin yükseklikleri olan $AH_{2}$ nin izogonal eşlenği $AH_{1}$ üzerindedir.
(http://geomania.org/forum/2012-30/6-3108/?action=dlattach;attach=13421;image)
$(IQ_{2}Q_{3}), (IP_{2}P_{3}), (IQ_{1}Q_{4}) ,(IP_{1}P_{4})$ çemberlerinin merkezleri sırasıyla $K,L,M,N$ olsun.
$MO_{2}\perp P_{1}P_{4} , NO_{1}\perp P_{1}P_{4}$ olduğundan $AH_{2}\parallel MO_{2}\parallel NO_{1}$ dir.
$LO_{1}\perp P_{2}P_{3} , KO_{2}\perp P_{2}P_{3}$ olduğundan $AH_{1}\parallel KO_{2}\parallel LO_{1}$ dir.
Buradan $IKO_{2}M$ ile $ILO_{1}N$ dörtgenlerinin birer paralelkenar olduğunu görüyoruz.
$|IK|=r_{1} , |IL|=R_{1} , |IM|=r_{2} , |IN|=R_{2}$
değerleri için $(5)$ ve $(6)$ eşitliklerini de göz önüne alırsak, temel benzerlik $O_{1}-O_{2}-I$ noktalarının doğrusallığını gerçekler.