Detta avsnitt ingår i matematik 2b och matematik
2c.
Innan vi går in på den sats som vi ska behandla i det här
avsnittet, ska vi börja med att gå igenom några viktiga
begrepp.
Definitioner
Vi utgår från en cirkel enligt figuren nedan.

I denna figur ovan har vi en medelpunkt i mitten av
cirkeln. Vi har också två punkter A och B som ligger på cirkelns
rand, det vill säga som ligger på en radies avstånd
från cirkelns medelpunkt. Dessa båda punkter bildar en
cirkelbåge AB. Vi har också en tredje punkt, C, som
också ligger på cirkelns rand och som står på cirkelbågen AB. En
sträcka såsom AC och BC i figuren, alltså sträckan mellan två
punkter på en cirkels rand, kallas en korda.
Utöver detta har vi två intressanta vinklar: vinkeln
y, som är medelpunktsvinkeln till
cirkelbågen AB, och vinkeln x, som är den
randvinkel som bildas då punkten C med hjälp av kordor
sammanbinds med punkterna A och B enligt figuren.
Randvinkelsatsen
Randvinkelsatsen anger att medelpunktsvinkeln
(y) till cirkelbågen AB är dubbelt så stor som
randvinkeln (x) som står på samma cirkelbåge AB,
alltså att

Följdsatser
Av randvinkelsatsen får vi några följdsatser:
Alla randvinklar till samma cirkelbåge är lika stora, eftersom
randvinkelsatsen säger att randvinkeln är hälften så stor som
medelpunktsvinkeln på samma cirkelbåge och eftersom alla
randvinklarna ligger på samma cirkelbåge kommer de alla vara
hälften så stora som medelpunktsvinkeln.

Randvinklar till en halvcirkelbåge är 90°, eftersom ett halvt
varv är 180°. Detta kallas också för Thales sats.

Skriver vi in en fyrhörning i en cirkel så kommer vinkelsumman
av motstående vinklar alltid vara 180°.


Bevis för randvinkelsatsen
Här nedan följer ett bevis för randvinkelsatsen.
För att bevisa randvinkelsatsen börjar vi med att rita en
diameter som går mellan de båda vinklarnas vinkelspetsar. Diametern
kommer då att dela de båda vinklarna x och
y i två vinklar vardera, vinklar som vi betecknar
x1 och x2,
respektive y1 och
y2.

Vinklarna y1 och
y2 är yttervinklar till
z1 och z2, och
yttervinkelsatsen
ger då att

Eftersom trianglarna ACM och BCM båda är likbenta (sidorna AM,
CM och BM är alla samma som cirkelns radie) så är

Vilket gör att

V.S.B.