De digitale vraagbaak voor het wiskundeonderwijs

home |  vandaag |  gisteren |  bijzonder |  prikbord |  gastenboek |  wie is wie? |  contact

HOME

samengevat
vragen bekijken
een vraag stellen
hulpjes
zoeken
FAQ's
links
twitter
boeken
help

inloggen

colofon

  \require{AMSmath} Printen

Bewijs door contrapositie

Ik ben op zoek naar een voorbeeld waarbij deze manier van bewijzen wordt gebruikt . Iemand een tip voor mij ?

rvg
Student Hoger Onderwijs Belgi - dinsdag 7 oktober 2003

Antwoord

Contrapositie = logische omkering
Op deze wet uit de logica berust het 'bewijs uit het ongerijmde'.
De wet zegt, dat de uitspraken
(1) A $\Rightarrow$ B
(2) $\neg$B $\Rightarrow$ $\neg$A
gelijkwaardig zijn.

Het misschien wel bekendste voorbeeld van een dergelijk bewijs is het bewijs, dat $\sqrt{}$2 irrationaal is.
Zie hiervoor Vraag 264.

Een ander voorbeeld (nu maar uit de meetkunde).
We weten:
(Definitie) Een raaklijn aan een cirkel is een lijn die EEN punt met die cirkel gemeenschappelijk heeft.

We mogen (oa.) de volgende stelling gebruiken:
(Stelling) Als een lijn door een punt gaat binnen een cirkel, dan heeft die lijn TWEE punten met die cirkel gemeenschappelijk.

Te bewijzen:
(A) de lijn m raakt in P aan de cirkel (middelpunt O, straal r) $\Rightarrow$ (B) OP $\bot$ m.

En dan het bewijs door logische omkering:
Stel OP staat niet loodrecht op m ($\neg$B), dan is er een lijn door O die wl loodrecht staat op m, en wel in een punt Q op m (dat verschilt van P). Driehoek OPQ is dan rechthoekig in Q, zodat OP $>$ OQ.
Met andere woorden OQ $>$ r. Dus Q ligt binnen de cirkel. De lijn m gaat door Q, dus m is geen raaklijn ($\neg$A).
We hebben bewezen: $\neg$B $\Rightarrow$ $\neg$A.
Volgens de wet van de contrapositie is dan ook A $\Rightarrow$ B (waar).

Oefening (als je wilt).
Welke andere stellingen zijn in het bovenstaande bewijs gebruikt?

Wie is wie?
Vragen naar aanleiding van dit antwoord? Klik rechts..!
dinsdag 7 oktober 2003
  Re: Bewijs door contrapositie  


klein |  normaal |  groot

home |  vandaag |  bijzonder |  twitter |  gastenboek |  wie is wie? |  colofon

©2001-2019 WisFaq - versie IIb