`DeltaABH` có :
`hat{ABH}+hat{BAH}=90^0`
`=>hat{BAE}+hat{ABH}=hat{BAE}+90^0-hat{BAH}=hat{BAE}-hat{BAH}+90^0=hat{HAE}+90^0`
`DeltaAHE` có góc ngoài là `hat{AEC}=hat{HAE}+90^0`
Mà `hat{BAE}+hat{ABH}=` góc ngoài `hat{AEC}` của `DeltaABE`
`=>hat{BAE}+hat{ABH}=hat{HAE}+90^0`
`=>` giao điểm các đường phân giác của tam giác `ABC` là tâm đường tròn ngoại tiếp của tam giác `ADE.`