SOME DIOPHANTINE TRIPLES AND QUADRUPLES FOR QUADRATIC POLYNOMIALS
|
|
- Godwin Miller
- 5 years ago
- Views:
Transcription
1 SOME DIOPHANTINE TRIPLES AND QUADRUPLES FOR QUADRATIC POLYNOMIALS ANDREJ DUJELLA AND ANA JURASIĆ Abstract. In this paper we give some new examples of polynomial D(n)- triples and quadruples i.e. sets of polynomials with integer coefficients such that the product of any two of them plus a polynomial n Z[X] is a square of a polynomial with integer coefficients. The examples illustrate various theoretical properties and constructions for a quadratic polynomial n which appeared in recent papers. One of the examples gives a partial answer to the question about number of distinct D(n)-quadruples if n is an integer that is the product of twin primes. 000 Mathematics Subject Classification: 11C08 11D99. Keywords: Diophantine m-tuples polynomials. 1. Introduction Let n be a nonzero integer. A set {a 1 a... a m } of m distinct positive integers is called a Diophantine m-tuple with the property D(n) or simply D(n)-m-tuple if a i a j + n is a perfect square for all 1 i < j m. An improper D(n)-m-tuple is an m-tuple with the same property but with relaxed condition that the elements a i can be integers and need not be distinct. Diophantus found the quadruple { } with the property D(56). The first Diophantine quadruple with the property D(1) the set {1 8 10} was found by Fermat (see [4]). Diophantine triples and quadruples with the property D(n) can be classified as regular or irregular depending on whether they satisfy the conditions given in next two definitions. Let {a b c} be a D(n)-triple and (1) where r s t are positive integers. ab + n = r ac + n = s bc + n = t Definition 1. A D(n)-triple {a b c} is called regular if it satisfies the condition () (c b a) = 4(ab + n). Equation () is symmetric under permutations of a b c. Also from () using (1) we get c ± = a + b ± r and we have ac ± + n = (a ± r) bc ± + n = (b ± r). Definition. A D(n)-quadruple {a b c d} is called regular if it satisfies the condition () n(d + c a b) = 4(ab + n)(cd + n). 1
2 ANDREJ DUJELLA AND ANA JURASIĆ Equation () is symmetric under permutations of a b c d. Since the right hand side of () is a square it follows that a regular D(n)-quadruple can exist only if n is a square whereas regular D(n)-triples exist for all n. When n is a square the quadruple formed by adding a zero to a regular triple is an improper regular quadruple. Equation () is a quadratic equation in d with roots and we have d ± = a + b + c + (abc ± rst) n ad ± + n = 1 n (rs ± at) bd ± + n = 1 n (rt ± bs) cd ± + n = 1 n (st ± cr). An irregular D(n)-tuple is one that is not regular. A semi-regular D(n)-quadruple is one which contains a regular triple and a twice semi-regular D(n)-quadruple is one that contains two regular triples. For n = 1 we have the following conjecture (see [10]). Conjecture 1. If {a b c d} is a D(1)-quadruple and d > max{a b c} then d = d +. It is clear that Conjecture 1 implies that there does not exist a D(1)-quintuple. Baker and Davenport [1] proved Conjecture 1 for the triple {a b c} = {1 8} with the unique extension d = 10. Dujella and Pethő [16] proved it for all triples of the form {1 c}. Conjecture 1 was recently verified for all triples of the form {k 1 k +1 c} (see [7 18 ]). Dujella [10] proved that there are only finitely many D(1)-quintuples and there does not exist a D(1)-sextuple. Fujita [19] proved that any D(1)-quintuple contains a regular Diophantine quadruple i.e. if {a b c d e} is a D(1)-quintuple and a < b < c < d < e then d = d +. Polynomial variant of the above problem was first studied by Jones [ ] and it was for the case n = 1. Definition. Let n Z[X] and let {a 1 a... a m } be a set of m different nonzero polynomials with integer coefficients. We assume that there does not exist a polynomial p Z[X] such that a1 p... am p and n p are integers. The set {a 1 a... a m } is called a polynomial D(n)-m-tuple if for all 1 i < j m the following holds: a i a j + n = b ij where b ij Z[X]. The assumption concerning the polynomial p means that not all elements of {a 1 a... a m } are allowed to be constant. Since the constructions from Definitions 1 and are obtained using only algebraic manipulations they are also valid in the polynomial case. Dujella and Fuchs [11] proved that all polynomial D(1)-quadruples in Z[X] are regular. Note that this is not true in C[X] as Dujella and Jurasić showed in [15] by giving the following example { (X 1) + X + + X + } of a D(1)-quadruple in Q( )[X] which is not regular. In [15] it is shown that there does not exist a Diophantine 8-tuple in C[X] (see also [1]). For polynomial D(n)-m-tuples with n constant from [15 Theorem 1] it follows that m 7 for all n Z\{0}. Dujella and Fuchs jointly with Tichy [1] and later
3 SOME DIOPHANTINE TRIPLES AND QUADRUPLES FOR QUADRATIC POLYNOMIALS with Walsh [14] considered the case n = µ 1 X + µ 0 with integers µ 1 0 and µ 0. Let L = sup{ S : S is a polynomial D(µ 1 X +µ 0 )-m-tuple for some µ 1 0 µ 0 Z} where S denotes the number of elements in the set S and let L k be the number of polynomials of degree k in a polynomial D(µ 1 X + µ 0 )-m-tuple S. The results from [14] are sharp bounds L 0 1 L 1 4 L k for all k and finally L 1. Jurasić [4] considered the case where n is a quadratic polynomial in Z[X]. Let Q = sup{ S : S is a polynomial D(µ X + µ 1 X + µ 0 )-m-tuple for some µ 0 µ 1 µ 0 Z} and let Q k be the number of polynomials of degree k in a polynomial D(µ X + µ 1 X + µ 0 )-m-tuple S. In [4] it was proved that Q 98 and that if a polynomial D(n)-m-tuple for a quadratic n contains only polynomials of odd degree then m 18. Moreover Q 0 Q 1 4 Q 81 Q 5 Q 4 6 and Q k for k 5. The bounds for Q 0 Q 1 and Q k for all k 5 are sharp. In Section we give some examples of a polynomial D(n)-triples and quadruples where n is a quadratic polynomial. These examples show that several auxiliary results from [4] are sharp i.e. in the cases when the existence of Diophantine triples with certain properties cannot be excluded such triples indeed exist. In Section we study D(n)-quadruples if n is an integer that is the product of twin primes and we construct a polynomial Diophantine quadruple for the quadratic polynomial corresponding to that case. In Section 4 we give polynomial examples for all cases of Gibbs construction of adjugates of a D(n)-quadruples. In some of them we use quadruples constructed in Sections and.. Diophantine triples with elements of the same degree Although the final bound from [4 Theorem 1] Q 98 is likely very far from being optimal the bounds from [4] for polynomials of fixed degree i.e. bounds for Q k are sharp or almost sharp except for k =. In particular they are sharp for k = 0 k = 1 and k 5 in view of the following examples given in [4]: the set { 5} is a polynomial D(9X + 4X + 1)-pair the set {X X + 8 X + 5X + 0} is a polynomial D( (X + 9)(X 1))-quadruple the set {X l 1 + X X l 1 + X l + X 4X l 1 + 4X l + 5X} is a polynomial D( X )-triple for any integer l and the set {X l + X l X l + X l + 4X 4X l + 4X l + 8X} is a polynomial D(4X )-triple for any integer l 1. However even in the cases k = 4 several auxiliary results from [4] are (almost) sharp as it will be illustrated by concrete examples in this section. The main role in the proofs of the upper bounds on Q k k has [1 Lemma 1]. It says that for a polynomial D(n)-triple {a b c} for which (1) holds there exist polynomials e u v w Z[X] such that ae + n = u be + n = v ce + n = w. More precisely (4) e = n(a + b + c) + abc rst
4 4 ANDREJ DUJELLA AND ANA JURASIĆ u = at rs v = bs rt w = cr st and (5) We define (6) and we easily get (7) Moreover we have (see [4]) (8) (9) (10) c = a + b + e n + (abe + ruv). n e = n(a + b + c) + abc + rst e e = n (c a b r)(c a b + r). e = n(a + b c) + rw e = n(a b + c) + sv e = n( a + b + c) + tu. Let Z + [X] denote the set of all polynomials with integer coefficients with positive leading coefficient. For a b Z[X] a < b means that b a Z + [X]. The polynomial e had an important role in getting upper bounds for Q k k and also in classifying various types of Diophantine triples with the same degree. In [4] all possibilities for e for a given quadratic polynomial n were investigated. Here we are interested to find examples of D(n)-triples which illustrate these possibilities. Trivial case is e = 0 for which we have a regular triple {a b a + b + r}. Let {a b c} where a < b < c be a polynomial D(n)-triple containing only quadratic polynomials and let e Z[X] be defined by (4). We are looking at extensions of {a b} to a polynomial D(n)-triple {a b c} with c > b and then at the corresponding e Z[X] defined by (4). We have (see [4 Lemmas 4-8]): A) If n and e have a common linear factor but n e (we consider divisibility over Q[X]) then n = n 1 n where n 1 n are linear polynomials over Q such that n 1 n. For fixed a and b there exist at most two such e-s. B) If n e then n = λn 1 where λ Q\{0} and n 1 is a linear polynomial over Q. For fixed a and b there is at most one such e. C) If e Z \ {0} then for fixed a and b there is at most one such e. D) If e is a linear polynomial which does not divide n then for fixed a and b there is at most one such e. E) Let e be a quadratic polynomial which does not have a common nonconstant factor with n. Then there is at most one polynomial c c such that {a b c } a < b < c is a polynomial D(n)-triple and f Z[X] obtained by applying (4) on that triple (f = n(a + b + c ) + abc rs t where ac + n = s bc + n = t ) is a quadratic polynomial which does not have a common nonconstant factor with n or the analogous statement holds for {a b c} a < b < c b b or for {a b c} a < b < c a a (see [4 Lemma 8] for details). In [4 Lemmas 9-11] the following results were proved for the sets of polynomials of degree k. Let {a b c} a < b < c be a polynomial D(n)-triple of polynomials of degree k then beside e = 0 we have the following possibilities. If k = : A) For fixed a and b there is at most one e Z\{0} defined by (4). B) Let e Z[X] be a linear polynomial defined by (4). Then e n. For fixed a and b there exist at most two such e-s. For k = 4 we have:
5 SOME DIOPHANTINE TRIPLES AND QUADRUPLES FOR QUADRATIC POLYNOMIALS 5 A4) Let e Z\{0} be defined by (4). Then for fixed a and b there exist at most three such e-s. For k 5 we have only trivial situation e = 0 (see [4 Proposition 4.)]). The proofs of [4 Lemmas 4-8] give us methods for a construction of the examples for the cases where k =. The first polynomial D(n)-triple is an example for the case A) obtained using [4 Lemma 5]. Let n = n 1 n and e = e 1 e where n i e i for i = 1 are linear polynomials over Q. In the proof of [4 Lemma 4] we have a = A (X ϕ 1 )(X ϕ ) where A N and ϕ 1 ϕ Q. Analogously b = B (X χ 1 )(X χ ) c = C (X λ 1 )(X λ ) where B C N and χ i λ i Q for i = 1. From [1 Lemma 1] we obtain bν + n = v1 where v = n 1 v 1 and cν + n = w1 where w = n 1 w 1 and v 1 w 1 Q[X] deg(v 1 ) deg(w 1 ) 1 ν Q\{0}. Assume that at least one of the polynomials u 1 v 1 and w 1 has a degree equal to 0. Since deg(e) = deg(n) = deg(r) = if deg(w) = 1 then by (8) deg(a + b c) = 1. Hence A + B = C. Analogously if deg(v) = 1 then by (9) we obtain C = A + B < B a contradiction. Also if deg(u) = 1 then by (10) we get C = A B < A a contradiction. Therefore only w 1 can have a degree equal to 0. From [4 Lemma 4] we have n = ε ε 1 X + ε 1ϕ 1 ε ϕ u 1 = ε 1 + ε X ε 1ϕ 1 + ε ϕ where A ν = ε 1 ε and ε 1 ε Q\{0}. Analogously for b and c we get n = τ τ 1 X + τ1χ1 τχ v 1 = τ1+τ X τ1χ1+τχ and n = ψ ψ1 X + ψ1λ1 ψλ w 1 = ψ1+ψ X ψ1λ1+ψλ where B ν = τ 1 τ C ν = ψ 1 ψ and τ i ψ i Q\{0} for i = 1. We conclude that ε ε 1 = τ τ 1 = ψ ψ 1 := η and ψ 1 + ψ = 0. Hence ψ 1 = η ψ = η so C ν = η 4. Note that ν = Q for some Q Q\{0}. Multiplying A +B = C by ν we get ε 1 (ε 1 +η)+τ 1 (τ 1 +η) = η 4 from which we obtain ε 1 = η ±BQ and τ 1 = η ±AQ. If we choose for example A = B = 4 Q = 1 η = 10 ϕ = 0 χ 1 = 1 χ = using the equations ε 1 ϕ 1 ε ϕ = τ 1 χ 1 τ χ ab + n = r and (5) we obtain a polynomial D(6(5X 6)(9X 54))-triple {9X(X 1) 16(X 1)(X ) (5X + 14)(5X 6)}. Here e = 196(9X 54). Similarly we find the example for the case B) described in [4 Lemma 4]. From (7) it follows that n ē and from (4) and (6) we get ē e = 4rst so n rst. Therefore by (4) n abc. Since in this case n = λn 1 where λ Q\{0} and n 1 is a linear polynomial over Q we may assume that n 1 a. Now from [1 Lemma 1] we get that n 1 u 1 where u 1 Q[X] and u = n 1 u 1. Hence n 1 u 1 so n 1 a. For A = B = 4 Q = 1 η = 10 ϕ 1 = ϕ = 0 χ = 1 analogously as in the previous case we obtain a polynomial D(900X )-triple {9X 16(X + 4)(X 1) 5(X )(X + )}. Here e = 400X. This triple can be extended to a regular D(n)-quadruple {9X 16(X + 4)(X 1) 5(X )(X + ) d}
6 6 ANDREJ DUJELLA AND ANA JURASIĆ in two ways. From () we obtain d = 6 and d = 4(X +1)(X )(X +)(X +1). For the case C) we follow the strategy from the proof of [4 Lemma 6]. Let a = A (X + α 1 X + α 0 ) b = B (X + β 1 X + β 0 ) and c = C (X + γ 1 X + γ 0 ) where α i β i γ i Q for i = 0 1. By [1 Lemma 1] there exist u v w Z[X] such that ae + n = u be + n = v and ce + n = w. Here we have deg(u) = deg(v) = deg(w) = and the leading coefficients of the polynomials u v w are equal to the leading coefficient of n up to a sign. Denote by µ ϑ ν ω the leading coefficients of n u v w respectively. By (8) ω = µ by (10) ϑ = µ and by (9) ν = µ. From ae + n = u it follows that (11) u + n = ε 1 u n = ε (X + α 1 X + α 0 ) where ε 1 ε = A e and ε 1 ε Q\{0}. From (11) we obtain n = ε X + ε α 1 X + ε α 0 ε 1 u = ε X + ε α 1 X + ε α 0 + ε 1. For b and c we have equations analogous to (11). Let B e = τ 1 τ and C e = ψ 1 ψ where τ i ψ i Q\{0} for i = 1. It follows that n = τ X + τ β 1 X + τ β 0 τ 1 v = τ X + τ β 1 X + τ β 0 +τ 1 and n = ψ X + ψ γ 1 X + ψ γ 0 ψ 1 w = ψ X + ψ γ 1 X + ψ γ 0 +ψ 1. From the expressions for n we conclude that ε = τ = ψ and α 1 = β 1 = γ 1. Using this and the fact that the discriminants of the polynomials ae+n be+n and ce+n must be equal to 0 we obtain a system of equations with infinitely many solutions. One of that solutions is A = B = 4 e = (α 0 β 0 ) ε = ε 1 = α 0 + β 0 γ = 8β 0 5α 0. The equations (1) are satisfied for a = 4X b = 16X c = 6X 1 n = 4X + 1. Hence {4X 16X 6X 1} is a polynomial D(4X +1)-quadruple where e = 4. This triple can be extended to a twice semi-regular polynomial D(4X + 1)-quadruple (1) {4X 16X 6X 1 4X 4}. For the triple {4X 6X 1 4X 4} we have e = 180X 0. For a = 4X and b = 16X we also have e = 640X 40 for which we get a polynomial D(4X + 1)-triple {4X 16X 4X 4}. For e = 0 we have a regular polynomial D(4X + 1)-triple {4X 16X 6X }. Observe that quadruple (1) can be obtained by taking k = 1 and m = 4X in [5 formula (15)]. Let us now find an example for the case D) using the proof of [4 Lemma 7]. Using (8) we obtain (1) 1 rξ = σn where ξ σ Q\{0}. We further obtain e = 1 ξ (a + b + r nξ). + σ Since e must be a linear polynomial from the coefficient with X on the right side of the previous equation we conclude that ξ = (A+B) µ where µ is a leading
7 SOME DIOPHANTINE TRIPLES AND QUADRUPLES FOR QUADRATIC POLYNOMIALS 7 coefficient of n. Now from (1) it follows that σ = AB(A+B) µ. For a = X + X B = and µ = 6 using the relation ab + n = r and (5) we obtain a polynomial D(6X + X + 1)-triple {X(X + 1) (X 1)(X + 1) 9X 9X }. Here e = 4X 8. Notice that for a = X(X + 1) and b = (X 1)(X + 1) from e = 1 ξ +σ (a + b r + nξ) we obtain e = 8(5X + )(4X 1) and then c = 81X + 7X 15. We will now illustrate the case E) described in [4 Lemma 8 1)]. Let a = X b = 16X + 8 and n = 16X + 9. We obtain ψ = ϕ = 1 and then e = 7X + 16 f = X For e we get c = 100X + 44 and for f we get c = 6X + 0 so we have two polynomial D(n)-triples {a b c} and {a b c }. The second of them is a part of a twice semi-regular polynomial D(n)-quadruple {X 16X + 8 5X X + 0} (this quadruple can be obtained by taking k = X in the formula for a D(16k + 9)-quadruple from [5 Section 6]). For the cases where k = and k = 4 we find the examples using a method of undetermined coefficients and then fixing some of the coefficients to 0 or to 1. Let us first find the example for the case A). Let a = X + α X + α 1 X + α 0 n = µ X +µ 0 u = µ X +ϑ 1 X +ϑ 0 be a polynomials over Q. From ae+n = u we obtain e = ϑ 1 µ α 0 = ϑ 0 µ 0 α 1 = ϑ 0 and α = µ 0µ ϑ 0 µ ϑ 1. ϑ 1 µ µ ϑ 1 µ Let b = X + β X + β 1 X + β 0 and v = µ X + ν 1 X + ν 0 be a polynomials over Q. From be + n = v and the obtained expression for e we get ϑ 1 = ν 1. Also β = µ 0µ ν 0 µ ϑ 1 β 1 = ν 0 and β 0 = ν 0 µ 0. We now equate the ϑ 1 µ µ ϑ 1 µ expression (X + α X + α 1 X + α 0 )(X + β X + β 1 X + β 0 ) + µ X + µ 0 with the square of a polynomial of degree. It is easy to obtain equal coefficients of X 6 X 5 X 4 X at both sides of the equation. Then comparing the coefficients of X X 1 and X 0 we get three equations in unknowns µ µ 0 ϑ 1 ϑ 0 ν 0. If µ 0 = 0 the system has a nontrivial rational solution for ν 0 = 7τ 6 τ Q. Namely µ = 9τ 4 ϑ 1 = 9τ 5 ϑ 0 = 9τ 6. By taking τ = 1 and multiplying the elements of the obtained rational triple by we finally get a polynomial D(6X )-triple {(X 1)(X + 1)(X 1) (X + )(X + X + ) 4(X + )(X + X + )} with e = 196. We can extend this triple to the regular quadruple in Q[X] by taking the fourth element d = 4 9 X (X + )(X + 5)(X + 1)(X + X + 4). Let us consider the case B). polynomials over Q in the form If we write ae + n = u where a e n u are (X + α X + α 1 X + α 0 )((ε φ )X + γ) + (φx ) = (εx + ϑ 1 X + ϑ 0 ) the coefficients of X 4 are equal on both sides of the equation. Comparing the other coefficients we obtain α = γ ϑ 1ε ε + φ α 1 = ϑ 1ε ϑ 1φ + γ γϑ 1 ε φε + φ + ϑ 0 ε ϑ 0 εφ ( ε + φ )
8 8 ANDREJ DUJELLA AND ANA JURASIĆ α 0 = γϑ 1 ε +γϑ 1 φ γ +γ ϑ 1ε+γφε γφ γϑ 0ε +γϑ 0εφ +ϑ 0ϑ 1ε 4 4ϑ 0ϑ 1ε φ +ϑ 0ϑ 1φ 4 ( ε +φ ) ϑ 1 = ϑ 0ε φ ϑ 0 εφ +γ +ϑ 0 ε ϑ 0 φ ε φε +εφ +φ (φ+ε)γ. Similarly from be + n = v we get β = γ ν 1ε ε + φ β 1 = ν 1ε ν1φ + γ γν 1 ε φε + φ + ν 0 ε ν 0 εφ ( ε + φ ) β 0 = γν 1 ε +γν 1 φ γ +γ ν 1ε+γφε γφ γν 0ε +γν 0εφ +ν 0ν 1ε 4 4ν 0ν 1ε φ +ν 0ν 1φ 4 ( ε +φ ) ν 1 = ν 0ε φ ν 0 εφ +γ +ν 0 ε ν 0 φ ε φε +εφ +φ (φ+ε)γ where v = εx + ν 1 X + ν 0 and b = X + β X + β 1 X + β 0 are polynomials over Q. We are left with the condition that (X + α X + α 1 X + α 0 )(X + β X + β 1 X + β 0 ) + φx is equal to a square of a polynomial r with degree. It is easy to obtain the equal coefficients of X 6 X 5 X 4 X on both sides of the equation. Comparing the coefficients of X X 1 X 0 on both sides of the equation we get three equations in the remaining γ unknowns. For ν 0 = ε(φ + ε) and ϑ 0 = γ (φ + ε) (φ + ε) εφ the equations for X1 and X 0 are satisfied. Inserting those expressions for ν 0 and ϑ 0 into the equation for X we obtain (14) ε φ 9 + 6φ 8 ε + 15ε 4 φ 7 + 0ε 5 φ ε 6 φ 5 + 6ε 7 φ 4 + ε 8 φ 4γ 4 φ 16γ 4 εφ 16ε γ 4 = 0. One solution of the equation (14) is ε = φ = 9 γ = 54 for which we have a = X + 5 X 5X + b = X X 9X + 7 n = 9X r = X + 1 X 9X + 9 e = 7X + 54 u = X 1X + 9 v = X + 7X 7 and c = 4 9 X X X +. Multiplying those expressions by 18 we get integer coefficients. Indeed {9(X 1)(X + 7X ) 9(X + )(X )(X ) 4(X + 1)(X + X + )} is a polynomial D(916X )-triple with e = X Extending this triple to the regular quadruple in Q[X] we get the fourth element d = 4 9 X (X + )(X 5)(X + 7)(X + X 1). Let us take a closer look at equation (14). It leads to the condition 4φ ε (φ + ε) 6 (φ + ε) = U 4. By substituting φ = T ε = Z we get the elliptic surface (elliptic curve over Q(T )) T Z(T + Z)(T + Z) = V. Now substituting 4T Z = X we obtain the elliptic surface in the Weierstrass form (15) X + 6T X + 8T 6 X = Y. The rank of curve (15) over Q(T ) is equal to 0. But standard conjectures predict that for infinitely many specializations T = t the specialized curve has positive rank over Q. We list some small solutions (ε φ γ) of equation (14): ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( 6 9 7) ( 9 54) ( ) ( ). Finally let us find the example for the case A4). For a e n u Q[X] it must hold ae + n = u. Thus let us find an identity of the form (16) (X 4 +α X +α X +α 1 X+α 0 )(ϑ µ )+(µ X +µ 0 ) = (ϑ X +ϑ 1 X+ϑ 0 ).
9 SOME DIOPHANTINE TRIPLES AND QUADRUPLES FOR QUADRATIC POLYNOMIALS 9 From (16) we obtain α = ϑ ϑ 1 ϑ α = ϑ 1 µ µ 0 + ϑ ϑ 0 µ ϑ α 1 = ϑ 1ϑ 0 µ ϑ µ and α 0 = ϑ 0 µ 0 ϑ. Similarly from be + n = v where b = X 4 + β X + β X + µ β 1 X + β 0 and v = ν X + ν 1 X + ν 0 are polynomials over Q we see that ν = ϑ and then we get β = ϑ ν 1 ϑ β = ν 1 µ µ 0 + ϑ ν 0 µ ϑ β 1 = ν 1ν 0 µ ϑ µ β 0 = ν 0 µ 0 ϑ. From the condition that (X 4 +α X +α X +α 1 X+α 0 )(X 4 +β X + µ β X + β 1 X + β 0 ) + µ X + µ 0 is a square of a polynomial of degree 4 we have a system of three equations. For ϑ 1 = ν 1 = µ 0 = 0 one of the equations has a rational solution if ϑ 0 ν 0 is a square. Thus we assume that ν 0 = ϑ 0 τ where τ Q and then ϑ = µ (1 + τ ). It remains to solve the equation τ 9 ϑ τ 0+µ 4 τ 8 +64τ 7 ϑ 0 4µ 4 τ 6 + τ 5 ϑ 0 + 6µ 4 τ 4 4µ 4 τ + µ 4 = 0 which has a solution if ϑ 0τ(1 + τ ) is a fourth power. Therefore we take ϑ 0 = τ(1 + τ ). We obtain µ = 4τ τ 4 + τ + 1 (τ 1)(τ + 1) and then a = X τ τ 1 X + 1 b = X 4 τ 1 + τ τ 1 X + τ 4 e = 4τ (τ 4 + τ + 1) n = 4τ τ 4 + τ + 1 (τ 1)(τ + 1) X. For τ = we obtain polynomials over Q and multiplying them by 1 we get that {4(X 1)(X ) 4(X 1)(X 4) 5(X 5)(X )} is a polynomial D(1900X )-triple with e = Extending this triple to the regular quadruple in Q[X] we get the fourth element d = 1 1 X (X )(X + )(X 1)(X 19)(X 7).. Diophantine quadruples for products of twin primes By considering congruences modulo 4 it is easy to prove that if n is an integer of the form n = 4k + then there does not exist a Diophantine quadruple with the property D(n) [ 1 5]. On the other hand it was proved in [5] that if an integer n does not have the form 4k+ and n S 1 = { } then there exists at least one Diophantine quadruple with the property D(n). Moreover if n (mod 4) and n S where S = S 1 { } then there exist at least two distinct D(n)-quadruples. Thus it seems natural to ask whether similar results hold for integers n with at least l distinct D(n)-quadruples where l. An experimental search for quadruples with elements of small size together with some theoretical observations from [8 9] suggest that the answer is negative. Conjecture. The set S of all integers n not of the form 4k + with the property that there exist at most two different D(n)-quadruples is infinite. By the results from [8] we know that if an integer n is not of the form 4k + n > 48 and there exist at most two distinct D(n)-quadruples then n has one of the following forms: 4k + 16k + 1 8k + 5 k + 0. Since multiplying all elements of D(4k + ) and D(8k + 5)-quadruples by we obtain D(16k + 1) and D(k + 0)-quadruples respectively (by [5 Remark ] all D(16k + 1)-quadruples
10 10 ANDREJ DUJELLA AND ANA JURASIĆ can be obtained on this way) we may restrict our attention to the integers of the forms 4k + and 8k + 5. We now quote main result of [9]. Lemma 1. (i) Let n be an integer such that n (mod 4) n { } and there exist at most two distinct D(n)-quadruples. Then n 1 n 9 and 9n 1 are primes. Furthermore either n is prime or n = pq where p and q = p + are twin primes. (ii) Let n be an integer such that n 5 (mod 8) n { } and there exist at most two distinct D(n)-quadruples. Then the integers n n 1 4 n 9 4 and 9n 1 4 are primes. Note that by Dickson s conjecture on simultaneous prime values of linear polynomials and its extension by Schinzel and Sierpiński [6] it is predicted that there are infinitely many integers n satisfying the primality conditions from Lemma 1. Note also that there is one notable difference between (i) and (ii) parts of Lemma 1 which concerns twin primes occurring in (i). However the preliminary version of (ii) also contained similar condition concerning the numbers n of the form n = pq where p and q are primes such that q = p + 4. But it was possible to remove this case because of the following polynomial formula: the set { X + X + 10 (1X + 11)(1X + 17X + 7X + 1) (1X + 1)(1X + 19X + 9X + 1)} has the property D((6X + 1)(6X + 5)). Thus we may ask whether the condition concerning the product of twin primes can be removed from the statement (i) of Lemma 1. We will give partial positive answer to this question. Namely we will show that the condition can be removed if p 1 (mod 4). Let us recall that in [5] it was proved that for an integer k { } the sets {1 k k k +1 4k 4k } and {1 9k +8k+1 9k +14k+6 6k +44k+1} are two distinct D(4k + )-quadruples. If p and q are twin primes then p = k 1 q = k + 1 for a positive integer k and n = pq = 4k 1. Thus our goal is to find a new polynomial quadruple with property D(4X 1). Motivated by the following example { } of a D(41 4)-quadruple (note that for n = 41 4 = 176 the numbers n 1 = 881 n 9 = 877 and 9n 1 = 79 are primes) we search for a polynomial quadruple of the form {1 a b a + b + r} where a and b are polynomials of degree 4. In search for more general result we take n = αx + β. Since the polynomial n is even we assume that a( X) = b(x). Let us put (17) (18) a + n = (α X α 1 X + α 0 ) b + n = (α X + α 1 X + α 0 ). We express a and b from (17) and (18). Then ab + n is a polynomial of degree 8 which should be a perfect square. Thus we put (19) ab + n = (α X 4 + ( α + α 0 α α 1)X + γ). This gives us three equations in α 0 α 1 α α β γ. Let r = α X 4 + ( α + α 0 α α 1)X + γ. Consider the set {1 a b a + b + r}. In order to satisfy the definition
11 SOME DIOPHANTINE TRIPLES AND QUADRUPLES FOR QUADRATIC POLYNOMIALS 11 of a D(n)-quadruple it remains to satisfy the condition that a + b + r + n is a perfect square. Namely by (17) and (18) 1 a + n and 1 b + n are squares and we have ab + n = r a(a + b + r) + n = (a + r) b(a + b + r) + n = (b + r). From ( a+b+r+n = 4αX 4 +( α+8α 0 α )X β+γ+α0 = α X + α + 8α ) 0α 4α we get γ = 16α β + αα 0 + 9α 48α α 0 α α. Inserting this in the three equations induced by (19) we get α 0 = 9α + 78α1α + 64α1 4 6α1 α α = 4α + 16α1 9 β = (7α + 198α1α + 40α1α α1) 6 81α1. α In that way we obtained two parametric families of a polynomial quadruples of the desired type. It remains to choose the parameters α 1 and α in order to obtain D(4X 1)-quadruples. We get the following pairs (α 1 α ) = (± 15 ) (± ) (± 1 5 ). The last task is to get integer elements of the quadruple. By taking (α 1 α ) = ( ) we are almost done since we get a = 9X4 9X X X b = 9X 4 + 9X + X X a + b + r = 6X4 4X + 1 i.e. the set {1 9X 4 9X X X X4 + 9X + X X X4 4X + 1} is the Diophantine quadruple with the property D(4X 1). For X odd say X = k + 1 numbers a and b are integers. Therefore we get that if k { 1 0} is an integer then (0) {1 144k k + 11k + 0k k k + 9k + 14k + 576k k + 848k + 7k + } is a D((4k + 1)(4k + ))-quadruple. Thus we proved the following extension of Lemma 1 (i). Theorem 1. Let n be an integer such that n (mod 4) n { } and there exist at most two distinct D(n)-quadruples. Then n 1 n 9 and 9n 1 are primes. Furthermore either n is prime or n = pq where p (mod 4) and q = p + are twin primes. 4. Adjugates of D(n)-quadruples In [0] Gibbs described the following construction by which from one Diophantine quadruple we can obtain up to eight new Diophantine quadruples. Given a (possibly improper) Diophantine quadruple {a 1 a a a 4 } with the property D(n) such that a i a j + n = x ij an adjugate quadruple is obtained by constructing the symmetric matrix S with components S ii = a i and S ij = x ij for i j and forming its adjugate matrix T. The adjugate quadruple {A 1 A A A 4 } is a (possibly improper) Diophantine quadruple such that A i A j + N = Xij where A i = T ii X ij = T ij and N = n det(s). A quadruple has at most eight distinct adjugates
12 1 ANDREJ DUJELLA AND ANA JURASIĆ which arise from different combinations of the signs of x ij. Gibbs also stated the following relationships between properties of a quadruple and its adjugates: A) If a quadruple is regular with property D(1) then four of its eight adjugates are the regular quadruples formed by dropping one of its four components and replacing it with the other extension value. B) If a quadruple is semi-regular then four of its eight adjugates will be improper quadruples with zero component. C) If a quadruple is twice semi-regular then two of its adjugates have two zeros and four others have one zero component. D) If a quadruple is improper with a zero component then all of its adjugates include a regular triple. E) If a quadruple is improper with two duplicate components then it can have at most six distinct adjugates and four of them are improper with two duplicate components. F) If a quadruple is improper with two zero components then all of its adjugates are twice semi-regular but four of them are improper with two duplicate components and there are only two other distinct adjugates. Gibbs gave numerical examples for each of the cases A) F). We will give polynomial examples for all cases. In some of them we will use quadruples constructed in the previous sections. We will give details on quadruples obtained by Gibbs construction only in the cases where this construction produces Diophantine quadruples for quadratic polynomials. A) The set {X 1 X + 1 4X(X 1)(X + 1) 8X(X 1)(X + 1)(X 1)} is a regular polynomial D(1)-quadruple (see []). By the above construction we obtain: four regular D(1)-quadruples and irregular quadruples with the properties D(56X 6 56X 5 18X X + 16X 8X + 1) D(56X X 5 18X 4 18X + 16X + 8X + 1) D(4096X 8 510X X 4 4X + 9) and D( 1684X X X X 4 0X + 9). B) By applying Gibbs construction on the quadruple (0) which is a semiregular polynomial D((4X + 1)(4X + ))-quadruple {1 (1X + 1)(1X + 17X + 8X + 1) (1X + 11)(1X + 19X + 10X + ) we obtain: (4X + 16X + )(4X + X + 11)} four improper irregular quadruples and (proper) irregular quadruples with the properties D((4X + 1) (4X + ) (8944X X X X X X X X + 81)) D((X + 1) (4X + 1) (4X + )(1776X X X X X X X + 507)) D((X + 1) (4X + 1)(4X + ) (1776X X X X X X + 684X + 161)) and
13 SOME DIOPHANTINE TRIPLES AND QUADRUPLES FOR QUADRATIC POLYNOMIALS 1 D( (4X + 1) (4X + ) (119496X X X X X X X X X X )). C) The set {4X 16X 6X 1 4X 4} obtained from (1) is a twice semi-regular polynomial D(4X + 1)-quadruple from which we obtain: six improper irregular quadruples and irregular quadruples with the properties D((4X + 1)(6144X 6656X + 616X 79)) and D( (4X + 1) (6144X 5184X + 816X 1)). D) In A) we obtained the set {X+1 4(X+) (X+5) 0} which is an improper regular polynomial D(1)-quadruple. For this set using Gibbs construction we obtain: four improper regular quadruples a regular D(1)-quadruple and the following (proper) quadruples for quadratic polynomials: {X +1 8(X +) X + 4(X +)(X +4)(6X +11)} is a semi-regular D(48X + 16X + 97)-quadruple {5(5X + 9) 4(X + ) X + 4(X + )(X + 4)(6X + 11)} is a semiregular polynomial D(96X + 0X + 65)-quadruple {5(5X + 9) 8(X + ) (X + 5) 4(X + )(X + 4)(6X + 11)} is a semi-regular polynomial D( (48X + 15X + 117))-quadruple. E) The set { X X +4 X +4} is an improper irregular polynomial D(X +9)- quadruple (see [5]) which includes three regular triples. By the above construction we obtain six improper irregular quadruples. However if we take the set {(X 1)(X + 1)(5X + ) (X 1)(X + 1)(5X + ) (X 1)(X + 1)(5X + ) X (7X + 1)} which is an improper irregular polynomial D(4X (5X + ) 4 )-quadruple (obtained using [6 Proposition ]) the above construction gives: four improper irregular quadruples and irregular quadruples with the properties D(4X (5X + ) (5X X 4 X + 4) and D(4X 4 (5X + ) (14X 6 6X 4 6X + 9)). Let us mention that it is possible to find a polynomial quadruple with two pairs of equal elements. E.g. {4X 4X (X X 1)(X + X 1) (X X 1)(X + X 1)} is an improper twice semi-regular polynomial D(4(X 1) X (X + 1) )-quadruple (see [17]). Here Gibbs construction gives five improper irregular quadruples. F) The set { 4(X +5) (X +6) 0 0} obtained in E) is an improper irregular polynomial D((X + 9) )-quadruple. For this set we obtain: four improper twice semi-regular quadruples and the following (proper) quadruples for quadratic polynomials: { (7X + 6) 5(X + 16) (X + 4)} is a twice semi-regular polynomial D((X + 9)(8X + 41))-quadruple
14 14 ANDREJ DUJELLA AND ANA JURASIĆ {X (4X + 19) 5(X + 16) X + 4} is a twice semi-regular polynomial D((X + 9)(1X + 49))-quadruple. Acknowledgement: The authors were supported by the Ministry of Science Education and Sports Republic of Croatia grant References [1] A. Baker and H. Davenport The equations x = y and 8x 7 = z Quart. J. Math. Oxford Ser. () 0 (1969) [] E. Brown Sets in which xy + k is always a square Math. Comp. 45 (1985) [] Y. Bugeaud A. Dujella and M. Mignotte On the family of Diophantine triples {k 1 k k 4k} Glasgow Math. J. 49 (007) -44. [4] Diophantus of Alexandria Arithmetics and the Book of Polygonal Numbers (I. G. Bashmakova Ed.) (Nauka 1974) [5] A. Dujella Generalization of a problem of Diophantus Acta Arith. 65 (199) [6] A. Dujella On Diophantine quintuples Acta Arith. 81 (1997) [7] A. Dujella The problem of the extension of a parametric family of Diophantine triples Publ. Math. Debrecen 51 (1997) 11-. [8] A. Dujella Some estimates of the number of Diophantine quadruples Publ. Math. Debrecen 5 (1998) [9] A. Dujella A problem of Diophantus and Dickson s conjecture Number Theory Diophantine Computational and Algebraic Aspects (K. Gyory A. Petho V. T. Sos eds.) Walter de Gruyter Berlin [10] A. Dujella There are only finitely many Diophantine quintuples J. Reine Angew. Math. 566 (004) [11] A. Dujella and C. Fuchs Complete solution of the polynomial version of a problem of Diophantus J. Number Theory 106 (004) [1] A. Dujella C. Fuchs and F. Luca A polynomial variant of a problem of Diophantus for pure powers Int. J. Number Theory 4 (008) [1] A. Dujella C. Fuchs and R. F. Tichy Diophantine m-tuples for linear polynomials Period. Math. Hungar. 45 (00) 1-. [14] A. Dujella C. Fuchs and G. Walsh Diophantine m-tuples for linear polynomials. II. Equal degrees J. Number Theory 10 (006) 1-8. [15] A. Dujella and A. Jurasić On the size of sets in a polynomial variant of a problem of Diophantus Int. J. Number Theory 6 (010) [16] A. Dujella and A. Pethő A generalization of a theorem of Baker and Davenport Quart. J. Math. Oxford Ser. () 49 (1998) [17] A. Dujella and V. Petričević Strong Diophantine triples Experiment. Math. 17 (008) [18] Y. Fujita The extensibility of Diophantine pairs {k 1 k+1} J. Number Theory 18 (008) -5. [19] Y. Fujita Any Diophantine quintuple contains a regular Diophantine quadruple J. Number Theory 19 (009) [0] P. Gibbs Adjugates of Diophantine Quadruples Integers 10 (010) [1] H. Gupta and K. Singh On k-triad sequences Internat. J. Math. Math. Sci. 5 (1985) [] B. W. Jones A variation of a problem of Davenport and Diophantus Quart. J. Math. Oxford Ser.() 7 (1976) [] B. W. Jones A second variation of a problem of Davenport and Diophantus Fibonacci Quart. 15 (1977) -0. [4] A. Jurasić Diophantine m-tuples for quadratic polynomials Glas. Mat. Ser. III to appear. [5] S. P. Mohanty and A. M. S. Ramasamy The characteristic number of two simultaneous Pell s equations and its application Simon Stevin 59 (1985) [6] A. Schinzel and W. Sierpiński Sur certaines hypotheses concernant les nombres premiers Acta Arith. 4 (1958) Corrigendum 5 (1959) 59.
15 SOME DIOPHANTINE TRIPLES AND QUADRUPLES FOR QUADRATIC POLYNOMIALS 15 A. Dujella Department of Mathematics University of Zagreb Bijenička cesta Zagreb Croatia duje@math.hr A. Jurasić Department of Mathematics University of Rijeka Omladinska Rijeka Croatia ajurasic@math.uniri.hr
1 Diophantine quintuple conjecture
Conjectures and results on the size and number of Diophantine tuples Andrej Dujella Department of Mathematics, University of Zagreb Bijenička cesta 30, 10000 Zagreb, CROATIA E-mail: duje@math.hr URL :
More informationDIOPHANTINE m-tuples FOR LINEAR POLYNOMIALS
Periodica Mathematica Hungarica Vol. 45 (1 2), 2002, pp. 21 33 DIOPHANTINE m-tuples FOR LINEAR POLYNOMIALS Andrej Dujella (Zagreb), Clemens Fuchs (Graz) and Robert F. Tichy (Graz) [Communicated by: Attila
More informationON THE SIZE OF DIOPHANTINE M -TUPLES FOR LINEAR POLYNOMIALS
Miskolc Mathematical Notes HU e-issn 1787-2413 Vol. 17 (2017), No. 2, pp. 861 876 DOI: 10.18514/MMN.2017. ON THE SIZE OF DIOPHANTINE M -TUPLES FOR LINEAR POLYNOMIALS A. FILIPIN AND A. JURASIĆ Received
More informationDiophantine quadruples and Fibonacci numbers
Diophantine quadruples and Fibonacci numbers Andrej Dujella Department of Mathematics, University of Zagreb, Croatia Abstract A Diophantine m-tuple is a set of m positive integers with the property that
More informationTHE PROBLEM OF DIOPHANTUS AND DAVENPORT FOR GAUSSIAN INTEGERS. Andrej Dujella, Zagreb, Croatia
THE PROBLEM OF DIOPHANTUS AND DAVENPORT FOR GAUSSIAN INTEGERS Andrej Dujella, Zagreb, Croatia Abstract: A set of Gaussian integers is said to have the property D(z) if the product of its any two distinct
More informationarxiv: v1 [math.nt] 13 Apr 2019
ON THE LARGEST ELEMENT IN D(n-QUADRUPLES ANDREJ DUJELLA AND VINKO PETRIČEVIĆ arxiv:1904.06532v1 [math.nt] 13 Apr 2019 Abstract. Let n be a nonzero integer. A set of nonzero integers {a 1,...,a m} such
More informationADJUGATES OF DIOPHANTINE QUADRUPLES. Philip Gibbs Langdon Hills, Essex, UK
#A15 INTEGERS 10 (2010), 201-209 ADJUGATES OF DIOPHANTINE QUADRUPLES Philip Gibbs Langdon Hills, Essex, UK Received: 7/26/09, Revised: 12/26/09, Accepted: 12/30/09, Published: 5/5/10 Abstract Diophantine
More informationBILGE PEKER, ANDREJ DUJELLA, AND SELIN (INAG) CENBERCI
THE NON-EXTENSIBILITY OF D( 2k + 1)-TRIPLES {1, k 2, k 2 + 2k 1} BILGE PEKER, ANDREJ DUJELLA, AND SELIN (INAG) CENBERCI Abstract. In this paper we prove that for an integer k such that k 2, the D( 2k +
More informationDIOPHANTINE QUADRUPLES IN Z[ 2]
An. Şt. Univ. Ovidius Constanţa Vol. 18(1), 2010, 81 98 DIOPHANTINE QUADRUPLES IN Z[ 2] Andrej Dujella, Ivan Soldo Abstract In this paper, we study the existence of Diophantine quadruples with the property
More informationON DIFFERENCES OF TWO SQUARES IN SOME QUADRATIC FIELDS
ON DIFFERENCES OF TWO SQUARES IN SOME QUADRATIC FIELDS ANDREJ DUJELLA AND ZRINKA FRANUŠIĆ Abstract. It this paper, we study the problem of determining the elements in the rings of integers of quadratic
More informationTHE PROBLEM OF DIOPHANTUS FOR INTEGERS OF. Zrinka Franušić and Ivan Soldo
THE PROBLEM OF DIOPHANTUS FOR INTEGERS OF Q( ) Zrinka Franušić and Ivan Soldo Abstract. We solve the problem of Diophantus for integers of the quadratic field Q( ) by finding a D()-quadruple in Z[( + )/]
More informationThe problem of Diophantus and Davenport
Mathematical Communications 2(1997), 153 160 153 The problem of Diophantus and Davenport Andrej Dujella Abstract. In this paper we describe the author s results concerning the problem of the existence
More informationEFFECTIVE SOLUTION OF THE D( 1)-QUADRUPLE CONJECTURE
EFFECTIVE SOLUTION OF THE D( 1)-QUADRUPLE CONJECTURE ANDREJ DUJELLA, ALAN FILIPIN, AND CLEMENS FUCHS Abstract. The D( 1)-quadruple conjecture states that there does not exist a set of four positive integers
More informationTHE NUMBER OF DIOPHANTINE QUINTUPLES. Yasutsugu Fujita College of Industrial Technology, Nihon University, Japan
GLASNIK MATEMATIČKI Vol. 45(65)(010), 15 9 THE NUMBER OF DIOPHANTINE QUINTUPLES Yasutsugu Fujita College of Industrial Technology, Nihon University, Japan Abstract. A set a 1,..., a m} of m distinct positive
More informationTHE PROBLEM OF DIOPHANTUS FOR INTEGERS OF Q( 3) Zrinka Franušić and Ivan Soldo
RAD HAZU. MATEMATIČKE ZNANOSTI Vol. 8 = 59 (04): 5-5 THE PROBLEM OF DIOPHANTUS FOR INTEGERS OF Q( ) Zrinka Franušić and Ivan Soldo Abstract. We solve the problem of Diophantus for integers of the quadratic
More informationA Pellian equation with primes and applications to D( 1)-quadruples
A Pellian equation with primes and applications to D( 1)-quadruples Andrej Dujella 1, Mirela Jukić Bokun 2 and Ivan Soldo 2, 1 Department of Mathematics, Faculty of Science, University of Zagreb, Bijenička
More informationOn Diophantine m-tuples and D(n)-sets
On Diophantine m-tuples and D(n)-sets Nikola Adžaga, Andrej Dujella, Dijana Kreso and Petra Tadić Abstract For a nonzero integer n, a set of distinct nonzero integers {a 1, a 2,..., a m } such that a i
More informationDiophantine m-tuples and elliptic curves
Diophantine m-tuples and elliptic curves Andrej Dujella (Zagreb) 1 Introduction Diophantus found four positive rational numbers 1 16, 33 16, 17 4, 105 16 with the property that the product of any two of
More informationON THE EXTENSIBILITY OF DIOPHANTINE TRIPLES {k 1, k + 1, 4k} FOR GAUSSIAN INTEGERS. Zrinka Franušić University of Zagreb, Croatia
GLASNIK MATEMATIČKI Vol. 43(63)(2008), 265 291 ON THE EXTENSIBILITY OF DIOPHANTINE TRIPLES {k 1, k + 1, 4k} FOR GAUSSIAN INTEGERS Zrinka Franušić University of Zagreb, Croatia Abstract. In this paper,
More informationBOUNDS FOR THE SIZE OF SETS WITH THE PROPERTY D(n) Andrej Dujella University of Zagreb, Croatia
GLASNIK MATMATIČKI Vol. 39(59(2004, 199 205 BOUNDS FOR TH SIZ OF STS WITH TH PROPRTY D(n Andrej Dujella University of Zagreb, Croatia Abstract. Let n be a nonzero integer and a 1 < a 2 < < a m ositive
More informationA parametric family of quartic Thue equations
A parametric family of quartic Thue equations Andrej Dujella and Borka Jadrijević Abstract In this paper we prove that the Diophantine equation x 4 4cx 3 y + (6c + 2)x 2 y 2 + 4cxy 3 + y 4 = 1, where c
More informationOn Diophantine quintuples and D( 1)-quadruples
On Diophantine quintuples and D( 1)-quadruples Christian Elsholtz, Alan Filipin and Yasutsugu Fujita September 13, 2013 Abstract In this paper the known upper bound 10 96 for the number of Diophantine
More informationDIOPHANTINE m-tuples FOR QUADRATIC POLYNOMIALS. Ana Jurasić University of Rijeka, Croatia
GLASNIK MATEMATIČKI Vol. 46(66)(20), 283 309 DIOPHANTINE m-tuples FOR QUADRATIC POLYNOMIALS Ana Jurasić University of Rijeka, Croatia Abstract. In this paper, we prove that there does not exist a set with
More informationA family of quartic Thue inequalities
A family of quartic Thue inequalities Andrej Dujella and Borka Jadrijević Abstract In this paper we prove that the only primitive solutions of the Thue inequality x 4 4cx 3 y + (6c + 2)x 2 y 2 + 4cxy 3
More informationDecomposition of a recursive family of polynomials
Decomposition of a recursive family of polynomials Andrej Dujella and Ivica Gusić Abstract We describe decomposition of polynomials f n := f n,b,a defined by f 0 := B, f 1 (x := x, f n+1 (x = xf n (x af
More informationDiophantine equations for second order recursive sequences of polynomials
Diophantine equations for second order recursive sequences of polynomials Andrej Dujella (Zagreb) and Robert F. Tichy (Graz) Abstract Let B be a nonzero integer. Let define the sequence of polynomials
More informationBOUNDS FOR DIOPHANTINE QUINTUPLES. Mihai Cipu and Yasutsugu Fujita IMAR, Romania and Nihon University, Japan
GLASNIK MATEMATIČKI Vol. 5070)2015), 25 34 BOUNDS FOR DIOPHANTINE QUINTUPLES Mihai Cipu and Yasutsugu Fujita IMAR, Romania and Nihon University, Japan Abstract. A set of m positive integers {a 1,...,a
More informationOn Strong Rational Diophantine Quadruples with Equal Members
Gopalan MA et al.; Sch. J. Phys. Math. Stat. 0; Vol-; Issue-(Sep-Nov); pp-88-9 Scholars Journal of Physics Mathematics and Statistics Sch. J. Phys. Math. Stat. 0; ():88-9 Scholars Academic and Scientific
More informationFIBONACCI DIOPHANTINE TRIPLES. Florian Luca and László Szalay Universidad Nacional Autonoma de México, Mexico and University of West Hungary, Hungary
GLASNIK MATEMATIČKI Vol. 436300, 53 64 FIBONACCI DIOPHANTINE TRIPLES Florian Luca and László Szalay Universidad Nacional Autonoma de México, Mexico and University of West Hungary, Hungary Abstract. In
More informationD( 1)-QUADRUPLES AND PRODUCTS OF TWO PRIMES. Anitha Srinivasan Saint Louis University-Madrid campus, Spain
GLASNIK MATEMATIČKI Vol. 50(70)(2015), 261 268 D( 1)-QUADRUPLES AND PRODUCTS OF TWO PRIMES Anitha Srinivasan Saint Louis University-Madrid campus, Spain Abstract. A D( 1)-quadruple is a set of positive
More informationFibonacci Diophantine Triples
Fibonacci Diophantine Triples Florian Luca Instituto de Matemáticas Universidad Nacional Autonoma de México C.P. 58180, Morelia, Michoacán, México fluca@matmor.unam.mx László Szalay Institute of Mathematics
More informationExplicit solution of a class of quartic Thue equations
ACTA ARITHMETICA LXIV.3 (1993) Explicit solution of a class of quartic Thue equations by Nikos Tzanakis (Iraklion) 1. Introduction. In this paper we deal with the efficient solution of a certain interesting
More informationFINITENESS RESULTS FOR F -DIOPHANTINE SETS
FINITENESS RESULTS FOR F -DIOPHANTINE SETS ATTILA BÉRCZES, ANDREJ DUJELLA, LAJOS HAJDU, AND SZABOLCS TENGELY Abstract. Diophantine sets, i.e. sets of positive integers A with the property that the product
More informationOn the prime divisors of elements of a D( 1) quadruple
arxiv:1309.4347v1 [math.nt] 17 Sep 2013 On the prime divisors of elements of a D( 1) quadruple Anitha Srinivasan Abstract In [4] it was shown that if {1,b,c,d} is a D( 1) quadruple with b < c < d and b
More informationPure Mathematical Sciences, Vol. 6, 2017, no. 1, HIKARI Ltd,
Pure Mathematical Sciences, Vol. 6, 2017, no. 1, 61-66 HIKARI Ltd, www.m-hikari.com https://doi.org/10.12988/pms.2017.735 On Some P 2 Sets Selin (Inag) Cenberci and Bilge Peker Mathematics Education Programme
More informationAn example of elliptic curve over Q with rank equal to Introduction. Andrej Dujella
An example of elliptic curve over Q with rank equal to 15 Andrej Dujella Abstract We construct an elliptic curve over Q with non-trivial 2-torsion point and rank exactly equal to 15. 1 Introduction Let
More informationOn repdigits as product of consecutive Lucas numbers
Notes on Number Theory and Discrete Mathematics Print ISSN 1310 5132, Online ISSN 2367 8275 Vol. 24, 2018, No. 3, 5 102 DOI: 10.7546/nntdm.2018.24.3.5-102 On repdigits as product of consecutive Lucas numbers
More informationOn the indecomposability of polynomials
On the indecomposability of polynomials Andrej Dujella, Ivica Gusić and Robert F. Tichy Abstract Applying a combinatorial lemma a new sufficient condition for the indecomposability of integer polynomials
More informationA Survey of Rational Diophantine Sextuples of Low Height
A Survey of Rational Diophantine Sextuples of Low Height Philip E Gibbs philegibbs@gmail.com A rational Diophantine m-tuple is a set of m distinct positive rational numbers such that the product of any
More informationElliptic curves with torsion group Z/8Z or Z/2Z Z/6Z
Elliptic curves with torsion group Z/8Z or Z/2Z Z/6Z Andrej Dujella and Juan Carlos Peral Abstract. We show the existence of families of elliptic curves over Q whose generic rank is at least 2 for the
More informationOn the power-free parts of consecutive integers
ACTA ARITHMETICA XC4 (1999) On the power-free parts of consecutive integers by B M M de Weger (Krimpen aan den IJssel) and C E van de Woestijne (Leiden) 1 Introduction and main results Considering the
More informationARITHMETIC PROGRESSIONS OF SQUARES, CUBES AND n-th POWERS
ARITHMETIC PROGRESSIONS OF SQUARES, CUBES AND n-th POWERS L. HAJDU 1, SZ. TENGELY 2 Abstract. In this paper we continue the investigations about unlike powers in arithmetic progression. We provide sharp
More informationPELLANS SEQUENCE AND ITS DIOPHANTINE TRIPLES. Nurettin Irmak and Murat Alp
PUBLICATIONS DE L INSTITUT MATHÉMATIQUE Nouvelle série, tome 100114 016, 59 69 DOI: 10.98/PIM161459I PELLANS SEQUENCE AND ITS DIOPHANTINE TRIPLES Nurettin Irmak and Murat Alp Abstract. We introduce a novel
More informationP -adic root separation for quadratic and cubic polynomials
P -adic root separation for quadratic and cubic polynomials Tomislav Pejković Abstract We study p-adic root separation for quadratic and cubic polynomials with integer coefficients. The quadratic and reducible
More informationarxiv: v1 [math.nt] 3 Jun 2016
Absolute real root separation arxiv:1606.01131v1 [math.nt] 3 Jun 2016 Yann Bugeaud, Andrej Dujella, Tomislav Pejković, and Bruno Salvy Abstract While the separation(the minimal nonzero distance) between
More information#A2 INTEGERS 12A (2012): John Selfridge Memorial Issue ON A CONJECTURE REGARDING BALANCING WITH POWERS OF FIBONACCI NUMBERS
#A2 INTEGERS 2A (202): John Selfridge Memorial Issue ON A CONJECTURE REGARDING BALANCING WITH POWERS OF FIBONACCI NUMBERS Saúl Díaz Alvarado Facultad de Ciencias, Universidad Autónoma del Estado de México,
More informationDiophantine triples in a Lucas-Lehmer sequence
Annales Mathematicae et Informaticae 49 (01) pp. 5 100 doi: 10.33039/ami.01.0.001 http://ami.uni-eszterhazy.hu Diophantine triples in a Lucas-Lehmer sequence Krisztián Gueth Lorand Eötvös University Savaria
More informationPRODUCTS OF THREE FACTORIALS
PRODUCTS OF THREE FACTORIALS A. DUJELLA, F. NAJMAN, N. SARADHA AND T. N. SHOREY Abstract. We study a question of Erdős and Graham on products of three factorials being a square. 1. Introduction For any
More informationTRIBONACCI DIOPHANTINE QUADRUPLES
GLASNIK MATEMATIČKI Vol. 50(70)(205), 7 24 TRIBONACCI DIOPHANTINE QUADRUPLES Carlos Alexis Gómez Ruiz and Florian Luca Universidad del Valle, Colombia and University of the Witwatersrand, South Africa
More informationarxiv: v2 [math.nt] 23 Sep 2011
ELLIPTIC DIVISIBILITY SEQUENCES, SQUARES AND CUBES arxiv:1101.3839v2 [math.nt] 23 Sep 2011 Abstract. Elliptic divisibility sequences (EDSs) are generalizations of a class of integer divisibility sequences
More informationOn integer solutions to x 2 dy 2 = 1, z 2 2dy 2 = 1
ACTA ARITHMETICA LXXXII.1 (1997) On integer solutions to x 2 dy 2 = 1, z 2 2dy 2 = 1 by P. G. Walsh (Ottawa, Ont.) 1. Introduction. Let d denote a positive integer. In [7] Ono proves that if the number
More informationarxiv: v1 [math.nt] 31 Dec 2011
arxiv:1201.0266v1 [math.nt] 31 Dec 2011 Elliptic curves with large torsion and positive rank over number fields of small degree and ECM factorization Andrej Dujella and Filip Najman Abstract In this paper,
More informationOn the Rank of the Elliptic Curve y 2 = x 3 nx
International Journal of Algebra, Vol. 6, 2012, no. 18, 885-901 On the Rank of the Elliptic Curve y 2 = x 3 nx Yasutsugu Fujita College of Industrial Technology, Nihon University 2-11-1 Shin-ei, Narashino,
More information#A20 INTEGERS 11 (2011) ON CONGRUENT NUMBERS WITH THREE PRIME FACTORS. Lindsey Reinholz
#A20 INTEGERS 11 (2011) ON CONGRUENT NUMBERS WITH THREE PRIME FACTORS Lindsey Reinholz Department of Mathematics and Statistics, University of British Columbia Okanagan, Kelowna, BC, Canada, V1V 1V7. reinholz@interchange.ubc.ca
More informationFlorian Luca Instituto de Matemáticas, Universidad Nacional Autonoma de México, C.P , Morelia, Michoacán, México
Florian Luca Instituto de Matemáticas, Universidad Nacional Autonoma de México, C.P. 8180, Morelia, Michoacán, México e-mail: fluca@matmor.unam.mx Laszlo Szalay Department of Mathematics and Statistics,
More informationRoot separation for irreducible integer polynomials
Root separation for irreducible integer polynomials Yann Bugeaud and Andrej Dujella 1 Introduction The height H(P ) of an integer polynomial P (x) is the maximum of the absolute values of its coefficients.
More informationEven perfect numbers among generalized Fibonacci sequences
Even perfect numbers among generalized Fibonacci sequences Diego Marques 1, Vinicius Vieira 2 Departamento de Matemática, Universidade de Brasília, Brasília, 70910-900, Brazil Abstract A positive integer
More informationAlmost fifth powers in arithmetic progression
Almost fifth powers in arithmetic progression L. Hajdu and T. Kovács University of Debrecen, Institute of Mathematics and the Number Theory Research Group of the Hungarian Academy of Sciences Debrecen,
More informationFibonacci numbers of the form p a ± p b
Fibonacci numbers of the form p a ± p b Florian Luca 1 and Pantelimon Stănică 2 1 IMATE, UNAM, Ap. Postal 61-3 (Xangari), CP. 8 089 Morelia, Michoacán, Mexico; e-mail: fluca@matmor.unam.mx 2 Auburn University
More informationDIOPHANTINE QUADRUPLES FOR SQUARES OF FIBONACCI AND LUCAS NUMBERS
PORTUGALIAE MATHEMATICA Vol. 52 Fasc. 3 1995 DIOPHANTINE QUADRUPLES FOR SQUARES OF FIBONACCI AND LUCAS NUMBERS Andrej Dujella Abstract: Let n be an integer. A set of positive integers is said to have the
More informationON THE REPRESENTATION OF FIBONACCI AND LUCAS NUMBERS IN AN INTEGER BASES
ON THE REPRESENTATION OF FIBONACCI AND LUCAS NUMBERS IN AN INTEGER BASES YANN BUGEAUD, MIHAI CIPU, AND MAURICE MIGNOTTE À Paulo Ribenboim, pour son quatre-vingtième anniversaire Abstract. Résumé. Nous
More informationTwists of elliptic curves of rank at least four
1 Twists of elliptic curves of rank at least four K. Rubin 1 Department of Mathematics, University of California at Irvine, Irvine, CA 92697, USA A. Silverberg 2 Department of Mathematics, University of
More informationRoot separation for irreducible integer polynomials
Root separation for irreducible integer polynomials Yann Bugeaud and Andrej Dujella Abstract We establish new results on root separation of integer, irreducible polynomials of degree at least four. These
More informationELEMENTARY RESOLUTION OF A FAMILY OF QUARTIC THUE EQUATIONS OVER FUNCTION FIELDS
ELEMENTARY RESOLUTION OF A FAMILY OF QUARTIC THUE EQUATIONS OVER FUNCTION FIELDS CLEMENS FUCHS*,, ANA JURASIĆ**, AND ROLAND PAULIN* Abstract. We consider and completely solve the parametrized family of
More informationINTEGRAL POINTS AND ARITHMETIC PROGRESSIONS ON HESSIAN CURVES AND HUFF CURVES
INTEGRAL POINTS AND ARITHMETIC PROGRESSIONS ON HESSIAN CURVES AND HUFF CURVES SZ. TENGELY Abstract. In this paper we provide bounds for the size of the integral points on Hessian curves H d : x 3 + y 3
More informationOn a diophantine equation of Andrej Dujella
On a diophantine equation of Andrej Dujella Keith Matthews (joint work with John Robertson and Jim White published in Math. Glasnik, 48, number 2 (2013) 265-289.) The unicity conjecture (Dujella 2009)
More informationOn sets of integers whose shifted products are powers
On sets of integers whose shifted products are powers C.L. Stewart 1 Department of Pure Mathematics, University of Waterloo, Waterloo, Ontario, Canada, NL 3G1 Abstract Let N be a positive integer and let
More informationPOWER VALUES OF SUMS OF PRODUCTS OF CONSECUTIVE INTEGERS. 1. Introduction. (x + j).
POWER VALUES OF SUMS OF PRODUCTS OF CONSECUTIVE INTEGERS L. HAJDU, S. LAISHRAM, SZ. TENGELY Abstract. We investigate power values of sums of products of consecutive integers. We give general finiteness
More informationPower values of sums of products of consecutive integers
isid/ms/2015/15 October 12, 2015 http://www.isid.ac.in/ statmath/index.php?module=preprint Power values of sums of products of consecutive integers L. Hajdu, S. Laishram and Sz. Tengely Indian Statistical
More informationTHERE ARE NO ELLIPTIC CURVES DEFINED OVER Q WITH POINTS OF ORDER 11
THERE ARE NO ELLIPTIC CURVES DEFINED OVER Q WITH POINTS OF ORDER 11 ALLAN LACY 1. Introduction If E is an elliptic curve over Q, the set of rational points E(Q), form a group of finite type (Mordell-Weil
More informationOn Non-Extendable Special Dio-3-Tuples
ISSN: 319-8753 (An ISO 397: 007 Certified Organization) Vol. 3, Issue 8, August 014 On Non-Extendable Special Dio-3-Tuples M.A.Gopalan 1 *, S. Vidhyalakshmi, N. Thiruniraiselvi 3 1, Professor, Department
More informationInteger Solutions of the Equation y 2 = Ax 4 +B
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 18 (2015), Article 15.4.4 Integer Solutions of the Equation y 2 = Ax 4 +B Paraskevas K. Alvanos 1st Model and Experimental High School of Thessaloniki
More informationDiophantine quintuples containing triples of the first kind
Diophantine quintuples containing triples of the first kind arxiv:1501.04399v2 [math.nt] 26 Feb 2015 D.J. Platt Heilbronn Institute for Mathematical Research University of Bristol, Bristol, UK dave.platt@bris.ac.uk
More informationarxiv: v1 [math.nt] 29 Dec 2017
arxiv:1712.10138v1 [math.nt] 29 Dec 2017 On the Diophantine equation F n F m = 2 a Zafer Şiar a and Refik Keskin b a Bingöl University, Mathematics Department, Bingöl/TURKEY b Sakarya University, Mathematics
More informationPowers of Two as Sums of Two Lucas Numbers
1 3 47 6 3 11 Journal of Integer Sequences, Vol. 17 (014), Article 14.8.3 Powers of Two as Sums of Two Lucas Numbers Jhon J. Bravo Mathematics Department University of Cauca Street 5 No. 4-70 Popayán,
More informationTwo Diophantine Approaches to the Irreducibility of Certain Trinomials
Two Diophantine Approaches to the Irreducibility of Certain Trinomials M. Filaseta 1, F. Luca 2, P. Stănică 3, R.G. Underwood 3 1 Department of Mathematics, University of South Carolina Columbia, SC 29208;
More informationARITHMETIC OF POSITIVE INTEGERS HAVING PRIME SUMS OF COMPLEMENTARY DIVISORS
Math. J. Okayama Univ. 60 (2018), 155 164 ARITHMETIC OF POSITIVE INTEGERS HAVING PRIME SUMS OF COMPLEMENTARY DIVISORS Kenichi Shimizu Abstract. We study a class of integers called SP numbers (Sum Prime
More informationWhy Should I Care About Elliptic Curves?
Why Should I Care About? Edray Herber Goins Department of Mathematics Purdue University August 7, 2009 Abstract An elliptic curve E possessing a rational point is an arithmetic-algebraic object: It is
More informationPYTHAGOREAN TRIPLES KEITH CONRAD
PYTHAGOREAN TRIPLES KEITH CONRAD 1. Introduction A Pythagorean triple is a triple of positive integers (a, b, c) where a + b = c. Examples include (3, 4, 5), (5, 1, 13), and (8, 15, 17). Below is an ancient
More informationCongruent Number Problem and Elliptic curves
Congruent Number Problem and Elliptic curves December 12, 2010 Contents 1 Congruent Number problem 2 1.1 1 is not a congruent number.................................. 2 2 Certain Elliptic Curves 4 3 Using
More informationODD REPDIGITS TO SMALL BASES ARE NOT PERFECT
#A34 INTEGERS 1 (01) ODD REPDIGITS TO SMALL BASES ARE NOT PERFECT Kevin A. Broughan Department of Mathematics, University of Waikato, Hamilton 316, New Zealand kab@waikato.ac.nz Qizhi Zhou Department of
More informationLEGENDRE S THEOREM, LEGRANGE S DESCENT
LEGENDRE S THEOREM, LEGRANGE S DESCENT SUPPLEMENT FOR MATH 370: NUMBER THEORY Abstract. Legendre gave simple necessary and sufficient conditions for the solvablility of the diophantine equation ax 2 +
More informationNewton s formula and continued fraction expansion of d
Newton s formula and continued fraction expansion of d ANDREJ DUJELLA Abstract It is known that if the period s(d) of the continued fraction expansion of d satisfies s(d), then all Newton s approximants
More informationOn the Number of Divisors of n 2 1
On the Number of Divisors of n 2 arxiv:507.08893v [math.nt] 30 Jul 205 Adrian W. Dudek Mathematical Sciences Institute The Australian National University adrian.dudek@anu.edu.au Abstract We prove an asymptotic
More informationOn Worley s theorem in Diophantine approximations
Annales Mathematicae et Informaticae 35 (008) pp. 61 73 http://www.etf.hu/ami On Worley s theorem in Diophantine approximations Andrej Dujella a, Bernadin Irahimpašić a Department of Mathematics, University
More informationInteger partitions into Diophantine pairs
Availaible on line at http://www.liforce.usthb.dz bulletin-liforce@usthb.dz Bulletin du Laboratoire 04 (015) 8-35 Integer partitions into Diophantine pairs Zahra YAHI 1, Nesrine BENYAHIA TANI, Sadek BOUROUBI
More informationP -ADIC ROOT SEPARATION FOR QUADRATIC AND CUBIC POLYNOMIALS. Tomislav Pejković
RAD HAZU. MATEMATIČKE ZNANOSTI Vol. 20 = 528 2016): 9-18 P -ADIC ROOT SEPARATION FOR QUADRATIC AND CUBIC POLYNOMIALS Tomislav Pejković Abstract. We study p-adic root separation for quadratic and cubic
More informationSQUARE PATTERNS AND INFINITUDE OF PRIMES
SQUARE PATTERNS AND INFINITUDE OF PRIMES KEITH CONRAD 1. Introduction Numerical data suggest the following patterns for prime numbers p: 1 mod p p = 2 or p 1 mod 4, 2 mod p p = 2 or p 1, 7 mod 8, 2 mod
More informationOn canonical number systems
On canonical number systems Shigeki Akiyama and Attila Pethő Abstract. Let P (x) = p d x d +... + Z[x] be such that d 1, p d = 1, 2 and N = {0, 1,..., 1}. We are proving in this note a new criterion for
More informationON DIOPHANTINE QUADRUPLES OF FIBONACCI NUMBERS
GLASNIK MATEMATIČKI Vol. 52(72)(2017), 221 234 ON DIOPHANTINE QUADRUPLES OF FIBONACCI NUMBERS Yasutsugu Fujita and Florian Luca Nihon University, Japan and University of the Witwatersrand, South Africa
More informationThe Diophantine equation x(x + 1) (x + (m 1)) + r = y n
The Diophantine equation xx + 1) x + m 1)) + r = y n Yu.F. Bilu & M. Kulkarni Talence) and B. Sury Bangalore) 1 Introduction Erdős and Selfridge [7] proved that a product of consecutive integers can never
More informationIntroduction to Number Theory
INTRODUCTION Definition: Natural Numbers, Integers Natural numbers: N={0,1,, }. Integers: Z={0,±1,±, }. Definition: Divisor If a Z can be writeen as a=bc where b, c Z, then we say a is divisible by b or,
More informationDetermining elements of minimal index in an infinite family of totally real bicyclic biquadratic number fields
Determining elements of minimal index in an infinite family of totally real bicyclic biquadratic number fields István Gaál, University of Debrecen, Mathematical Institute H 4010 Debrecen Pf.12., Hungary
More informationx y z 2x y 2y z 2z x n
Integer Solutions, Rational solutions of the equations 4 4 4 x y z x y y z z x n 4 4 and x y z xy xz y z n; And Crux Mathematicorum Contest Corner problem CC4 Konstantine Zelator P.O. Box 480 Pittsburgh,
More informationTHE NUMBER OF TWISTS WITH LARGE TORSION OF AN ELLITPIC CURVE
THE NUMBER OF TWISTS WITH LARGE TORSION OF AN ELLITPIC CURVE FILIP NAJMAN Abstract. For an elliptic curve E/Q, we determine the maximum number of twists E d /Q it can have such that E d (Q) tors E(Q)[2].
More informationA Variation of a Congruence of Subbarao for n = 2 α 5 β, α 0, β 0
Introduction A Variation of a Congruence of Subbarao for n = 2 α 5 β, α 0, β 0 Diophantine Approximation and Related Topics, 2015 Aarhus, Denmark Sanda Bujačić 1 1 Department of Mathematics University
More information#A11 INTEGERS 12 (2012) FIBONACCI VARIATIONS OF A CONJECTURE OF POLIGNAC
#A11 INTEGERS 12 (2012) FIBONACCI VARIATIONS OF A CONJECTURE OF POLIGNAC Lenny Jones Department of Mathematics, Shippensburg University, Shippensburg, Pennsylvania lkjone@ship.edu Received: 9/17/10, Revised:
More informationCongruent numbers via the Pell equation and its analogous counterpart
Notes on Number Theory and Discrete Mathematics ISSN 1310 5132 Vol. 21, 2015, No. 1, 70 78 Congruent numbers via the Pell equation and its analogous counterpart Farzali Izadi Department of Mathematics,
More informationRelative Densities of Ramified Primes 1 in Q( pq)
International Mathematical Forum, 3, 2008, no. 8, 375-384 Relative Densities of Ramified Primes 1 in Q( pq) Michele Elia Politecnico di Torino, Italy elia@polito.it Abstract The relative densities of rational
More informationGaussian integers. 1 = a 2 + b 2 = c 2 + d 2.
Gaussian integers 1 Units in Z[i] An element x = a + bi Z[i], a, b Z is a unit if there exists y = c + di Z[i] such that xy = 1. This implies 1 = x 2 y 2 = (a 2 + b 2 )(c 2 + d 2 ) But a 2, b 2, c 2, d
More information