\(\renewcommand{\vec}[1]{\mathbf{#1}} \DeclareMathOperator*{\sijoitus}{\Big/} \newcommand{\eval}[2]{\sijoitus_{\kern-0.7em#1}^{\kern0.7em#2}\!} \)

5.3.3.9 Kolmio halkaisijalla (Thaleen lause)
Kuva 1

Kolmio, jonka yksi sivu on ympyrän halkaisija ja yksi piste ympyrän kehällä, on aina suorakulmainen.

Perustelu: keskuskulma on 180 astetta, joten sitä vastaava kehäkulma on 90 astetta eli suorakulma. Tämä pitää paikkansa riippumatta pisteen (kuvassa 1 piste D) paikasta kehällä.