Każdy kąt wpisany oparty na półokręgu (czyli na średnicy) jest kątem prostym (90°).