ta xét tam giác EAF , có :
AE = AF ( gt )
=> EAF là tam giác cân
Ta có :
E = F = ( 180độ - 80độ ) : 2 = 50 ( độ )
=> E = F = 50 độ
ta xét tam giác ABC , có :
B = C = ( 180độ - 80độ ) : 2 = 50 độ
=> B = C = 50độ
=> E = B ( =50 độ )
=> EF//BC - đpcm
Do tam giác ABC cân tại A ( gt )
=> AB = AC ( 1 )
AE = AF ( 2 )
E ∈ AB , F∈AC ( 3 )
Từ ( 1) -> ( 3 ) => AB - AE = AC - AF
hay BF = CE ( đpcm