DIGITÁLNÍ UČEBNÍ MATERIÁL

Prezentace na téma: "DIGITÁLNÍ UČEBNÍ MATERIÁL"— Transkript prezentace:

1 DIGITÁLNÍ UČEBNÍ MATERIÁL
Číslo projektu CZ.1.07/1.5.00/ Název školy Gymnázium Česká a Olympijských nadějí, České Budějovice, Česká 64 Název materiálu Důkazy matematických vět, které mají tvar implikace. Autor Michala Pfefrčková Tematický okruh Základní poznatky z matematiky Ročník První Datum tvorby Anotace Prezentace slouží k osvojení a procvičení dokazování vět ve tvaru implikace. Metodický pokyn Prezentace je určena jako výklad do hodiny i jako materiál k samostudiu. Možnosti využití: promítání, práce jednotlivců nebo dvojic u PC Pokud není uvedeno jinak, použitý materiál je z vlastních zdrojů autora

2 Základní poznatky z matematiky
Důkazy matematických vět, které mají tvar implikace

3 Důkazy matematických vět, které mají tvar implikace
přímý důkaz důkaz sporem nepřímý důkaz

4 A. Přímý důkaz Dokazujeme výrok ve tvaru p ⇒ q.
Předpokládáme, že platí výrok p , vystavím od výroku řetězec implikací (cestu) k výroku q. Schéma: předpokládáme: platí p dokážeme: platí (p ⇒ p1)∧ (p1 ⇒ q) závěr: platí p ⇒ q

5 Úkol - dokažte, že platí: ∀n ∈ N: 2|n ⇒ 2|n2
Přímý důkaz: předpokládáme, že n je dělitelné 2, tedy lze ho zapsat ve tvaru n = 2k dokazujeme: pokud je n = 2k, potom n2 = (2k)2 = 4k2 = 2‧(2k2) n2 je dělitelné 2 □

6 B. Důkaz sporem Dokazujeme výrok ve tvaru p ⇒ q.
Vytvořím negaci požadovaného výroku ¬(p ⇒ q) ⇔ p ∧ ¬q . Pravdivě z negace výroku dokazuji, až dojdu k nesmyslnému výroku z. Schéma: předpokládáme: platí p ∧ ¬q dokážeme: platí (p ∧ ¬q) ⇒z závěr: neplatí z (SPOR) ↯

7 ↯ Úkol - dokažte, že platí: ∀n ∈ N: 2∤n3 ⇒ 4∤n
Důkaz sporem: místo výroku ∀n ∈ N: 2∤n3 ⇒ 4∤n dokazujeme jeho negaci, tedy ∃n ∈ N: 2∤n3 ∧ 4|n 2∤n3 → n3 ≠ 2k 4|n → n = 4l tedy n3 = (4l)3 = 64l 3 = 2‧(32l 3) ↯

8 C. Nepřímý důkaz Dokazujeme výrok ve tvaru p ⇒ q.
Vytvořím obměněnou implikaci požadovaného výroku (p ⇒ q) ⇔ (¬q ⇒ ¬p). Předpokládáme, že platí výrok ¬q , vystavím od výroku řetězec implikací (cestu) k výroku ¬p. Schéma: předpokládáme: platí ¬q dokážeme: platí (¬q ⇒ ¬q 1)∧ (¬q 1 ⇒ ¬p) závěr: platí ¬q ⇒ ¬p, tj. platí p ⇒ q

9 □ Úkol - dokažte, že platí: ∀n ∈ N: 2∤n3 ⇒ 4∤n
Nepřímý důkaz: místo výroku ∀n ∈ N: 2∤n3 ⇒ 4∤n dokazujeme jeho obměněnou implikaci, tedy ∀n ∈ N: 4|n ⇒ 2|n3 4|n → n = 4k tedy n3 = (4k)3 = 64k 3 = 2‧(32k 3) □

10 Nápověda – nepřímý důkaz.
Dokažte následující tvrzení: Nápověda – přímý důkaz. Nápověda – přímý důkaz. Nápověda – nepřímý důkaz.

11 □ Má-li být výraz dělitelný 6, musíme nalézt dělitelnost 2 a 3.
Řešení: Přímý důkaz: □ Má-li být výraz dělitelný 6, musíme nalézt dělitelnost 2 a 3. Dělitelnost 3 → 3k(k-1) Dělitelnost 2 → je-li k sudé, je celý výraz dělitelný 2; je-li k liché, potom je člen (3k – 1) sudý a tedy celý výraz 3k(k-1) je dělitelný 2.

12 Řešení: Přímý důkaz: □

13 □ Řešení: Nepřímý důkaz: dokazujeme výrok ve tvaru: ∀n ∈ N: 5∤n ⇒ 5∤n2
platí-li 5∤n, potom n nabývají tvaru: □

14 Zdroje: POLÁK, Josef. Přehled středoškolské matematiky. 6. vyd. Praha: Prometheus, 1995, 608 s. ISBN x. BUŠEK, Ivan, Leo BOČEK a Emil CALDA. Matematika pro gymnázia: základní poznatky z matematiky. Dot. 2. vyd. Praha: Prometheus, 1995, 165 s. ISBN