Öncelikle üçgenin A köşesinden diklik merkezine olan uzaklığının (|AH|), çevrel çember merkezinin [BC]'ye uzaklığının 2 katının olduğunu ispatlamak gerekir:
Yukarıdaki şekilde gösterildiği gibi, [AH]⊥[BC]=M noktası ve H noktası diklik merkezi ve O çevrel çember merkezi olsun.
B ve O'dan geçen çapı çizelim, bu doğrunun çevrel çemberi kestiği nokta K olsun. BKC üçgenine dikkat edilirse, [BK] çap olup, m(^BKC)=90∘'dir.
[CK]⊥[BC], |BO|=|OK|
Bu durumda, |BO|=|OK| ve AM//OD//KC (I)
[OD] doğru parçası, BKC üçgeninde orta taban olduğu için |KC|=2|OD|'dir.
AK doğru parçasını çizersek, [BK] çap olduğu için m(^BAK)=90∘'dir.
CH doğrusunu çizelim. Bu doğrunun [AB] kenarını kestiği nokta T olsun. H diklik merkezi olduğu için [CT]⊥[AB]'dir.
[AK]⊥[AB] ve [CT]⊥[AB]⇒AK//CT (II)
(I) ve (II)'den AHCK bir paralelkenardır. O halde |AH|=|KC| olup |AH|=2|OM|'dir.
Alıntı: http://www.geometridefteri.com/problem-diklik-merkezi-ve-cevrel-cemberin-merkezi/#more-720
İspatımız tamamdır.
Sorumuzdaki O noktasından [BC]'ye inilen dikme ayağı E olsun.
HO//BC olduğundan, |OE|=|HD|=6'dır.
[AH]'ı çizelim.
|AH|=2|OE|=12 olduğundan, AHO üçgeninde Pisagor Teoreminden, |AO|=√122+52=13=|OC|=x'tir.