由结论→(AB/AP)·(AC/AQ)+ (BP/AP)·(CQ/AQ)=1,在△ABP中→(AB/AP)= (sin∠APB/sin∠ABP),
在△ACQ中→(AC/AQ)= (sin∠AQC/sin∠ACQ⑺) →
(AB·AC) / (AP·AQ)=( sin∠APB·sin∠AQC) / ( sin∠ABP·sin∠ABP)
在△ABP中→(BP/AP)= (sinα/sin∠ABP),在△ACQ中→(CQ/AQ)= (sinα/sin∠ACQ⑺) →
(BP·CQ) / (AP·AQ)=( sinα·sinα) / ( sin∠ABP·sin∠ABP), 所以结论变为
( sin∠APB·sin∠AQC) / ( sin∠ABP·sin∠ABP) + ( sinα·sinα) / ( sin∠ABP·sin∠ABP)=1→
sin∠APB·sin∠AQC= sin∠ABP·sin∠ABP-sinα·sinα, →
左边= sin(180°-∠ABP-α) ·sin(180°-∠ACQ-α) =sin(∠ABP+α) ·sin(180°-180°+∠ABP-α)
= sin(∠ABP+α) ·sin(∠ABP-α)。
右边=( sin∠ABP+sinα) ( sin∠ABP-sinα)=2 sin[(∠ABP+α)/2]·cos[(∠ABP-α)/2]×2cos[(∠ABP+α)/2] ·sin[(∠ABP-α)/2]= sin(∠ABP+α) ·sin(∠ABP-α)= 左边。所以结论成立。