Legendre diophantine equations take the form:

$n_1 d_1^2 + n_2 d_2^2 = n_3 d_3^2$

Where $n_1$,$n_2$,$n_3$ are known integers and $d_1$,$d_2$,$d_3$ are unknown integers.

The smallest solution will be found within a relatively small search space if it exists.

My question is with linked equations of the form:

$n_1 d_1^2 + n_2 d_2^2 = n_3 d_3^2$

and

$n_1\cdot d_1^2\ +\ 2\cdot n_2\cdot d_2^2\ =\ n_4\cdot d_4^2$

Where $n_1$,$n_2$,$n_3$,$n_4$ are known and $d_1$,$d_2$,$d_3$,$d_4$ are not.

It is trivial to find independent solutions where $n_1$ and $n_2$ in the two equations are possibly different, so that can be a starting point.

This maps into the congruent number problem so a solution here solves congruent number problem.

As such a generalized proof that all non solutions will look like this is also valuable.

These two equations can be used to solve the congruent number problem.

$t=n_1 d_1^2/ (n_2 d_2^2)$

$x=2+t$

$y=2+2/t$

$z=2+t+2/t$

$N=n_1*n_2*n_3*n_4$

EDIT So Just to further clarify...Based on the known conditions on legendre equations and the 4 simultaneous legendre equations (2 shown and 2 obvious from shown) that must be satisfied for a N to be a congruent number solution, there must be 12 conditions met. https://en.wikipedia.org/wiki/Legendre%27s_equation

The equations I provided require of a congruent number the following:

There are multiple ways to express $N=n_1*n_2*n_3*n_4$ but in order to be congruent one of those ways must support ALL of the following:

-$n_1*n_4$ is a quadratic residue mod $2*n_3$

-$2*n_1*n_3$ is a quadratic residue mod $n_4$

-$2*n_3*n_4$ is a quadratic residue mod $n_1$

-$n_1*n_2$ is a quadratic residue mod $n_3$

-$n_1*n_3$ is a quadratic residue mod $n_2$

-$n_2*n_3$ is a quadratic residue mod $n_1$

-$n_2*n_3$ is a quadratic residue mod $n_4$

-$n_3*n_4$ is a quadratic residue mod $n_2$

-$n_2*n_4$ is a quadratic residue mod $n_3$

-$2*n_1*n_2$ is a quadratic residue mod $n_4$

-$n_1*n_4$ is a quadratic residue mod $2*n_2$

-$2*n_2*n_4$ is a quadratic residue mod $n_1$