Dowodzenie z implikacją

Zdania. Tautologie. Język matematyki. Wszelkie zagadnienia związane z logiką matematyczną...
HeadsHunter
Użytkownik
Użytkownik
Posty: 10
Rejestracja: 5 wrz 2009, o 15:00
Płeć: Mężczyzna

Dowodzenie z implikacją

Post autor: HeadsHunter »

Hej mam pytanie jak zrobić taki przykład:
1. Wykaż że dla dowolnych \(\displaystyle{ a, b, c \in R}\) zachodzą nierówności

\(\displaystyle{ (a \ge 0 \wedge b \ge 0) \Rightarrow (a+b)/2 \ge \sqrt{ab}}\)
Czoug
Użytkownik
Użytkownik
Posty: 205
Rejestracja: 15 wrz 2009, o 10:14
Płeć: Mężczyzna
Lokalizacja: Poznań
Pomógł: 29 razy

Dowodzenie z implikacją

Post autor: Czoug »

piękny i prosty dowodzik -> https://www.matematyka.pl/viewtopic.php?t=24533
Zapamietaj te srednie i zaleznosci miedzy nimi!
HeadsHunter
Użytkownik
Użytkownik
Posty: 10
Rejestracja: 5 wrz 2009, o 15:00
Płeć: Mężczyzna

Dowodzenie z implikacją

Post autor: HeadsHunter »

no tak ale co z lewą stroną?
Jan Kraszewski
Administrator
Administrator
Posty: 34546
Rejestracja: 20 mar 2006, o 21:54
Płeć: Mężczyzna
Lokalizacja: Wrocław
Podziękował: 4 razy
Pomógł: 5226 razy

Dowodzenie z implikacją

Post autor: Jan Kraszewski »

HeadsHunter pisze:no tak ale co z lewą stroną?
A co ma być? To założenie i już. Zauważ, że wspomniany wyżej dowód wymaga, by rozważane były liczby nieujemne (pierwiastkowanie obu stron nierówności).

JK
ODPOWIEDZ