Ta có: `hat(ABD) = hat(ACD)`.
Lấy `M in AC` sao cho `hat(ADB) = hat(MDC)`.
`=> triangle ABD ~ triangle MCD`.
`=> (AB)/(MC) = (BD)/(CD) => AB . CD = BD . MC`.
Xét `2 triangle ADM, BDC`, ta có:
`hat(ADM) = hat(BDC)`.
`(DA)/(DM) = (BD)/(DC) ( triangle ABD ~ triangle MCD )`.
`=> triangle ADM ~ triangle BCD => (AD)/(AM) = (BD)/(CB) => AD . BC = BD . AM`
`=> AD . BC + AD . BC = BD . AM + BD . MC`
`=> AD . BC + AD . BC = BD(AM+MC)`
`=> AD.BC+AD.BC = BD . AC => dpcm`.