Α+β+γ=π
Β+γ+α=π
C+α+β=π
Α+Β+C+2α+2β+2γ=3π A+B+C=π
α+β+γ=π
Α+β+γ=α+β+γ
Α=α
B=β
C=γ
Wniosek: Dowolny kąt oparty na łuku jest równy kątowi pomiędzy cięciwą tego łuku i styczną do okręgu.
Twierdzenie sinusów.
