พิสูจน์ว่าจำนวนนี้หารด้วย 7 [ซ้ำกัน]
จะพิสูจน์ได้อย่างไรว่า 7 หารโดยไม่ใช้การเหนี่ยวนำ $3^{2n+1}+2^{n+2}$ แต่ละ $n\in\mathbb{N}$เหรอ? ฉันพยายามขยายโดยใช้ไฟล์$\frac{x^{n+1}-1}{x-1}=1+x+..+x^n$แต่ฉันไม่ประสบความสำเร็จ จะดีมากถ้ามีการพิสูจน์มากกว่าหนึ่งข้อ
คำตอบ
\ เริ่มต้น {eqnarray *} \ sum_ {n = 0} ^ {\ infty} (3 ^ {2n + 1} + 2 ^ {n + 2}) x ^ n = \ frac {3} {1-9x} + \ frac {4} {1-2x} = \ frac {\ color {red} {7} (1-6x)} {(1-9x) (1-2x)} \ end {eqnarray *} ฟังก์ชันนี้มีสัมประสิทธิ์จำนวนเต็มอย่างชัดเจน \ begin {eqnarray *} \ frac {(1-6x)} {(1-9x) (1-2x)} = (1-6x) \ left (1 + 9x + 81x ^ 2 + \ cdots \ right) \ left (1 + 2x + 4x ^ 2 + \ cdots \ right) \ จบ {eqnarray *}
คำแนะนำ: ลดความซับซ้อน $3^{2n+1}+2^{n+2}$ โมดูโล $7$โดยใช้ความจริงที่ว่า $3^{2n+1}=3\cdot 3^{2n}$ และ $3^2\equiv2\pmod7$.
$3^{2n + 1} + 2^{n+2} = 3\cdot 3^{2n} + 2^2\cdot 2^n = 3\cdot(9)^n + 4\cdot s2^n\equiv 3\cdot(2)^n + 4\times 2^n = 7\cdot 2^n\equiv 0\pmod 7$.
$3^{2n+1}+2^{n+2}=3\times9^n+4\times2^n=7\times2^n+3\times(9^n-2^n)$
$=7\times2^n+3\times(9-2)(9^{n-1}+\cdots+2^{n-1})=\color{red}7\times2^n+3\times\color{red}7(9^{n-1}+\cdots+2^{n-1})$