+ Xét tam giác ABC ta có :

CBAˆCBA^ + BCAˆBCA^ + BACˆBAC^ = 18001800 ( 1 )

Ta lại có CBAˆCBA^ + EBAˆEBA^ = 18001800 ( 2 )

Từ ( 1 ) và ( 2 ) : => EBAˆEBA^ = BACˆBAC^ + BCAˆBCA^

+ Xét tam giác ABE ta có :

BEAˆBEA^ + BAEˆBAE^ + EBAˆEBA^ = 18001800 = EBAˆEBA^ + CBAˆCBA^

=> BEAˆBEA^ + BAEˆBAE^ = CBAˆCBA^

Mà AE // BD :

=> BAEˆBAE^ = DBAˆDBA^ ( so le trong )

=> BEAˆBEA^ = DBCˆDBC^

+ BD là tia phân giác của góc CBAˆCBA^ :

=> DBAˆDBA^ = DBCˆDBC^ <=> BAEˆBAE^ = BEAˆ