T.Rex
- 62
- 0
Hi, I need some help about properties of Pell numbers:
[tex]U_n = 2 U_{n-1} + U_{n-2} , \text{ with: } U_0=0 \text{<br /> and: } U_1=1[/tex]
[tex]V_n = 2 V_{n-1} + V_{n-2} , \text{ with: } V_0=2 \text{<br /> and: } V_1=2[/tex]
I have a proof for:
[tex]\frac{V_{\displaystyle 2^{\scriptstyle n}}}{2}<br /> \ = \ 1 + 4 \prod_{i=0}^{n-2}V_{\displaystyle 2^{\scriptstyle<br /> i}}^{\scriptstyle 2} \ \equiv \ 1 \pmod{2^{\scriptstyle 2n}} \<br /> \text{\ \ \ \ (for } n \geq 2 )[/tex]
But I have no proof for C1:
[tex]\frac{V_{\displaystyle 2^{\scriptstyle n}+1}}{2}<br /> \ \equiv \ 1 \pmod{2^{\scriptstyle n+1}} \ \text{\ \ \ \ (for<br /> } n \geq 2 )[/tex]
and C2:
[tex]p,q \ \text{ odd primes }, \ \ p \mid V_{\displaystyle q} \ \ \Longrightarrow \ \ p \equiv 1 \pmod{2q}[/tex]
and C3:
[tex]p \ \text{ odd prime }, \ \ p \mid V_{\displaystyle 2^{\scriptstyle i}} \ \ \Longrightarrow \ \ p \equiv 1 \pmod{2^{\scriptstyle i+2}}[/tex]
and C4 (a guess):
[tex]p \ \text{ odd prime }, \ \ p \mid V_{\displaystyle 2^{\scriptstyle i}} \ <br /> \text{ and } \ p = 1 + {(2^{\scriptstyle i}\alpha)}^2 \ \ <br /> \Longrightarrow \ \ \alpha = \prod_{j=0}^{k} F_j \ \text{ or } \<br /> \alpha = 1[/tex].
Can you help ?
Thanks,
Tony
[tex]U_n = 2 U_{n-1} + U_{n-2} , \text{ with: } U_0=0 \text{<br /> and: } U_1=1[/tex]
[tex]V_n = 2 V_{n-1} + V_{n-2} , \text{ with: } V_0=2 \text{<br /> and: } V_1=2[/tex]
I have a proof for:
[tex]\frac{V_{\displaystyle 2^{\scriptstyle n}}}{2}<br /> \ = \ 1 + 4 \prod_{i=0}^{n-2}V_{\displaystyle 2^{\scriptstyle<br /> i}}^{\scriptstyle 2} \ \equiv \ 1 \pmod{2^{\scriptstyle 2n}} \<br /> \text{\ \ \ \ (for } n \geq 2 )[/tex]
But I have no proof for C1:
[tex]\frac{V_{\displaystyle 2^{\scriptstyle n}+1}}{2}<br /> \ \equiv \ 1 \pmod{2^{\scriptstyle n+1}} \ \text{\ \ \ \ (for<br /> } n \geq 2 )[/tex]
and C2:
[tex]p,q \ \text{ odd primes }, \ \ p \mid V_{\displaystyle q} \ \ \Longrightarrow \ \ p \equiv 1 \pmod{2q}[/tex]
and C3:
[tex]p \ \text{ odd prime }, \ \ p \mid V_{\displaystyle 2^{\scriptstyle i}} \ \ \Longrightarrow \ \ p \equiv 1 \pmod{2^{\scriptstyle i+2}}[/tex]
and C4 (a guess):
[tex]p \ \text{ odd prime }, \ \ p \mid V_{\displaystyle 2^{\scriptstyle i}} \ <br /> \text{ and } \ p = 1 + {(2^{\scriptstyle i}\alpha)}^2 \ \ <br /> \Longrightarrow \ \ \alpha = \prod_{j=0}^{k} F_j \ \text{ or } \<br /> \alpha = 1[/tex].
Can you help ?
Thanks,
Tony