Xét tứ giác BHCK có

MB = MC (gt)

HM =  MK ( H đối xứng mới K qua M)

=> Tứ giác BHCK là hình bình hành

=> BH // CK; CH // BK (1)

Ta có H là trực tâm của ABC

=> BH⊥AC  ;CK⊥AB (2)

Từ (1) và (2) suy ra CK⊥AC;BK⊥AB 

=> ABK^=900;ACK^=900