Tuesday, 14 June 2016

algebra precalculus - Why is (2+sqrt3)n+(2sqrt3)n an integer?



Answers to limit lim start by saying that (2+\sqrt{3})^n+(2-\sqrt{3})^n is an integer, but how can one see that is true?



Update: I was hoping there is something more than binomial formula for cases like (a+\sqrt[m]{b})^n+(a-\sqrt[m]{b})^n to be an integer


Answer



As an alternative to applying the binomial theorem (that is a fine way), the sequence given by
a_n=(2+\sqrt{3})^n+(2-\sqrt{3})^n \tag{1}

fulfills
a_0=2,\qquad a_1=4,\qquad a_{n+2}=4a_{n+1}-a_n \tag{2}
hence a_n\in\mathbb{Z} is trivial by induction.
In general, if \eta,\xi are roots of a monic second-degree polynomial with integer coefficients,
\eta^{n+2}+\xi^{n+2} = (\eta+\xi)(\eta^{n+1}+\xi^{n+1})-(\eta\xi)(\eta^n+\xi^n) \tag{3}
proves just the same, since (\eta+\xi)\in\mathbb{Z} and \eta\xi\in\mathbb{Z} are consequences of Viète's formulas.


No comments:

Post a Comment

real analysis - How to find lim_{hrightarrow 0}frac{sin(ha)}{h}

How to find \lim_{h\rightarrow 0}\frac{\sin(ha)}{h} without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...