Kąt ABC jest prosty. Kąt ACB to 90° – α.
Kąty przy punkcie C to 90° + (90° – α) + α = 180°
Kąt półpełny ma 180° i leży na prostej.
Co uzasadnia, że punkty A, C i E leżą na jednej prostej.
Przy punkcie D jest więc kąt 60° i 120°. W takim razie przy wierzchołku D jest największy kąt trójkąta ADC.
Naprzeciwko najdłuższego boku leży kąt o największej mierze.
Więc odcinek AC jest najdłuższym bokiem trójkąta ADC.
Twierdzenie uzasadnij korzystając z własności kątów oraz trójkątów.