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 \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)
\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.
🍪 Nastav si svoj plášť neviditeľnosti ⚡
Vitajte v čarovnom svete cookies! 🧙♂️ Používame ich, aby sme vám poskytli čo najlepší zážitok a pochopili, ako s našou aplikáciou kúzlite. Nebojte sa, tieto súbory cookie nie sú z Bertieho fazule 1000 krát inak - sú tu preto, aby všetko fungovalo čarovne a my sme mohli našu aplikáciu neustále zlepšovať. Vaše preferencie sú pre nás ako čarovný prútik - môžete ich kedykoľvek neskôr zmeniť. Stačí kliknúť na odkaz v pätičke s názvom "Upraviť súbory cookie 🍪" a vyčarovať nastavenia presne podľa svojich predstáv. Ak chcete vedieť viac o tom, ako spracovávame súbory cookie, nájdete to na tejto stránke.