-1

I found this in some notes from a course in number theory. How do i work to solve this?

Jyrki Lahtonen
  • 133,153

2 Answers2

4

$$x^{2^l}-1=(x^{2^{l-1}}+1)(x^{2^{l-1}}-1)$$ Continue to expand the right hand factor until you get $$x^{2^l}-1=(x-1)\prod_{k=0}^{l-1} \left(x^{2^k}+1\right)$$ Which is obviously divisible by $x^{2^k}+1$ for all $0\le k\lt l$.

Peter Foreman
  • 19,947
1

$\bmod\, x^{\large 2^{\Large K}}\!\!+1\!:\ \ \color{#c00}{x^{\large 2^{\Large K}}\!\!\equiv -1}\,\Rightarrow\, x^{\large 2^{\Large K+N}}\!\!\equiv (\color{#c00}{x^{\large 2^{\Large K}}})^{\large 2^{\Large N}}\!\!\equiv (\color{#c00}{-1})^{\large 2^{\Large N}}\!\!\equiv 1\ $ $\!\!\overbrace{{\rm when} \ \ N> 0}^{\large K\, <\, K+N\, =:\, L_{\phantom{I_I}}}$


Remark $ $ It's a special case of $\ x^{\large K}\!+1\mid x^{\large 2K}\!-1\mid x^{\large 2KN}\!-1,\,$ also provable by mod

$\bmod\, x^{\large K}\!+1\!:\ \ \color{#c00}{x^{\large K} \!\!\equiv -1}\,\Rightarrow\, x^{\large 2KN} \!\equiv (\color{#c00}{x^{\large K}})^{\large 2N}\!\equiv (\color{#c00}{-1})^{\large 2N}\!\equiv 1\ $

Bill Dubuque
  • 272,048
  • 1
    If you learn to reason by $!\bmod$ as above then you don't have to remember motley divisibility formulas - they occur very naturally as special cases of general results (e.g. abobe that $,(-1)^{2N} = 1)\ \ $ – Bill Dubuque Apr 17 '19 at 17:40