{{ 'ml-label-loading-course' | message }}
{{ toc.name }}
{{ toc.signature }}
{{ tocHeader }} {{ 'ml-btn-view-details' | message }}
{{ tocSubheader }}
{{ 'ml-toc-proceed-mlc' | message }}
{{ 'ml-toc-proceed-tbs' | message }}
Lektion
Övningar
Rekommenderade
Tester
Ett fel uppstod, försök igen senare!
Kapitel {{ article.chapter.number }}
{{ article.number }}. 

{{ article.displayTitle }}

{{ article.intro.summary }}
{{ 'ml-btn-show-less' | message }} {{ 'ml-btn-show-more' | message }} expand_more
{{ 'ml-heading-abilities-covered' | message }}
{{ ability.description }} {{ ability.displayTitle }}
{{ 'ml-heading-lesson-settings' | message }}
{{ 'ml-lesson-show-solutions' | message }}
{{ 'ml-lesson-show-hints' | message }}
{{ 'ml-lesson-number-slides' | message : article.intro.bblockCount}}
{{ 'ml-lesson-number-exercises' | message : article.intro.exerciseCount}}
{{ 'ml-lesson-time-estimation' | message }}

Bevis

Bevis för randvinkelsatsen

För en randvinkel och en medelpunktsvinkel som spänner upp samma cirkelbåge ger randvinkelsatsen att sambandet mellan dem är
cirkel med randvinkel och medelpunktsvinkel
TAGS:

För att bevisa randvinkelsatsen delar man upp den i tre olika fall som bevisas separat.

Det första fallet inträffar när ett av vinkelbenen till randvinkeln går igenom medelpunkten, vilket gör att det går genom ett av vinkelbenen till medelpunktsvinkeln. Detta innebär också att det vinkelbenet utgör en diameter i cirkeln.

cirkel med medelpunktsvinkel och likbent triangel
TAGS: Triangeln som skapas är likbent eftersom två av benen är radier. Det betyder att basvinklarna är lika stora. Yttervinkelsatsen ger

I det andra fallet skär inte något av randvinkelns vinkelben något ben till medelpunktsvinkeln.

cirkel med medelpunktsvinkel och randvinkel

För att visa randvinkelsatsen för den här situationen ritar man in en diameter från randvinkeln som delar både den och medelpunktsvinkeln i två delvinklar.

cirkel med två medelpunktsvinklar och två randvinklar
TAGS: Ser man den inlagda diametern som ett vinkelben både till randvinkeln och medelpunktsvinkeln kan man nu tolka denna nya figur som två exempel av fall 1. Beviset därifrån ger då att
Den ursprungliga medelpunktsvinkeln är summan av och och på samma sätt är . Detta används för att ta fram ett uttryck för

\SubstIIii{u_1}{2v_1}{u_2}{2v_2}

\BU{2}

\SubstII{v_1 + v_2}{v}

Det sista fallet som behöver undersökas är när ett av randvinkelns vinkelben skär ett av medelpunktsvinkelns ben.

cirkel med medelpunktsvinkel och randvinkel
TAGS:

På samma sätt som i förra fallet ritas en diameter in från randvinkeln. Denna gång delar den dock inte vinklarna, utan skapar nya rand- och medelpunktsvinklar, varav ett par är större än de ursprungliga.

två cirklar med randvinklar och medelpunktsvinklar
TAGS: Sambandet från fall 1 kan nu användas igen:
Vinkeln (blå) kan nu skrivas som summan av (röd) och randvinkeln (grön), dvs. vilket betyder att
cirkel med summan av två vinklar
TAGS: På samma sätt är Detta används för att bevisa randvinkelsatsen även för detta fall.

\SubstIIii{u_1}{2v_1}{u_2}{2v_2}

\BU{2}

\SubstII{v_1 - v_2}{v}

Randvinkelsatsen gäller alltså för alla tre fall.

Q.E.D.