Alla randvinklar som ligger på en cirkelbåge som är en halvcirkel är 90∘.
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 2180∘=90∘. De är alltså räta.