Ta có: `\hat{ACB}` là góc nội tiếp chắn nửa đường tròn đường kính `AB`

`=> \hat{ACB] = 90^@`

`=> BC bot AE` tại `C`

`=> BC` là đường cao `triangleEAB`

Ta có: `\hat{ADB}` là góc nội tiếp chắn nửa đường tròn đường kính `AB`

`=> \hat{ADB} = 90^@`

`=> AD bot BE` tại `D`

`=> AD` là đường cao `triangleEAB`

`triangleEAB` có: `BC` và `AD` là hai đường cao cắt nhau tại `F`

`=> F` là trực tâm `triangleEAB`

`=> EF bot AB` (đpcm)