login
The OEIS Foundation is supported by donations from users of the OEIS and by a grant from the Simons Foundation.

 

Logo


Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A271224 Digits of one of the two 3-adic integers sqrt(-2). Here the sequence with first digit 2. 10
2, 1, 0, 2, 2, 0, 2, 1, 2, 2, 2, 0, 1, 0, 2, 1, 2, 1, 1, 2, 0, 0, 2, 1, 1, 1, 0, 0, 0, 2, 2, 2, 0, 1, 2, 1, 0, 2, 0, 0, 2, 0, 2, 1, 0, 2, 1, 0, 0, 0, 1, 2, 0, 2, 1, 0, 2, 0, 2, 2, 1 (list; graph; refs; listen; history; text; internal format)
OFFSET

0,1

COMMENTS

This is the scaled first difference sequence of A271222. See the formula.

The digits of the other 3-adic integer sqrt(-2), are given in A271223. See also a comment on A268924 for the two 3-adic numbers sqrt(-2), called there u and -u.

a(n) is the unique solution of the linear congruence 2*A271222(n)*a(n) + A271226(n) == 0 (mod 3), n>=1. Therefore only the values 0, 1, and 2 appear. See the Nagell reference given in A268922, eq. (6) on p. 86, adapted to this case.

  a(0) = 2 follows from the formula given below.

For details see the Wolfdieter Lang link under A268992.

REFERENCES

Trygve Nagell, Introduction to Number Theory, Chelsea Publishing Company, New York, 1964, pp. 86 and 77-78.

LINKS

Seiichi Manyama, Table of n, a(n) for n = 0..10000

BCMATH Congruence Programs, Finding a p-adic square root of a quadratic residue (mod p), p an odd prime.

FORMULA

a(n) = (b(n+1) - b(n))/3^n, n >= 0, with b(n) = A271222(n), n >= 0.

a(n) = - A271226(n)*2*A271222(n) (mod 3), n >= 1. Solution of the linear congruence given above in a comment. See, e.g., Nagell, Theorem 38 pp. 77-78.

A271222(n+1) = sum(a(k)*3^k, k=0..n), n >= 0.

EXAMPLE

a(4) = 2 because 2*59*2 + 43 = 279 == 0 (mod 3).

a(4) = - 43*(2*59) (mod 3) = -1*(2*(-1)) (mod 3) = 2.

A271222(5) = 221  = 2*3^0 + 1*3^1 + 0*3^2 + 2*3^3 + 2*3^4.

PROG

(PARI) a(n) = truncate(-sqrt(-2+O(3^(n+1))))\3^n; \\ Michel Marcus, Apr 09 2016

CROSSREFS

Cf. A268924, A268992, A271222, A271226, A271223 (companion).

Sequence in context: A281461 A146973 A003263 * A157242 A281423 A256626

Adjacent sequences:  A271221 A271222 A271223 * A271225 A271226 A271227

KEYWORD

nonn,base,easy

AUTHOR

Wolfdieter Lang, Apr 05 2016

STATUS

approved

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recent
The OEIS Community | Maintained by The OEIS Foundation Inc.

License Agreements, Terms of Use, Privacy Policy. .

Last modified January 25 07:55 EST 2020. Contains 331241 sequences. (Running on oeis4.)