Dokažte tvrzení sporem
Dokaž následující tvrzení sporem:
∀ x ∈ \mathbb{R} platí, že \large \Large \frac{x}{10}\large + 6x- 1,4 \lt \Large \frac{3}{5}\large + 6,1x
\large \Large \frac{x}{10}\large + 6x- 1,4 \leq \Large \frac{3}{5}\large + 6,1x\rightarrow -14 \leq 6 (tj. spor)
\large \Large \frac{x}{10}\large + 6x- 1,4 = \Large \frac{3}{5}\large + 6,1x\rightarrow -14 = 6 (tj. spor)
\large \Large \frac{x}{10}\large + 6x- 1,4 \gt \Large \frac{3}{5}\large + 6,1x\rightarrow -14 \gt 6 (tj. spor)
\large \Large \frac{x}{10}\large + 6x- 1,4 \geq \Large \frac{3}{5}\large + 6,1x\rightarrow -14 \geq 6 (tj. spor)
Připomeneš si, co vlastně znamená dokazování sporem. Nejdříve vytvoříš negaci původního výroku, u které dokážeš, že neplatí. Když dojdeš k závěru, že neplatí negace, tak poté původní tvrzení platí. Tvrzení \large \Large \frac{x}{10}\large + 6x- 1,4 \lt \Large \frac{3}{5}\large + 6,1x zneguješ a dokážeš, že negace, jež ti vznikne, neplatí. Změníš znaménko < na ≥ a vyřešíš nerovnici.
🍪 Ustaw pelerynę niewidzialności ⚡
Witamy w magicznym świecie ciasteczek! 🧙♂️ Używamy ich, aby zapewnić Ci najlepsze wrażenia i zrozumieć, w jaki sposób tworzysz magię za pomocą naszej aplikacji. Nie martw się, te pliki cookie nie pochodzą od Bertie's Beans 1000 Times Different - są tutaj, aby wszystko działało magicznie, abyśmy mogli stale ulepszać naszą aplikację. Twoje preferencje są dla nas jak magiczna różdżka - możesz je zmienić w dowolnym momencie. Wystarczy kliknąć link w stopce o nazwie "Edytuj pliki cookie 🍪" i wyczarować ustawienia dokładnie według własnych upodobań. Jeśli chcesz dowiedzieć się więcej o tym, jak przetwarzamy pliki cookie, możesz to znaleźć na tej stronie.