Bylo dáno, že 2 ^ 32 + 1 je zcela dělitelné celým číslem. pak který z následujících nos. je zcela dělitelný tímto číslem? 1) 2 ^ 16 + 1 2) 7 * 2 ^ 33 3) 2 ^ 16 – 1 4) 2 ^ 96 +1


Nejlepší odpověď

Řekněte, 2 ^ 32 + 1 je dělitelné m.

Takže, 2 ^ 32 = -1 (mod m)

(2 ^ 32) ^ 3 = (- 1) ^ 3 ( mod m)

2 ^ 96 = -1 (mod m)

2 ^ 96 + 1 = 0 (mod m)

Takže správná odpověď je 2 ^ 96 + 1

Odpověď

Ne. Podívejte se například, co se stane, když x = 12. Získáte x ^ 2 = 144 = 24 \ cdot 6, ale x není dělitelné 24.

Mohl bych se zde zastavit, ale to by nebylo poučné , až na to, že se mýlíš. To není nijak zvlášť užitečné.

Nakonec mohu dokázat, že pokud k | x ^ 2 (přečtěte si to jako „k dělí x ^ 2), pak k | x pro mnoho k, včetně 21, 22, 23, 26, 29 a 30, ale ne pro 20, 24, 25, 27 nebo 28. Jaký je rozdíl? To je místo, kde jsou věci zajímavé a poučné.

Co víme o x? Podle základní věty aritmetiky víme, že x lze jednoznačně reprezentovat jako produkt prvočísel, x = 2 ^ {a\_2} 3 ^ {a\_3} 5 ^ {a\_5} \ cdots. Jakákoli (nebo všechna pro x = 1) z těchto hodnot a\_p může být 0 a ve skutečnosti je pouze konečný počet z nich nenulový.

To znamená, že x ^ 2 = 2 ^ { 2a\_2} 3 ^ {2a\_3} 5 ^ {2a\_5} \ cdots. Všichni exponenti jsou nyní sudí.

Co víme o k? Ze stejné věty víme, že k = 2 ^ {k\_2} 3 ^ {k\_3} 5 ^ {k\_5} \ cdots.

Jak to souvisí s dělitelností? Pokud k | x ^ 2, to znamená, že k\_2 \ leq 2a\_2, k\_3 \ leq 2a\_3, \ dots, k\_p \ leq 2a\_p, \ dots. Pokud však k | x, to znamená, že k\_2 \ leq a\_2, k\_3 \ leq a\_3, \ dots, k\_p \ leq a\_p.

Takže vše, co opravdu musíme udělat, abychom dokázali, zda x ^ 2 je dělitelné k, pak x je dělitelné k je ukázat, že pokud k\_p \ leq 2a\_p, pak k\_p \ leq a\_p. Protože k\_p, a\_p může být jakékoli nezáporné celé číslo, můžeme se podívat na jednodušší problém: za jakých podmínek máme b \ leq 2c implikující b \ leq c?

V podstatě se snažíme najít hodnoty b, kde výraz c \ leq 2c neplatí pro žádné c. Protože neexistuje c , pak b = 0 funguje. Pro b = 1 jsme nuceni mít c = 0 , a tak 1 \ not \ leq 2c = 0, takže b = 1 funguje.

Ale pro b> 1 to neplatí práce. Vždy si můžete vybrat c = b-1 b, a tak neplatí, že b \ leq 2c \ implikuje b \ leq c, když b> 1.

Vrátit to zpět k našemu problému, to znamená, že můžeme říci k | x ^ 2 \ znamená k | x pouze tehdy, když jsou exponenty prvočísel v k buď 0 nebo 1. Tyto hodnoty k se nazývají „bez čtverců“, protože je nemůžete rozdělit čtvercovým číslem.

Takže můžete ukázat k | x ^ 2 \ znamená k | x, pokud k je bez čtverce.

U čísel, která jsem sledoval výše, je 20 dělitelných čtvercem 4, 24 je dělitelné čtvercem 4, 25 je čtverce, 27 je dělitelné čtvercem 9 , 28 je dělitelné čtvercem 4. Ostatní čísla, 21, 22, 23, 26, 29, 30, jsou všechna bez čtverců, což můžete podle potřeby zkontrolovat.

Napsat komentář

Vaše e-mailová adresa nebude zveřejněna. Vyžadované informace jsou označeny *