Rýchle zhrnutie referátu

Referát sa zaoberá matematickými vetami, dôkazmi a ich rôznymi typmi, ako sú priame, nepriame, dôkaz sporom a matematická indukcia. Vysvetľuje základné pojmy ako axiómy, dedukciu a indukciu a ukazuje, ako sa dôkazy formulujú a realizujú.

  • Matematická veta je výrok o matematickom objekte.
  • Každá veta musí mať dôkaz.
  • Existujú rôzne druhy dôkazov: priame, nepriame, dôkaz sporom a matematická indukcia.
  • Priamy dôkaz pozostáva z reťazca implikácií.
  • Nepriamy dôkaz sa zakladá na obmene vety.
  • Dôkaz sporom neguje matematickú vetu a dokazuje priamo.
  • Matematická indukcia sa používa na zovšeobecnenie tvrdení.

Matematická veta- výrok o matematickom objekte

  • keď a je starna štvorca, tak a2 je jeho obsah.
Predpoklad záver -každá veta musí mať dôkaz Idukcia- od konkrétneho k všoebecnému Dedukcia- od všeobecného ku konkrétnemu Axióma- elementárne tvrdenie, kt. považujeme za pravdivé bez dôkazu

Druhy dôkazov- priamy

  • nepriamy
-sporom -matematickou indukciou matemat. vety budeme dokazovať pomocou- negácie- opačná pravdivostná hodnota -obmeny- vždy rovnaká pravdivostná hodnota -obrátenej- nemusí mať vždy rovnakú pravdivostnú hodnotu pr.- ak mam zvýšenú teplotu liečim sa obmena- ak sa neliečim, nemám zvýšenú teplotu negácia- ak nemám zvýšenú teplotu, neliečim sa

Priamy dôkaz- pozostáva z konečného reťazca implikácií-                                       T1=> T2=>...=> Tn => T  -prvý člen je už dokázané tvrdenie, každé ďalšie je logickým dôsledkom predchádzajúcich, posledný    člen je dokazované tvrdenie.

-dokážme že súčet každých troch za sebou idúcich čisel je delitelný 3 n, n+1, n+2 n+(n+1)+(n+2)=3n+3=3(n+1) platí Nepriamy dôkaz- pri nepriamom dôkaze dokazujeme obmenu vety "nÎN:2 delí n2 Þ 2 delí n obmena- "nÎN: 2 nedelí n Þ 2 nedelí n2 n=2k+1- je nedelit. Dvoma n2=(2k+1)2= 4k2+4k+1 – nie je delit. 2 Dôkaz sporom- znegujeme mat. vetu a dokazujeme priamo Záver je v spore buď s podmienk. Alebo s mat tvrdeniamy Teda ak dokážeme že V’neplatí Þ V platí

Dôkaz mat. indukciou- úplná- zovšeobecnenie na základe vš. konkrétnych pr. -neúplná- -||- na zákl. Niekoľkých konrét. pr.

  • nepovažuje sa za mat. dôkaz, väčšinou slúži na vyslovenie hypotéz
  • mat. tvrdenie- V(n)
dokážeme pre n=1 V(1) Predpokladáme pre V(k) – indukčný predpoklad IP, kt. vyvolá(indukuje) platnosť tvrdenia pre n=k+1 V(k+1)

🤔 Najčastejšie otázky k téme

Čo je matematická veta?

Matematická veta je výrok o matematickom objekte, ktorý musí byť dokázaný.

Aké sú hlavné typy dôkazov v matematike?

Hlavné typy dôkazov sú priame, nepriame, dôkaz sporom a matematická indukcia.

Čo je to axióma?

Axióma je elementárne tvrdenie, ktoré považujeme za pravdivé bez dôkazu.