Ta có hình vẽ:
Xét tam giác ABM và tam giác A2CM có:
AM = MA2 (GT)
góc AMB = góc A2MC (đđ)
BM = MC (GT)
=> tam giác ABM = tam giác A2CM
=> AB = CA2
Xét hai tam giác vuông ABH và A1CH có:
BH: cạnh chung
AH = HA1 (GT)
=> tam giác ABH = tam giác A1CH
=> AB = BA1
Ta có: AB = CA2
Ta có: AB = BA1
=> BA1 = CA2