a: Xét ΔDEF vuông tại D và ΔKEDvuông tại K có
góc KED chung
=>ΔDEF đồng dạng với ΔKED
=>góc EDK=góc EFD
b: Xet ΔEDI vuông tại D và ΔEKH vuông tại K có
góc DEI=góc KEH
=>ΔEDI đồng dạng với ΔEKH
=>ED/EK=EI/EH
=>ED*EH=EK*EI
góc DIH=KHE
góc DHI=góc KHE
=>góc DIH=góc DHI
=>ΔDHI cân tại D