Důkaz o dělitelnosti
Dokaž následující tvrzení nepřímým důkazem:
Je-li n^2+2 dělitelné 3, pak n není dělitelné 3
∀ n ∈ \mathbb{N} platí: 3n ∣ 3 ⇒ (3n)^{2} + 2 ∤ 3(tj. obměněná implikace)
\large \rightarrow \left( 3n\right) ^{2} + 2 = 9n^{2} + 2 (není dělitelné třemi)
∀ n ∈ \mathbb{N} platí: 3n ∣ 3 ⇒ (3n)^{2} + 2 ∣ 3(tj. obměněná implikace)
\large \rightarrow \left( 3n\right) ^{2} + 2 = 9n^{2} + 2 (je dělitelné třemi)
∀ n ∈ \mathbb{N} platí: 3n ∣ 3 ⇒ (3n)^{2} + 2 ∤ 9(tj. obměněná implikace)
\large \rightarrow \left( 3n\right) ^{2} + 2 = 9n^{2} + 2 (není dělitelné devíti)
∀ n ∈ \mathbb{N} platí: 3n ∣ 3 ⇒ (3n)^{2} + 2 ∤ 6(tj. obměněná implikace)
\large \rightarrow \left( 3n\right) ^{2} + 2 = 9n^{2} + 2 (není dělitelné šesti)
Zde se po tobě bude chtít vytvořit obměněnou implikaci původního výroku a tu poté dokázat. Po vytvoření obměněné implikace už budeš postupovat stejně jako u přímého důkazu.
Nejdříve prohodíš oba výroky v implikaci a zároveň je zneguješ.
Obměněná implikace bude mít tvar: Je-li n dělitelné 3, pak n2 + 2 není dělitelné 3.
Obecný zápis čísla dělitelného 3:
🍪 Setzen Sie Ihre Unsichtbarkeitstarnung ⚡
Willkommen in der magischen Welt der Cookies! 🧙♂️ Wir verwenden sie, um dir das beste Erlebnis zu bieten und um zu verstehen, wie du mit unserer App zauberst. Keine Sorge, diese Cookies sind nicht von Bertie's Beans 1000 Times Different - sie sind dafür da, dass alles magisch funktioniert, damit wir unsere App weiter verbessern können. Deine Einstellungen sind für uns wie ein Zauberstab - du kannst sie jederzeit nachträglich ändern. Klicke einfach auf den Link "Cookies bearbeiten 🍪" in der Fußzeile und zaubere die Einstellungen genau nach deinem Geschmack. Wenn Sie mehr darüber wissen wollen, wie wir Cookies verarbeiten, finden Sie es auf dieser Seite.