
tam giác EDB đồng dạng tm giác ADC ( g.g)
=> ED/ BD = AD/ DC
=>
DE.CD= BD.DA (1)
ta có điều phải cm :
BD.BA + CD.CE = BC^2
=> BE^2 + CE^2= BD.BA +CD.CE
=> CE( DE-CE) + BD^2 - DE^2 = BD.BA
=> CE.DE = BD.BA - BD^2 +DE^2
=> DE.( CE-DE) = BD( BA-BD)
=>
DE. CD = BD.DA ( đã chứng minh (1) )
=> luôn đúng