Přímý důkaz

Z Wikipedie, otevřené encyklopedie
Skočit na: Navigace, Hledání

Přímý důkaz se v matematice používá k dokázání matematických vět tvaru implikace , tj. vět tvaru „Jestliže platí předpoklad P, pak platí také tvrzení T“. Spočívá v tom, že z platnosti výroku se řadou platných implikací odvodí platnost výroku , tj. postupuje se metodou „Jestliže…, pak…“ či „…, tedy …“.

Přímý důkaz tedy spočívá v nalezení řady výroků tak, aby platilo:

Příklady[editovat | editovat zdroj]

Přímý důkaz tvrzení můžeme provést následovně:

  1. Protože , je také .
  2. Protože , získáme přenásobením nerovnosti nerovnost .
  3. Protože a , je také .

Související články[editovat | editovat zdroj]