Randvinklar på en halvcirkelbåge är räta

Om cirkelbågen är en halvcirkel blir medelpunktsvinkeln rak, dvs. 180^(∘). Eftersom en randvinkel på samma cirkelbåge är hälften av medelpunktsvinkeln blir de 180^(∘)/2=90^(∘). De är alltså räta.