Intereting Posts

Reconstructing a functional from its Euler-Lagrange equations
The Maximum possible order for an element $S_n$
In how many ways can a teacher divide a group of seven students into two teams each containing at least one student?
Show that $x^4 + 8$ is irreducible over Z
Lebesgue integration calculation problem?
Rigorous definition of “Differential”
For non-negative $f$ such that $\int_1^\infty |f'(t)|dt < \infty$, $\sum f(k)$ and $\int_1^\infty f(t)dt$ converge or diverge together
What is infinity divided by infinity?
Are monomorphisms of rings injective?
Borel sigma algebra not containing all subsets of $\mathbb{R}$?
Parallelogram law valid in banach spaces?
How to solve : $\sum^{\infty}_{k=1} \frac{6^k}{(3^k-2^k)(3^{k+1}-2^{k+1})}$
Inverse Function Theroem in $R^1$
Is $\frac{1}{\exp(z)} – \frac{1}{\exp(\exp(z))} + \frac{1}{\exp(\exp(\exp(z)))} -\ldots$ entire?
Fast method to find the tangent line to a conic section: why does it work?

I have come across the following set of numbers: $\{1, 3, 8, 120\}$

These are positive integers where the product of any two of the numbers equal to a number that is one less than a square number. (e.g. $1 \times 3$ = $3$, which is $1$ less than $4$, $2^2$; and $3 \times 8$ = $24$, which is $1$ less than $25$, $5^2$)

Is it possible to add another number to the list so that the product of any two numbers in the set will still equal to one less than a perfect square?

- An elliptic curve for the multigrade $\sum^8 a_n^k = \sum^8 b_n^k$ for $k=1,2,3,4,5,9$?
- The equation $X^{n} + Y^{n} = Z^{n}$ , where $ n \geq 3$ is a natural number, has no solutions at all where $X,Y,Z$ are intergers.
- Sinha's Theorem for Equal Sums of Like Powers $x_1^7+x_2^7+x_3^7+\dots$
- Solve $x(x+1)=y(y+1)(y^2+2)$ for $x,y$ over the integers
- Why are there no positive rational solutions for the following Diophantine equation over the field of rational numbers?
- Why there isn't any solution in positive integers for $z^3 = 3(x^3 +y^3+2xyz)$?

I have tried to prime factorise the already existing numbers in the list, but that got me nowhere (at least for now.)

Adding 0 to the list works, but it is a really trivial answer and I was wondering if there are any more numbers that can be added to the list.

A proof would be nice, thanks.

- Showing $x^8\equiv 16 \pmod{p}$ is solvable for all primes $p$
- If every $0$ digit in the expansion of $\sqrt{2}$ in base $10$ is replaced with $1$, is the resulting sequence eventually periodic?
- Estimation of sums with number theory functions
- Correctness in Proof By Induction for a Collatz-ish function
- Riesel and Gohl's Approximation of the Modified Prime Counting Function, $\pi_{0}$
- Birational Equivalence of Diophantine Equations and Elliptic Curves
- Are fractions with prime numerator and denominator dense?
- Prove or disprove: if $x$ and $y$ are representable as the sum of three squares, then so is $xy$.
- The order of the number of integer pairs satisfying certain arithmetical function relationships
- Find all integers satisfying $m^2=n_1^2+n_1n_2+n_2^2$

In OEIS A192629 it is stated that four integers is the maximum, but you can add $\frac {777480}{8288641}$. You can multiply it by any number in the set, add one, and get a square rational number. No further extension is known

Andrej Dujella is the world expert on diophantine quintuples. Start reading here. The conjecture is that there aren’t any (not just that there’s no 5th number after 1, 3, 8, 120, but that there’s no set of 5 distinct positive integers with each product of two being one less than a square).

(*This is an old question, but updates were found for the rational case by Dujella et al in $2015$*.)

I. Sextuple

Given a ** quadruple** {$a,b,c,d$}, if they satisfy an additional constraint, then it can be extended to a rational

$$ab+1,\;ac+1,\;ad+1 = r_1^2,\; r_2^2,\; r_3^2\tag1$$

$$bc+1,\;bd+1,\;cd+1 = r_4^2,\; r_5^2,\; r_6^2\tag2$$

If also,

$$(abcd)^2-6abcd+2(a^2+b^2+c^2+d^2)-(a+b+c+d)^2-3=r_7^2\tag3$$

then one can find ** two more** rationals {$e,f$},

$$e=\frac{1}{a}\Big(\frac{(r_1 r_2 r_3+a\, r_4 r_5 r_6)^2}{(abcd-1)^2}-1\Big)$$

$$f=\frac{1}{a}\Big(\frac{(r_1 r_2 r_3-a\, r_4 r_5 r_6)^2}{(abcd-1)^2}-1\Big)$$

such that the product of any two members of the sextuple {$a,b,c,d,e,f$} plus one is a square.

II. Example

$$a,b,c,d = \frac{5}{4},\;\frac{5}{36},\;\frac{32}{9},\;\frac{189}{4}$$

Using the formulas, we get,

$$e,f = \frac{3213}{676},\;\frac{665}{1521}$$

III. Remarks

- The eq $(3)$ in fact has a parametric solution discussed in Dujella’s website,

$$a = \frac{18t(t^2-1)}{(t^2-6t+1)(t^2+6t+1)}$$

$$b = \frac{(t – 1)(t^2 + 6t + 1)^2}{6t(t + 1)(t^2 – 6t + 1)}$$

$$c = \frac{(t + 1)(t^2 – 6t + 1)^2}{6t(t – 1)(t^2 + 6t + 1)}$$

$$d = \frac{r_3^2-1}{a}$$

Using an *elliptic curve*, appropriate values of $r_3$ will make all of $(2)$ also as squares. This implies there is an infinite number of sextuples which contain fixed $a,b,c$.

- However, if $(a + b – c – d)^2 = 4(a b + 1)(c d + 1)$, then one of $e,f$ will be zero, hence will only yield a quintuple.

- when is rational function regular?
- Maximal subgroup and representations (principal part)
- Binomial-coefficients if, k, m, n natural numbers and k \leq n the result of
- How to prove consistency of Natural Deduction systems
- Can someone show me why mathematicians use $d\mu$ instead of $dx$ for Lebesgue Integral over $u(x)$
- In a group of 6 people either we have 3 mutual friends or 3 mutual enemies. In a room of n people?
- Prove that for every positive integer $n$, $1/1^2+1/2^2+1/3^2+\cdots+1/n^2\le2-1/n$
- Spectra of restrictions of bounded operators
- Does it hold? $\int_{0}^{\pi/2}\cos^{2k}xdx=\frac{(2k-1)!!}{2k!!}\frac{\pi}{2}$
- The product of two positive definite matrices has real and positive eigenvalues?
- What values of $0^0$ would be consistent with the Laws of Exponents?
- Show $\,1897\mid 2903^n – 803^n – 464^n + 261^n\,$ by induction
- How prove this $\sum_{k=1}^{2^{n-1}}\sigma{(2^n-2k+1)}\sigma{(2k-1)}=8^{n-1}$
- Typo: in the definition of inverse image $E$ should be replaced by $H$
- Boundedness and pointwise convergence imply weak convergence in $\ell^p$