A260929 Least positive integer k < prime(n) such that k + k' is a triangular number, where k' is the unique integer among 1,...,prime(n)-1 with k*k' == 1 (mod prime(n)), or 0 if no such k exists.

0, 0, 0, 2, 7, 0, 0, 18, 4, 16, 11, 2, 12, 4, 35, 3, 8, 20, 2, 29, 7, 5, 5, 6, 7, 7, 7, 9, 10, 12, 2, 6, 7, 13, 13, 2, 10, 4, 64, 30, 6, 61, 12, 18, 31, 3, 13, 8, 52, 11, 6, 13, 36, 26, 10, 3, 52, 25, 57, 26, 37, 6, 14, 48, 16, 42, 25, 2, 4, 10

Offset

1,4

Comments

Conjecture: a(n) > 0 for all n > 7. In other words, for any prime p > 17 there are two integers k and k' among 1,...,p-1 with k*k' == 1 (mod p) such that k + k' is a triangular number.

See also A260928 for a similar conjecture involving squares.

Links

Zhi-Wei Sun, Table of n, a(n) for n = 1..10000

Example

 a(5) = 7 since 7*8 is congruent to 1 modulo prime(5)=11, and 7 + 8 = 5*6/2 is a triangular number.
a(8) = 18 since 18*18 is congruent to 1 modulo prime(8)=19, and 18 + 18 = 8*9/2 is a triangular number.

Mathematica

TQ[n_]:=IntegerQ[Sqrt[8n+1]]
Do[Do[If[TQ[k+PowerMod[k, -1, Prime[n]]], Print[n, " ", k]; Goto[aa]]; Continue, {k, 1, Prime[n]-1}];
Print[n, " ", 0]; Label[aa]; Continue, {n, 1, 70}]

Crossrefs

Cf. A000040, A000217, A260928.

Sequence in context: A020819 A111953 A356470 * A290789 A199292 A152779

Adjacent sequences: A260926 A260927 A260928 * A260930 A260931 A260932

Keyword

nonn

Author

Zhi-Wei Sun, Aug 04 2015

Status

approved