OA+AC=OB+BD <=> OC=OD
△BOC=△AOD (по двум сторонам и углу между ними, ∠DOC - общий) => ∠OCB=∠ODA, ∠OBC=∠OAD
∠DBC=∠CAD (смежные с равными)
△DBE=△CAE (по стороне и двум прилежащим углам) => DE=CE
△DOE=△COE (по трем сторонам, OE - общая)
∠DOE=∠COE, OE - биссектриса ∠DOC