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 \geq \Large \frac{3}{5}\large + 6,1x\rightarrow -14 \geq 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 = \Large \frac{3}{5}\large + 6,1x\rightarrow -14 = 6 (tj. spor)
\large \Large \frac{x}{10}\large + 6x- 1,4 \leq \Large \frac{3}{5}\large + 6,1x\rightarrow -14 \leq 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.
🍪 Set your invisibility cloak ⚡
Welcome to the magical world of cookies! 🧙♂️ We use them to give you the best experience and to understand how you make magic with our app. Don't worry, these cookies aren't from Bertie's Beans 1000 Times Different - they're here to make everything work magically so we can keep improving our app. Your preferences are like a magic wand to us - you can change them anytime afterwards. Just click on the link in the footer called "Edit Cookies 🍪" and conjure up the settings exactly to your liking. If you want to know more about how we process cookies, you can find it on this page.