%I
%S 3,10,10,20,21,36,41,55,59,61,59,55,92,105,118,96,92,126,171,152,105,
%T 175,188,152,136,175,168,254,215,300,215,242,242,197,238,331,365,210,
%U 337,406,343,415,402,254,358,403,296,337,327,300,554,538,595,405
%N a(n) is the second smallest positive incongruent solutions of the congruence x^2 + (x+1)^2 == 0 (mod prime), where prime = A002144(n) (Pythagorean primes).
%C The companion sequence is A212353.
%C See the comments on A212353 for the proof of two incongruent solutions of this congruence for each prime A002144(n). One takes the smallest positive representatives in each case as A212353(n) and a(n), with A212353(n) < a(n).
%C All positive solutions of this congruence are provided by the two sequences with entries u(n,k) = A212353(n) + k*A002144(n) and v(n,k) = a(n) + k*A002144(n), n >= 1, k >= 0. For the cases p = 5, 13 and 17 see A047219, A212160 and A212161, respectively, where the evenindexed numbers are the u(n,k) and the oddindexed ones the v(n,k) (bisection).
%C r2(n) := 2*a(n) + 1 >= A002144(n) iff r(n) := 2*A212353(n) + 1 <= A002144(n) 2. r2(n)^2 == +1 (Modd A002144(n)) but only r(n) belongs to the relevant restricted residue class. See A206549. Note that floor(r2(n)^2/A002144(n)) is odd. The same holds for r2 replaced by r.
%F a(n) is the second smallest positive incongruent solution of the congruence x^2 + (x+1)^2 = 2*x^2 + 2*x + 1 == 0 (mod A002144(n)), where A002144 lists the primes 1 modulo 4.
%F a(n) = A002144(n)  1  A212353(n), n >= 1.
%e n=1: a(1)=3 because 3^2 + 4^2 = 25 == 0 (mod 5). The other solution is (51)  3 = 1 = A212353(1).
%e n=3: a(3)=10 because 10^2 + 11^2 = 221 = 13*17 == 0 (mod 17). (171)  10 = 6 = A212353(3).
%e n=14: a(14)=105 because p=A002144(14) = 113 = A027862(5), and 105^2 + 106^2 = 197*113 == 0 (mod 113). (1131)  105 = 7 = A212353(14).
%e The first pair of solutions [u(n)=A212353(n), v(n)=a(n)], n >= 1, are [1, 3], [2, 10], [6, 10], [8, 20], [15, 21], [4, 36], [11, 41], [5, 55], [13, 59], [27, 61], ...
%Y Cf. A212353, A206549.
%K nonn
%O 1,1
%A _Wolfdieter Lang_, May 10 2012
