Định lý 1 (Định lý thuận) : Điểm nằm trên đường trung trực của một đoạn thẳng thì cách đều 2 mút của đoạn thẳng đó.
Gọi MI là đường trung trực của đoạn thẳng AB (I thuộc AB)
Xét \(\bigtriangleup AMI\left(\widehat{AIM}=90^o\right)\) và \(\bigtriangleup BMI\left(\widehat{BIM}=90^o\right)\) có :
MI : cạnh chung
AI = IB (gt)
=> \(\bigtriangleup AMI=\bigtriangleup BMI\) (2 cạnh góc vuông)
=> MA = MB (2 cạnh tương ứng)