Gọi AD và A'D' lần lượt là phân giác của tam giác ABC tại góc BAC và tam giác A'B'C' tại góc B'A'C'
tam giác ABC ~ tam giác A'B'C' => góc BAC = góc B'A'C'
=> góc BAD = 1/2 góc BAC = 1/2 góc B'A'C' = góc B'A'D' (AD và A'D' là phân giác)
Xét tam giác ABD và tam giác A'B'D' có :
1. góc ABD = góc A'B'D' ( do tam giác ABC ~ tam giác A'B'C' )
2. góc BAD = góc B'A'D' ( cmt )
Vậy tam giác ABD ~ tam giác A'B'D' (g-g)
=> AD/A'D' = AB/A'B' = k
CMTT cho phân giác 2 góc còn lại ta cũng có điều cần chứng minh.