وسط PQ را H مینامیم.
ΔAPQ: AP = AQ , PH = QH => AH ┴ PQ (i) , ∠PAH = ∠QAH (ii)
طبق قضیهی فیثاغورس در مثلث APH داریم:
ΔAPH: AH ┴ PQ , PH =
=> PH2 + AH2 = AP2 => AH2 = 28 -
= 27
از طرفی بنا بر همنهشتی مثلثهای APB و
برابری ∠CAQ = ∠BAP به دست میآید.
از آن جا که بنا بر ii دو زاویه ی QAH و PAH نیز برابراند، درمییابیم که AH نیمساز زاویهی BAC است. و بنا بر قضیهای بر BC عمود است.
اکنون تصویر P بر BC را R میگیریم. و برخورد
با BC را نیز S مینامیم.
میتوان ثابت کرد که PR = SH است. طبق قضیهی فیثاغورس در مثلث BPR داریم:
ΔBPR : ∠BPR = 90˚ => BP2 = BR2 + PR2 = BR2 + SH2
=> 42 =
=> 64 = BC2 - 4 BC +
+ 3 Bc2 + 108 - 36 BC
=> 4 BC2 - 40 BC + 48 = 0 => Bc2 - 10 BC + 12 =
=> (Bc - 5)2 - 25 + 12 = 0 => (BC - 5)2 - 13 = 0
=> (BC - 5 +
) (Bc - 5 -
) = 0
=> BC = 5 +
یا Bc = 5 -
AH باید کمتر از
باشد، پس BC = 5 - √13 درست نیست.