Każdy trójkąt wpisany w okrąg i oparty na średnicy jest trójkątem prostokątnym. Przeciwprostokątna tego trójkąta jest średnicą okręgu.