Kako napraviti neizravni dokaz

Napisao Mark Ryan

Neizravni dokazi su nekako čudan ujak redovitih dokaza. S an neizravno dokaz, umjesto da dokažete da nešto mora biti istina, vi to dokažite posredno pokazujući da je to limenka ne biti lažni.

Napomena ne . Kada je vaš zadatak u dokazivanju dokazati da stvari nisu podudarne, nisu okomite i tako dalje, mrtvo je dijeljenje da imate posla s neizravnim dokazom.



Uglavnom je neizravni dokaz vrlo sličan redovnom dokazivanju. Ono što ga razlikuje je način na koji počinje i završava. I osim početka i kraja, da biste riješili neizravni dokaz, koristite iste tehnike i teoreme koje biste koristili za redovite dokaze.

Najbolji način za objašnjenje neizravnih dokaza je pokazivanje primjera. Izvoli.

image0.jpg

image1.jpg

Primijetite dvije neobične stvari u vezi s ovom neobičnom patkom dokaza: neskladni simboli u datostima i dokazati izjava. Onaj u dokazati Izjava je vrsta onoga što ovo čini neizravnim dokazom.

Evo plana igre koji pokazuje kako se možete nositi s ovim neizravnim dokazom. Pretpostavljate da dokazati izjava je lažna, naime taj segment $ je sukladan segmentu RS , a zatim vam je cilj doći do proturječja neke poznate istinite stvari (obično određene činjenice o stvarima koje jesu ne kongruentan, ne okomito i tako dalje). U ovom je problemu vaš cilj pokazati taj kut PQS je sukladan kutu RQS , što je u suprotnosti s danim.

Posljednja stvar prije nego što vam pokažemo rješenje - neizravne dokaze možete ispisivati ​​u uobičajenom formatu, ali mnogi udžbenici i učitelji geometrije predstavljaju neizravne dokaze u obliku pasusa, poput ovog:

folna kiselina 1 mg
  1. Pretpostavimo suprotno od dokazati izjava, tretirajući ovu suprotnu izjavu kao datu.

    image2.png

  2. Riješite problem kao i obično, pokušavajući dokazati suprotno od jedne od datosti (obično one koja nešto navodi ne okomito, podudarno ili slično).

    image3.jpg

    možete li uzeti ibuprofen s tynolom
  3. Završite izjavom da ste došli do proturječja i da je stoga dokazati izjava mora biti istinita.

    image4.png

    ( the JE štakor D demonstrirati - što je trebalo pokazati - za sve vas koji govorite latinski; vi ostali možete samo reći, gotov sam!)

Bilješka : Nakon što to pretpostavite

image5.png

djeluje baš kao dato. I nakon što prepoznate svoj cilj pokazivanja

image6.png

ovaj cilj sada djeluje kao običan dokazati izjava.

image7.png