Given:△ABCinwhich∠BAC=90,ADisthebisector.AlsoDE⊥ACToProve:DE×(AB+AC)=AB×AC.Proof:ItisgiventhatADisthebisectorof∠Aof△ABC∴ABAC=BDDC(ByAngleBisectorTheorm)⇒ABAC+1=BDDC+1[Adding1onbothsides]⇒AB+ACAC=BD+DCDC⇒AB+ACAC=BCDC.........(1)In△CDEand△CBA,wehave∠DCE=∠BCA[Common]∠DEC=∠BAC[Eachequalto90So,byAA−criterionofsimilarity△CDE∼△CBA⇒CDCB=DEBA(ByAngleBisectortheorm)⇒ABDE=BCDC.....(2)From(1)and(2)wehaveAB+ACAC=ABDE⇒DE×(AB+AC)=AB×AC.HenceProved