a, dễ thấy AIMˆ=90+12CˆAIM^=90+12C^
mặt khác AIBˆ=360−BICˆ−AICˆ=Cˆ+12(Bˆ+Aˆ)AIB^=360−BIC^−AIC^=C^+12(B^+A^)
mà 12(Bˆ+Aˆ)=90−12Cˆ12(B^+A^)=90−12C^
⇒AIBˆ=90+12Cˆ⇒AIB^=90+12C^
⇒AIBˆ=AMIˆ⇒AIB^=AMI^
Xét tam giác AIM và ABI có:
AIBˆ=AMIˆ;BAIˆ=IAMˆAIB^=AMI^;BAI^=IAM^
vậy hai tam giác này đồng dạng
b, chứng minh tam giác BIN đồng dạng ABI kết hợp AIM đồng dạng ABI ta được: AI2=AM.AB;BI2=BN.AB⇒AI2BI2=AMBN