Kéo dài CA thành đường thẳng x, BD thành đường thẳng y.
Có: Góc CAB+BAx=1800
ABC + ABy=1800
-> Góc CAB=3600-(BAx+ABy) (1)
Xét tam giác AFB:
Góc AFB=1800-(FAB+FBA)
= `180^o` ( `BAx+ABy/2` )
= `360^o` - `BAx` + `ABy` / 2
⇒ 2 . `AFB` = `360^o` - `BAx` + `ABy` (2)
Từ (1) và (2) ⇒ 2 . `AFB` = `A` + `B` ⇒ `AFB` = `A` + `B` / 2