Triunghiurile AOM și BON sunt dreptunghice în A, respectiv B.
a)
[tex]\it \left.\begin{aligned} \it OM=ON\ (ipotez\breve a)\ \ \ \ \ \ \ \ \ \ .\\ \\ \it \widehat{AOM}=\widehat{BON}\ (opuse\ la\ v\hat arf) \end{aligned}\right\} \stackrel{(caz\ IU)}{\Longrightarrow}\ \Delta AOM\equiv\Delta BON \Rightarrow OA = OB[/tex]
b)
[tex]\it \left.\begin{aligned} \it OA=OB\ (ipotez\breve a)\ \ \ \ \ \ \ \ \ \ .\\ \\ \it \widehat{AOM}=\widehat{BON}\ (opuse\ la\ v\hat arf) \end{aligned}\right\} \stackrel{(caz\ CU)}{\Longrightarrow}\ \Delta AOM\equiv\Delta BON \Rightarrow OM = ON[/tex]