Xét \(\Delta OAM\) và \(\Delta OBM\) có :
OM : cạnh chung
\(\widehat{AOM}=\widehat{BOM}\) (gt)
Vì \(\widehat{OAM}+\widehat{AOM}=\widehat{OBM}+\widehat{BOM}\) (\(\widehat{OAM}=\widehat{OBM}\) )
\(\Rightarrow\) \(\widehat{OMA}=\widehat{OMB}\)
\(\Rightarrow\Delta OAM=\Delta OBM\) (g . c . g)
\(\Rightarrow\) OA = OB
Gọi F là giao điểm của AB và Ot
Xét \(\Delta OFA\) và \(\Delta OFB\) có :
OF : cạnh chung
\(\widehat{AOF}=\widehat{BOF}\) (gt)
OA = OB (\(\Delta OAM=\Delta OBM\) )
\(\Rightarrow\Delta OAF=\Delta OBF\) (c . g . c)
\(\Rightarrow\) OA = OB
Vì \(\Delta OAF=\Delta OBF\)
\(\Rightarrow\widehat{OFA}=\widehat{OFB}\)
\(\Rightarrow\widehat{OFA}=\widehat{OFB}=\) 90 độ (2)
Từ (1) và (2)
\(\Rightarrow\) Ot là trung trực của đoạn thẳng AB