ار همنهشتی مثلثهای ABP و ACQ میتوان نشان داد که نیمساز (یا همان ارتفاع) مثلث APQ نیمساز زاویهی
نیز هست.
وسط PQ را
میگیریم. با کمک قضیهی فیثاغورس در مثلث AHQ داریم:
ΔAHQ : AH ┴ PQ => AQ2 = AH2 + HQ2
AH2 = 28 -
= 27 (i)
اکنون برخورد امتداد PQ با AB را به ترتیب
و E مینامیم.
روشن است که ∠HAE = 30˚ است. پس بنا بر قضیهای داریم: AE =
HE
بنا بر قضیهی فیثاغورس در مثلث AHE داریم:
ΔAHE : ∠AHE = 90˚ => AH2 + HE2 = AE2
27 + HE2 = 4 HE2
=> 27 = 3 HE2 => HE = 3 , HQ =
=> QE = 2 (ii)
اکنون تصویر Q بر AC را K مینامیم. در مثلث قائمالزاویهی QKE اندازهی زاویهی EQK برابر 30 درجه است. و بنا بر قضیهای داریم:
EK =
بنا بر قضیهی فیثاغورس در مثلثهای QKE و KQC داریم:
ΔQKE : ∠QKE = 90˚ => QE2 = QK2 + KE2 => QK2 = 4 -
= 3 (iii)
ΔKQC : ∠QKC = 90˚ => QC2 = QK2 + KC2
KC2 = 16 -
= 13 => KC = √13
=> AC = AE + KC - KE = 6 + √13 - 1
=> AC = 5 + √13