Důkaz dělitelnosti
Dokaž následující tvrzení přímým důkazem:
\( ∀ n ∈ \mathbb{N} \) je \( \large n^{4}-n^{2} \) dělitelné 12
\( \large n^{4}-n^{2}\left |12 \rightarrow n^{4}-n^{2}\right |8 \land n^{4}-n^{2}\left | 9 \)
\( \large n^{4}-n^{2}\left |12 \rightarrow n^{4}-n^{2}\right |2 \land n^{4}-n^{2}\left | 6 \)
\( \large n^{4}-n^{2}\left |12 \rightarrow n^{4}-n^{2}\right |3 \land n^{4}-n^{2}\left | 4 \)
\( \large n^{4}-n^{2}\left |12 \rightarrow n^{4}-n^{2}\right |5 \land n^{4}-n^{2}\left | 7 \)
Při dokazování přímo budeš postupovat tak, že z výroku \( A \) vyvodíš \( A_1 \), z výroku \( A1 \) vyvodíš \( A_2 \), z výroku \( A2 \) vyvodíš \( A_3 \),… Takto budeš postupovat, dokud nevyvodíš výrok B, a v tu chvíli bude důkaz proveden. Tvým úkolem je dokázat pro všechna přirozená čísla, že rozdíl jejich čtvrtých a druhých mocnin je dělitelný 12. Jde o poměrně vysoké číslo na to, aby byl jednoduchou úpravou sestaven výraz, ze kterého by se číslo 12 vytknulo, čímž by se dokázala dělitelnost. Číslo 12 je součin čísel 3 · 4, takže když dokážeš, že rozdíl mocnin je dělitelný 3 a 4, budeš mít dělitelnost dokázánou i pro číslo 12.
🍪 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.