Z własności wpisania czworokąt w okrąg:
Z twierdzenia cosinusów:
Skoro na czworokącie opisano okrąg to suma kątów ABC i ADC jest równa
. Z twierdzenia cosinusów i układu równań oblicz cosinus kąta alfa. Na koniec dolicz z tego twierdzenia długość odcinka AC.