Do Oz là tia phân giác của góc xOy nên xOz^=yOz^.

Mà M thuộc tia Oz, A thuộc tia Ox, B thuộc tia Oy nên AOM^=BOM^.

Do MA⊥OA, MB⊥OB nên tam giác OAM vuông tại A, tam giác OBM vuông tại B.

Xét hai tam giác OAM vuông tại A và OBM vuông tại B có:

AOM^=BOM^ (chứng minh trên).

OM chung.

Do đó ΔOAM=ΔOBM (cạnh huyền – góc nhọn).

Vậy MA = MB (2 cạnh tương ứng).