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 |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 \)
\( \large n^{4}-n^{2}\left |12 \rightarrow n^{4}-n^{2}\right |2 \land n^{4}-n^{2}\left | 6 \)
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.
🍪 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.