وسط 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 درست نیست.