góc AEB=góc AFB=90 độ
=>BE vuông góc SA; AF vuông góc SB
Xét ΔSAB có
AF,BE là đường cao
AFcắt BE tại H
=>H là trực tâm
=>SH vuông góc AB tại M
góc MEH=góc FAB
góc FEH=góc FSM
mà góc FAB=góc FSM
nên góc MEH=góc FEH
=>EH là phân giác của góc FEM
góc EFH=góc ASM
góc MFH=góc EBA
mà góc ASM=góc EBA
nên góc EFH=góc MFH
=>FH là phân giác của góc MFE
=>H là tâm đường tròn nội tiếp ΔMEF