- #1

- 695

- 2

Given an extension [tex]Q(\sqrt{k})[/tex], let [tex]B(n)[/tex] denote the 'Binet formula',

[tex]B(n) = {{p^n - (1-p)^n} \over \sqrt k}[/tex],

where [tex]p = ({1 \over 2}, {1 \over 2})[/tex].*n*= 0, 1, 2, ...__Conj. 1__: [tex]B(n)[/tex] produces only integers, iif [tex]k \equiv 1 \ ("mod" \ 4)[/tex].

__Conj. 2__: When [tex]k \equiv 1 \ ("mod" \ 4)[/tex], [tex]B(n)[/tex] is the closed-form formula for the recurrence sequence

[tex]x_n = x_{n-1} + A \; x_{n-2}[/tex],

*n*= 2, 3, 4, ...[tex]x_0 = 0, \ \ x_1 = 1[/tex]

with [tex]A = {{k - 1} \over 4}[/tex].