• Abstract and Figures
• Public Full-text

ASYMPTOTIC ESTIMATES FOR ROOTS OF THE CUBOID CHARACTERISTIC EQUATION IN THE LINEAR REGION. Ruslan Sharipov Abstract. A perfect cuboid is a rectangular parallelepiped whose edges, whose face diagonals, and whose space diagonal are of integer lengths. The second cuboid con- jecture specifies a subclass of perfect cuboids described by one Diophantine equation of tenth degree and claims their non-existence within this subclass. This Diophantine equation is called the cuboid characteristic equation. It has two parameters. The linear region is a domain on the coordinate plane of these two parameters given by certain linear inequalities. In the present paper asymptotic expansions and estimates for roots of the characteristic equation are obtained in the case where both parame- ters tend to infinity staying within the linear region. Their applications to the cuboid problem are discussed. 1. Introduction. The cuboid characteristic equation in the case of the second cuboid conjecture is a polynomial Diophantine equation with two parameters p and q: Qpq(t)=0. (1.1) The polynomial Qpq(t) from (1.1) is given by the explicit formula 10 2 2 2 2 8 8 2 6 Qpq(t)= t + (2 q + p ) (3 q 2 p ) t + (q + 10 p q + 4 4 6 2 8 6 2− 2 8 2 6 4 4 +4 p q 14 p q + p ) t p q (q 14 p q +4 p q + (1.2) − − − +10 p 6 q 2 + p 8) t4 p 6 q6 (q 2 +2 p 2) (3 p 2 2 q 2) t2 q 10 p 10. − − − The tenth degree polynomial (1.2) is related to the perfect cuboid problem through the following theorem (see Theorem 8.1 in [1] or in [2]). Theorem 1.1. A triple of positive integer numbers p, q, and t satisfying the equa- arXiv:1505.02745v1 [math.NT] 11 May 2015 tion (1.1) and such that p = q are coprime produces a perfect cuboid if and only if the following inequalities are6 fulfilled: t>p 2, t>pq, t>q 2, (p 2 + t) (p q + t) > 2 t2. (1.3) Once a triple of numbers p, q, t obeying Theorem 1.1 is found, there is a definite procedure for producing a perfect cuboid from them. First of all three rational 2000 Mathematics Subject Classification. 11D41, 11D72, 30E10, 30E15. Typeset by AMS-TEX 2 RUSLAN SHARIPOV numbers α, β, and υ are produced in one of the two ways: 1) using the formulas p 2 p q q 2 α = , β = , υ = , (1.4) t t t or 2) using the other three formulas p q p 2 q 2 α = , β = , υ = . (1.5) t t t Both ways (1.4) and (1.5) are acceptable. Then the rational number z is produced using the following formula for it: (1 + υ2) (1 β2)(1+ α2) z = − . (1.6) 2(1+ β2) (1 α2 υ2) − And finally, the numbers α, β, υ along with z from (1.6) are used in the formulas 2 x1 2 υ d1 1 υ = , = − , L 1+ υ2 L 1+ υ2 2 2 2 x2 2 z (1 υ ) x3 (1 υ ) (1 z ) = − , = − − , (1.7) L (1 + υ2)(1+ z2) L (1 + υ2)(1+ z2) 2 2 2 2 2 d2 (1 + υ )(1+ z )+2 z(1 υ ) d3 2 (υ z + 1) = − β, = α. L (1 + υ2)(1+ z2) L (1 + υ2)(1+ z2) They produce six rational numbers in the right hand sides of the formulas (1.7). Then L is chosen as a common denominator for all these six rational numbers. Such a choice assures that x1, x2, x3, d1, d2, d3 are integer numbers. They are edges and face diagonals of a perfect cuboid, while L is its space diagonal. In the other words, the integer numbers x1, x2, x3, d1, d2, d3, and L satisfy the cuboid equations 2 2 2 2 2 2 2 x1 + x2 + x3 = L , x2 + x3 = d1 , 2 2 2 2 2 2 (1.8) x3 + x1 = d2 , x1 + x2 = d3 . The formulas (1.7) were derived from (1.8) in [3] for the general case where, instead of (1.2), a twelfth degree polynomial arises. It reduces to the polynomial (1.2) in a special case, which is called the case of the second cuboid conjecture. The second cuboid conjecture itself is formulated as follows (see [4]). Conjecture 1.1. For any positive coprime integers p = q the polynomial Qpq(t) is irreducible over the ring of integer numbers. 6 Conjecture 1.1 means that the equation (1.1) has no integer roots. However, this conjecture is not yet proved nor disproved. It is just a conjecture. Therefore in the present paper we consider the roots of the equation (1.1) and study their dependence on p and q. This research continues the research from [3–7] and [1,2]. As for the Diophantine equations (1.8), they are being studied for almost 300 years. For the history and various approaches to them the reader is referred to [8–50]. The approach of the papers [51–63] is based on so-called multisymmetric polynomials. ASYMPTOTIC ESTIMATES FOR ROOTS ... 3 It is different from the approach of the present paper. Therefore we do not consider the papers [51–63] below. The linear region associated with the cuboid characteristic polynomial (1.2) in the case of the second cuboid conjecture was defined in [2]. It is a domain in the positive quadrant of the p q - coordinate plane given by the linear inequalities q <p, p< 59 q. (1.9) 59 The main goal of the present paper is to obtain asymptotic expansions and esti- mates for the roots of the characteristic equation (1.1) as p + and q + simultaneously staying within the linear region (1.9). → ∞ → ∞ 2. Asymptotic expansions with constant ratio. It is easy to see that the inequalities defining the linear region (1.9) set upper and lower bounds for the ratio of two parameters p and q. They are written as 1 p < < 59. (2.1) 59 q Due to (2.1) below we consider the case where p p + , q + , θ = (2.2) → ∞ → ∞ q → 6 ∞ and where θ is a rational number. In this case we can write a12 θ = , (2.3) a22 where a11 and a12 are two positive coprime integers, i. e. the fraction (2.3) is ir- reducible. For any two positive coprime integers a11 and a12 there are two other coprime integers a21 and a22 such that a11 a22 a21 a12 =1. (2.4) − This fact follows from the Euclidean division algorithm (see [64] or [65]). Using the numbers a11, a12, a21, a22 from (2.3) and (2.4), we define two matrices a11 a12 a22 a12 S = , T = − . (2.5) a21 a22 a21 a11 − The equality (2.4) means that det S = 1 and det T = 1. Moreover, the matrices (2.5) are inverse to each other. We use them as transition matrices (see [66]) and define the following change of coordinates in the p q - coordinate plane: p˜ a22 a12 p p a11 a12 p˜ = − , = . (2.6) · · q˜ a21 a11 q q a21 a22 q˜ − 4 RUSLAN SHARIPOV The formulas (2.6) can be written in a non-matrix way: p˜ = a22 p a12 q, p = a11 p˜ + a12 q,˜ − (2.7) q˜ = a21 p + a11 q, q = a21 p˜ + a22 q.˜ − Using (2.7), (2.2), (2.3), and (2.4), we derive p˜ p a22 a12 a12 a22 = a22 a12 a22 θ a12 = − =0, (2.8) q q − → − a22 q˜ p a21 a12 + a11 a22 1 = a21 + a11 a21 θ + a11 = − = (2.9) q − q →− a22 a22 as q + . Relying on (2.8) and (2.9), we use the more restrictive condition → ∞ p˜ =const asq ˜ + (2.10) → ∞ when passing to the new variablesp ˜ andq ˜. It is worth to note the following lemma describingp ˜ andq ˜ in (2.7). Lemma 2.1. If p and q are coprime then the numbers p˜ and q˜ produced according to the first couple of the formulas (2.7) are also coprime. The proof is immediate from the second couple of the formulas (2.7). Indeed, ifp ˜ andq ˜ have some common divisor r, then from the second couple of the formulas (2.7) we derive that r is a common divisor p and q, which contradicts their coprimality. Using (2.7), let’s substitute p = a11 p˜ + a12 q˜ and q = a21 p˜ + a22 q˜ into the polynomial (1.2). As a result we get another polynomial Qp˜q˜(t). This polynomial is given by an explicit formula. However, the formula for the polynomial Qp˜q˜(t) is rather huge. It is placed to the ancillary file strategy formulas 03.txt in a machine-readable form. Using the polynomial Qp˜q˜(t), we replace the equation (1.1) by the equation Qp˜q˜(t)=0. (2.11) It is a tenth degree equation with respect to the variable t. Like Qpq(t), the polynomial Qp˜q˜(t) in (2.11) is even with respect to t. Along with each root t it has the opposite root t. Therefore we use the condition − t> 0 if t is a real root, (2.12) Im(t) > 0 if t is a complex root, in order to divide the roots of the equation (2.11) into two groups. We denote through t1, t2, t3, t4, t5 those roots that obey the conditions (2.12). Then t6, t7, t8, t9, t10 are opposite roots of the equation (2.11): t6 = t1, t7 = t2, t8 = t3, t9 = t4, t10 = t5.

Load more

  17

Copy Link