Podano, że 2 ^ 32 + 1 jest całkowicie podzielne przez całkowite nie. następnie który z poniższych nr. jest całkowicie podzielna przez to nie.? 1) 2 ^ 16 + 1 2) 7 * 2 ^ 33 3) 2 ^ 16 – 1 4) 2 ^ 96 +1


Najlepsza odpowiedź

Powiedz, 2 ^ 32 + 1 jest podzielne przez m.

Zatem 2 ^ 32 = -1 (mod m)

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

2 ^ 96 = -1 (mod m)

2 ^ 96 + 1 = 0 (mod m)

A więc prawidłowa odpowiedź to 2 ^ 96 + 1

Odpowiedź

Nie. Na przykład spójrz, co się stanie, gdy x = 12. Otrzymasz x ^ 2 = 144 = 24 \ cdot 6, ale x nie jest podzielne przez 24.

Mógłbym na tym poprzestać, ale to nie byłoby pouczające z wyjątkiem stwierdzenia, że ​​się mylisz. Nie jest to szczególnie pomocne.

W końcu mogę to udowodnić, jeśli k | x ^ 2 (czytaj jako „k dzieli x ^ 2), a następnie k | x dla wielu k, w tym 21, 22, 23, 26, 29 i 30, ale nie dla 20, 24, 25, 27 lub 28. Jaka jest różnica? W tym miejscu sprawy stają się interesujące i pouczające.

Co wiemy o x? Wiemy, zgodnie z Fundamentalnym twierdzeniem arytmetyki, że x można jednoznacznie przedstawić jako iloczyn liczb pierwszych, x = 2 ^ {a\_2} 3 ^ {a\_3} 5 ^ {a\_5} \ cdots. Każda (lub wszystkie, dla x = 1) z tych wartości a\_p mogą wynosić 0, aw rzeczywistości tylko skończona ich liczba jest różna od zera.

Oznacza to, że x ^ 2 = 2 ^ { 2a\_2} 3 ^ {2a\_3} 5 ^ {2a\_5} \ cdots. Wszystkie wykładniki są teraz parzyste.

Co wiemy o k? Z tego samego twierdzenia wiemy, że k = 2 ^ {k\_2} 3 ^ {k\_3} 5 ^ {k\_5} \ cdots.

Jak to się ma do podzielności? Jeśli k | x ^ 2, czyli k\_2 \ leq 2a\_2, k\_3 \ leq 2a\_3, \ dots, k\_p \ leq 2a\_p, \ dots. Jeśli jednak k | x, to znaczy, że k\_2 \ leq a\_2, k\_3 \ leq a\_3, \ dots, k\_p \ leq a\_p.

Więc wszystko, co naprawdę musimy zrobić, aby udowodnić, że x ^ 2 jest podzielne przez k, a następnie x jest podzielne przez k pokazuje, że jeśli k\_p \ leq 2a\_p, to k\_p \ leq a\_p. Ponieważ k\_p, a\_p może być dowolną nieujemną liczbą całkowitą, możemy spojrzeć na prostszy problem: w jakich warunkach mamy b \ leq 2c implikujące b \ leq c?

Zasadniczo próbujemy znaleźć wartości z b, gdzie wyrażenie c \ leq 2c nie zachowuje się dla żadnego c. Ponieważ nie ma c , to b = 0 działa. Dla b = 1, jesteśmy zmuszeni mieć c = 0 , a więc 1 \ not \ leq 2c = 0, więc b = 1 działa.

Ale dla b> 1 nie praca. Zawsze możesz wybrać c = b-1 b, a zatem nie jest tak, że b \ leq 2c \ implikuje b \ leq c gdy b> 1.

Wracając do naszego problemu, oznacza to, że możemy powiedzieć k | x ^ 2 \ implikuje k | x tylko wtedy, gdy wykładniki liczb pierwszych w k wynoszą 0 lub 1. Te wartości k nazywane są „bez kwadratów”, ponieważ nie można ich podzielić przez liczbę kwadratową.

Więc możesz pokazać k | x ^ 2 \ implikuje k | x jeśli k jest wolne od kwadratu.

Dla liczb, które sprawdziłem powyżej, 20 jest podzielne przez kwadrat 4, 24 jest podzielne przez kwadrat 4, 25 to kwadrat, 27 jest podzielne przez kwadrat 9 , 28 jest podzielne przez kwadrat 4. Pozostałe liczby, 21, 22, 23, 26, 29, 30 są bez kwadratów, co możesz sprawdzić, jeśli chcesz.

Dodaj komentarz

Twój adres email nie zostanie opublikowany. Pola, których wypełnienie jest wymagane, są oznaczone symbolem *