△ABC中∠C=30°，O是外心，I是内心，边AC上的D点与边BC上的E点使得AD=BE=AB．求证：OI丄DE，OI=DE．（1988，中国数学奥林匹克集训题）

Question

△ABC中∠C=30°，O是外心，I是内心，边AC上的D点与边BC上的E点使得AD=BE=AB．求证：OI丄DE，OI=DE．
（1988，中国数学奥林匹克集训题）

Answer 1

证明：如图所示，作∠DAO平分线交BC于K．
易证△AID≌△AIB≌△EIB，
∠AID=∠AIB=∠EIB．
利用内心张角公式，有
∠AIB=90°+(1)/(2)∠C=105°，
∴∠DIE=360°-105°×3=45°．
∵∠AKB=30°+(1)/(2)∠DAO
=30°+(1)/(2)（∠BAC-∠BAO）
=30°+(1)/(2)（∠BAC-60°）
=(1)/(2)∠BAC=∠BAI=∠BEI．
∴AK∥IE．
由等腰△AOD可知DO丄AK，
∴DO丄IE，即DF是△DIE的一条高．
同理点O是△DIE之垂心，OI丄DE．
∵∠DIE=∠IDO，∴OI=DE．