A372497 Positive integers of the form k^2 - 1 that are the product of two other positive integers of the form k^2 - 1.

24, 120, 360, 840, 960, 1680, 3024, 4224, 5040, 7920, 11880, 17160, 22800, 24024, 32760, 36480, 43680, 57120, 70224, 73440, 83520, 93024, 116280, 121800, 143640, 175560, 201600, 212520, 241080, 255024, 303600, 330624, 358800, 421200, 491400, 570024, 591360

Offset

1,1

Comments

This sequence is the sequence of possible c^2 - 1 values of all triples (a,b,c) of integers > 1 such that (a^2 - 1)*(b^2 - 1) = c^2 - 1.

Links

David A. Corneth, Table of n, a(n) for n = 1..19120 (first 408 terms from Ely Golden, terms <= 10^17)

David A. Corneth, PARI program

Example

120 is a term since 120 = 15*8 = (4^2 - 1)*(3^2 - 1) and 120 = 11^2 - 1.

Prog

(Python)
from math import isqrt
def is_perfect_square(n): return isqrt(abs(n))**2 == n
limit = 10**17
sequence_entries = set()
for a in range(2, isqrt(isqrt(limit))+1):
    u = a**2 - 1
    for b in range(a+1, isqrt(limit//u+1)+1):
        v = b**2 - 1
        if(is_perfect_square(u*v + 1)): sequence_entries.add(u*v)
sequence_entries = sorted(sequence_entries)
for i, j in enumerate(sequence_entries, 1):
    print(i, j)
(PARI) isok1(k) = issquare(k+1);
isok2(k) = fordiv(k, d, if (isok1(d) && isok1(k/d), return(1)));
isok(k) = isok1(k) && isok2(k); \\ Michel Marcus, May 04 2024

Crossrefs

Intersection of A005563 and A063066.

Sequence in context: A069074 A360389 A059775 * A052762 A217056 A099317

Adjacent sequences: A372494 A372495 A372496 * A372498 A372499 A372500

Keyword

nonn

Author

Ely Golden, May 03 2024

Status

approved