¿Cuál es el resto de [matemáticas] 17 ^ {53} [/ matemáticas] dividido por [matemáticas] 27 [/ matemáticas]?

Ocho. (8)

La afirmación: “Cuando x se divide por z, deja y como el resto”. Se representa en aritmética modular as- x = y (mod z)

Hay una propiedad de esta relación que es muy útil. Supongamos que x1 = y1 (mod z) y x2 = y2 (mod z), entonces- x1.x2 = y1.y2 (mod z)

Lo que hacemos es encontrar un in (17) ^ (2k) = un mod 27 por cada 2k menor o igual que r (= 53).

Por lo tanto, 17 ^ 2 = 19 (mod 27)
17 ^ 4 = 83521 = 10 (mod 27)
17 ^ 8 = 17 ^ 4.17 ^ 4 = 10 ^ 2 (mod 27) = 19 (mod 27) (¡Date cuenta de lo fácil que fue encontrar 17 ^ 8 mod 27 usando la propiedad mencionada anteriormente!)
Similar,
17 ^ 16 = 19 ^ 2 (mod 27) = 10 (mod 27)
17 ^ 32 = 10 ^ 2 (mod 27) = 19 (mod 27)

Ahora, tenga en cuenta que 53 = 2 ^ 5 + 2 ^ 4 + 2 ^ 2 + 1 = 32 + 16 + 4 +1.

Entonces, para encontrar 17 ^ 53 = un mod 27, escribimos un (mod 27) = 10 * 19 * 10 * 17 (mod 27). (De nuevo usando la propiedad)

17 ^ 53 = 17 ^ (16 + 32 + 4 + 1) = 17 ^ 16.17 ^ 32.17 ^ 4.17 ^ 1 = 19 * 17 * 10 * 10 (mod 27)

= 32300 (mod 27) = 8

Por la función totient de Euler – Wikipedia

[matemáticas] \ phi (27) = 27 \ izquierda (1- \ dfrac {1} {3} \ derecha) = 18 [/ matemáticas]

Por el teorema de Euler – Wikipedia

[matemáticas] a ^ {\ phi (27)} \ equiv 1 \ text {(mod 27)} [/ matemáticas]

[matemáticas] 17 ^ {18} \ equiv 1 \ text {(mod 27)} [/ matemáticas]

Cubicando ambos lados,

[matemáticas] 17 ^ {54} \ equiv 1 \ text {(mod 27)} [/ matemáticas]

[matemáticas] 17 ^ {54} \ equiv 1 \ equiv 28 \ equiv 55 \ equiv 82 \ equiv 109 \ equiv 136 \ text {(mod 27)} [/ matemáticas]

[matemáticas] 17 ^ {54} \ equiv 136 \ text {(mod 27)} [/ matemáticas]

Hicimos esto porque [matemáticas] 136 [/ matemáticas] es divisible por [matemáticas] 17 [/ matemáticas]

Por lo tanto, dividiendo ambos lados entre [matemáticas] 17 [/ matemáticas]

[matemáticas] 17 ^ {53} \ equiv 8 \ text {(mod 27)} [/ matemáticas]

Voila!

El teorema de Euler establece que si [math] \ gcd (a, m) = 1 [/ math], entonces

[matemáticas] a ^ {\ phi (m)} \ equiv 1 \ pmod {m} [/ matemáticas].

Dado que [math] \ gcd (17,27) = 1 [/ math], [math] \ phi (27) = 18 [/ math] y [math] 8 \ cdot 17 \ equiv 1 \ pmod {27} [ /matemáticas],

[matemáticas] 17 ^ {53} \ equiv \ big (8 \ cdot 17 \ big) \ cdot 17 ^ {53} [/ math]

[matemáticas] = 8 \ cdot \ big (17 ^ {18} \ big) ^ 3 [/ matemáticas]

[matemáticas] \ equiv 8 \ pmod {27} [/ matemáticas].

El resto es [matemáticas] 8 [/ matemáticas]. [matemáticas] \ blacksquare [/ matemáticas]

φ27 = 27 (2/3) = 18

17 ^ 18 = 1mod27

17 ^ 54≡1 mod27

método ①:

17 ^ 54 = 1mod27≡28≡55≡82≡109≡136↙mod27 【↙STOP en el PRIMER múltiplo de 17】

(17) ^ 53≡8mod27 ■

método ② viene

17 ^ 54≡1mod27

17 × 17 ^ 53≡1mod27

Multiplicar por 8 →

【¿Por qué 8? → 17 ×? ≡1er múltiplo 27↙, 8 es el primero?】

(17 × 8) × (17 ^ 53) mod8mod27 【34,51,68,85,102,119,136↙】

(5 × 27 + 1) (17 ^ 53) mod8mod 27

{1mod 27} {17 ^ 53} ≡8 mod27

17 ^ 53≡ 8mod 27

Eulsr de 27 = 18
Entonces euler dice
17 ^ 18/27 = 1 resto
17 ^ 36/27 = 1
.
Del mismo modo 17 ^ 54/27 = 1
17 ^ 53 * 17/27 = 1
R * 17 = 27k + 1
R = 27k + 1/17
Sea K cualquier número que divida perfectamente la ecuación.
R = 27 (5) +1/17
R = 8 resto