Ta có hình vẽ:
Cho Ot là tia phân giác \(\widehat{xOy}\)
a/ Xét tam giác OQM và tam giác OHM có:
\(\widehat{QOM}\)=\(\widehat{HOM}\) (GT)
OM: cạnh chung
\(\widehat{Q}\)=\(\widehat{H}\) =900 (GT)
Vậy tam giác OQM = tam giác OHM
(theo trường hợp cạnh huyền góc nhọn)
=> MQ = MH (2 cạnh tương ứng)
b/ Xét tam giác OQG và tam giác OHG có:
OG: cạnh chung
\(\widehat{QOM}\)=\(\widehat{HOM}\) (GT)
MQ = MH (câu a)
Vậy tam giác OQG = tam giác OHG (c.g.c)
=> GQ = GH (2 cạnh tương ứng)
c/ Ta có: tam giác OQG = tam giác OHG (đã chứng minh trên)
=> \(\widehat{OGQ}\)=\(\widehat{OGH}\) (2 góc tương ứng)
Mà \(\widehat{OGQ}\)+\(\widehat{OGH}\)=1800 (kề bù)
=> \(\widehat{OGQ}\)=\(\widehat{OGH}\)=900 (1)
Ta lại có: GQ = GH (đã chứng minh ở câu b) (2)
Từ (1),(2) => OG là đường trung trực của QH
hay OM là đường trung trực của QH
(vì G,M đều nằm trên tia phân giác Ot)