Wiemy, że:

• Kąt półpełny ma miarę .
• Kąt rozwarty ma miarę większą niż , ale mniejszą niż .
• Kąt ostry ma mierę mniejszą niż .

Niech kąt  będzie kątem rozwartym, zatem:

Kąt półpełny podzielono