Ta chỉ cần chứng minh [tex]\widehat{ODE}=\widehat{DBE}=45^o[/tex] là được.
Thật vậy, ta có: [tex]\widehat{DOE}=180^o-\widehat{DOA}-\widehat{EOC}=180^o-(180^o-2\widehat{A})-(180^o-2\widehat{C})=2(\widehat{A}+\widehat{C})-180^o=2(180^o-\widehat{B})-180^o=2.135^o-180^o=90^o[/tex]
Từ đó [tex]\widehat{ODE}=\frac{1}{2}(180^o-\widehat{DOE})=45^o\Rightarrow đpcm[/tex]