This is a preprint of: “Bicentric quadrilateral central configurations”, Jaume Llibre, Pengfei Yuan, Appl. Math. Comput., vol. 362, 124507: 1–7, 2019. DOI: [10.1016/j.amc.2019.06.021] BICENTRIC QUADRILATERAL CENTRAL CONFIGURATIONS JAUME LLIBRE1 AND PENGFEI YUAN2 Abstract. A bicentric quadrilateral is a tangential cyclic quadri- lateral. In a tangential quadrilateral the four sides are tangents to an inscribed circle, and in a cyclic quadrilateral the four vertices lie on a circumscribed circle. In this paper we classify all planar cen- tral configurations of the 4-body problem, where the four bodies are at the vertices of a bicentric quadrilateral. 1. Introduction and statement of the results The well-known Newtonian n-body problem concerns with the mo- tion of n mass points with positive mass mi moving under their mutual attraction in Rd in accordance with Newton’s law of gravitation. The equations of the motion of the n-body problem are : Xn mj (xi − xj ) ẍi = − , 1 ≤ i ≤ n, j=1,j6=i rij3 where we have taken the unit of time in such a way that the Newtonian gravitational constant be one, and xi ∈ Rd (i = 1, . . . , n) denotes the position vector of the i-body, rij = |xi − xj | is the Euclidean distance between the i-body and the j-body. Alternatively the equations of the motion can be written mi ẍi = ∇i U(x), 1 ≤ i ≤ n, where x = (x1 , . . . , xn ), and X mi mj U(x) = , 1≤i 0, D2 , D4 < 0, D1 + D2 + D3 + D4 = 0. The equations for the central configurations (1) of the 4-body problem were written by Dziobek [16] (see also equations (8) and (16) of Moeckel [34] or [22]) as the following 12 equations with 12 unknowns. 1 Di Dj 3 = c1 + c2 , (2) rij mi mj ti − tj = 0, for 1 ≤ i < j ≤ 4, where 4 X ti = Dj rij2 . j=1,j6=i The unknowns of equations (3) are the mutual distances rij , the vari- ables Di , and the constants ck (k = 1, 2). The first six Dziobek’s equation (2) are −3 −3 m1 m2 (r12 − c 1 ) = c 2 D1 D2 , m3 m4 (r34 − c 1 ) = c 2 D3 D4 , −3 −3 m1 m3 (r13 − c 1 ) = c 2 D1 D3 , m2 m4 (r24 − c 1 ) = c 2 D2 D4 , (3) −3 −3 m1 m4 (r14 − c 1 ) = c 2 D1 D4 , m2 m3 (r23 − c 1 ) = c 2 D2 D3 . 6 J. LLIBRE AND P. YUAN Multiplying the two equations which appear in each of the three rows of equations (3) we obtain the same expression c22 D1 D2 D3 D4 , which provide the Dziobek relation: −3 −3 −3 −3 −3 −3 (r12 − c1 )(r34 − c1 ) = (r13 − c1 )(r24 − c1 ) = (r14 − c1 )(r23 − c1 ). (4) We can solve c1 from the Dziobek relation (4) and we have −3 −3 −3 −3 r12 r34 − r13 r24 c1 = −3 −3 −3 −3 r12 + r34 − r13 − r24 r −3 r −3 − r14 −3 −3 r23 = −3 13 24 −3 −3 −3 (5) r13 + r24 − r14 − r23 r −3 r −3 − r12 −3 −3 r34 = −3 14 23 −3 −3 −3 . r14 + r23 − r12 − r34 Defining −3 −3 −3 −3 s1 = r12 + r34 , p1 = r12 r34 , −3 −3 −3 −3 s2 = r13 + r24 , p2 = r13 r24 , −3 −3 −3 −3 s3 = r14 + r23 , p3 = r14 r23 , equation (5) become p1 − p2 p2 − p3 p3 − p1 c1 = = = , (6) s1 − s2 s2 − s3 s3 − s1 which imply that the points (s1 , p1 ), (s2 , p2 ), (s3 , p3 ) of the plane are on the same straight line with slope c1 , i.e. 1 1 1 s1 s2 s3 = 0. p1 p2 p3 So we can write Dziobek equation as 3 3 3 3 3 3 3 3 3 3 3 3 D = (r13 −r12 )(r23 −r34 )(r24 −r14 ) −(r12 −r14 )(r24 −r34 )(r13 −r23 ) = 0. (7) Lemma 2. If the four masses are at the vertices of a bicentric quadri- lateral as in Figure 1, then r23 = 1 − r14 + r34 , 2 r14 + r13 r24 − r14 r34 = . (8) 1 + r14 Proof. For a bicentric quadrilateral as it is shown in Figure 1 the four sides are tangents to an inscribed circle, and the four vertices lie on a circumscribed circle. 7 According to the Pitot theorem [26], we have r12 + r34 = r23 + r14 , (9) and by the Ptolemy’s theorem [17], we have r13 r24 = r12 r34 + r23 r14 . (10) From (9) we can get r23 = r12 + r34 − r14 , (11) then substitute (11) into (10), we obtain 2 r14 + r13 r24 − r14 r34 = . (12) 1 + r14  3. Proof of Theorem 1 Since we study classes of central configurations, without loss of gen- erality, we can assume m1 = 1, r12 = 1, and that r12 is the longest side of the quadrilateral. From (3) we can obtain the masses expressed in terms of the distances rij and the areas Dk , i.e. 3 3 3 3 D2 r23 r24 (r13 − r14 ) m2 = 3 3 3 3 , D1 r13 r14 (r23 − r24 ) 3 3 3 D3 r23 r34 (1 − r14 ) m3 = 3 3 3 , (13) D1 r14 (r23 − r34 ) 3 3 3 D4 r24 r34 (1 − r13 ) m4 = 3 3 3 . D1 r13 (r24 − r34 ) Substituting these masses into the first six Dziobek equations (3), and taking only the numerators of these six equations because the denominators do not vanish, we have e1 = D2 (c2 D13 r12 3 3 2 3 r13 r14 (r24 3 − r23 3 3 ) − r23 3 r24 (c1 r12 3 − 1)(r13 3 − r14 )), 2 3 3 3 3 3 3 3 3 3 3 e2 = D3 (c2 D1 r12 r13 r14 (r34 − r23 ) − r23 r34 (c1 r13 − 1)(r12 − r14 )), 3 3 3 3 3 3 3 3 e3 = D2 D3 (r23 r24 r34 (c1 r23 − 1)(r12 r14 )(r14 − r13 )− 2 3 3 6 3 3 3 3 c2 D1 r12 r13 r14 (r23 − r24 )(r23 − r34 )), e4 = D4 (c2 D12 r12 3 3 3 3 r13 r14 (r34 3 ) − r24 3 3 − r24 3 r34 (c1 r14 3 − 1)(r12 3 − r13 )), (14) 8 J. LLIBRE AND P. YUAN 3 3 3 3 3 3 3 3 e5 = D2 D4 (−r23 r24 r34 (c1 r24 − 1)(r12 − r13 )(r13 − r14 )− 2 3 6 3 3 3 3 3 c2 D1 r12 r13 r14 (r23 − r24 )(r24 − r34 )), e6 = D3 D4 (c2 D12 r126 3 3 3 r13 r14 (r23 − r343 3 )(r34 − r243 )− 3 3 3 3 3 3 3 3 r23 r24 r34 (c1 r34 − 1)(r12 − r13 )(r12 − r14 )). We remark that the last six equations of (2) are identically zero when we substitute the coordinates of the four bodies of Figure 1. Notice that Di (i = 1, 2, 3, 4) is non-zero, so we can eliminate the Di′s which appear as a factor in equation (14). First, we solve the first two equations with respect to c1 and c2 , and then we substitute c1 and c2 in the last four equations of (14). We obtain D 6 3 3 3 3 3 3 e3 = r23 r24 r34 (r14 − r12 )(r14 − r13 ), d e4 = 0, D 3 6 3 3 3 3 3 e5 = r23 r24 r34 (r13 − r12 )(r13 − r14 ), (15) d D 3 3 6 3 3 3 3 e6 = r23 r24 r34 (r13 − r12 )(r12 − r14 ), d where D = 0 is the Dziobek equation (7), and 3 3 3 3 3 3 3 3 3 3 3 3 3 3 d = r12 (r13 r23 (r24 − r34 ) + r14 r24 (r34 − r23 )) + r13 r14 r34 (r23 − r24 ), is the denominator which comes from the denominators of c1 and c2 . From MacMillan and Bartky [33] we know that for every convex central configuration we have the following inequalities r13 , r24 > r12 , r23 , r34 , r14 . (16) Since D1 , D3 > 0, D2 , D4 < 0, and r13 > r12 , r13 > r14 , the solutions of system (15) are satisfied if and only if D = 0. Solving the Dziobeck equation (8), after substituting r12 = 1, r23 , r34 from Lemma 1, we get the solution 2r14 r13 = . (17) r24 Then from (8) and (17), for a bicentric quadrilateral central configura- tion, we have 2r14 r12 = r23 = 1, r14 = r34 , r13 = . (18) r24 So the bicentric quadrilateral central configurations are also kite quadri- laterals and from (13) we obtain m1 = m3 . 9 r24 2 √ (1, 2) ( √13 , √23 ) 1 1 r14 2 1 Figure 3. Since the four bodies are co-circular, and a convex quadrilateral is cyclic if and only if its opposite angles are supplementary [46], we can deduce r14 and r12 are perpendicular, r23 and r34 are perpendicular. Then we have q 2r14 2 r12 = r23 = 1, r34 = r14 , r13 = p 2 r24 = 1 + r14 . (19) 1 + r14 In order to find the bicentric quadrilateral central configurations with positive masses, from (13), (16), (19) and since r12 = 1 is the longest side of the quadrilateral the following conditions hold 1 = r23 < r24 , r34 , r14 < r13 , r24 , 2r14 r14 ≤ 1, 1 < r13 = . r24 After some simplification, we obtain r14 ≤ 1 < r24 < 2r14 < 2. (20) Denote Λ = {(r14 , r24 ) | r14 ≤ 1 < r24 < 2r14 < 2}. By simple p computation, √ the √ intersection point of r24 = 2r14 with 2 r24 = 1 + r14 pis (1/ 3, 2/ 3), √ and the intersection point of√r14 = 2 1 with r24 = 1 + r14√is (1, 2), then we obtain r14 ∈ [1/ 3, 1]. Then for each r14 ∈ (1/ 3, 1) we have a bicentric quadrilateral central configurations with positive masses satisfying (19). 10 J. LLIBRE AND P. YUAN √1 m4 √1 3 3 m3 m1 1 1 m2 Figure 4. Now we shall study if we have √ or not a bicentric quadrilateral central configuration when r14 = 1/ 3 and r14 = 1. √ Case for r14 = 1/ 3. From (19), we obtain √ √ r12 = r23 = 1, r14 = r34 = 1/ 3, r13 = 1, r24 = 2/ 3 (21) Next we check the masses for this central configuration. From (13) and (21), we have that m2 > 0, m3 = 1, m4 = 0, and the central configuration in this case is the kite of Figure 4 but with m4 = 0. Case for r14 = 1. From (19), we obtain √ r12 = r23 = r34 = r14 = 1, r13 = r24 = 2, (22) so the configuration is a square. Thus the bicentric quadrilateral central configuration satisfying (22) corresponds to the square central config- uration with m1 = m2 = m3 = m4 = 1. In summary we have bicentric quadrilateral central configurations with positive masses for rij satisfying q 2r14 r12 = r23 = 1, r34 = r14 , r24 = 1 + r+214 , r13 = p , 1 + r+214 √ where r14 ∈ (1/ 3 < r14 ≤ 1]. This proves the statement (a) of Theorem 1. Acknowledgements This work is supported by the Ministerio de Economa, Industria y Competitividad, Agencia Estatal de Investigacin grant MTM2016- 77278-P (FEDER), the Agència de Gestió d’Ajuts Universitaris i de 11 Recerca grant 2017 SGR 1617, and the European project Dynamics- H2020-MSCA-RISE-2017-777911. The second author is partially supported by Fundamental Research Funds for the Central Universities (NO.XDJK2015C139), China Schol- arship Council(N0.201708505030). References [1] Albouy, A., Symétrie des configurations centrales de quatre corps, C. R. Acad. Sci. Paris, 320 (1995), 217–220. [2] Albouy, A. Recherches sur le problème des n corps, Notes S cientifiques et Techniques du Bureau des Longitudes, Pairs(1997), 78 pp. [3] Albouy, A., Chenciner, A., Le problème des n corps et les distances mutuelles, Invent. Math. 131 (1998), 151–184. [4] Albouy, A. and Fu, Y., Euler configurations and quasi polynomial systems, Regul. Chaotic Dyn. 12 (2007), 39–55. [5] Albouy, A., Fu, Y. and Sun, S., Symmetry of planar four body convex central configurations, Proc. R. Soc. Lond. Ser. A Math. Phys. Eng. Sci., 464 (2008), 1355–1365. [6] Albouy, A. and Kaloshin, V., Finiteness of central configurations of five bodies in the plane, Ann. of Math. (2) 176 (2012), 535–588. [7] Álvarez, M. and Llibre, J., Hjelmslev quadrilateral central configurations, preprint, 2018. [8] Álvarez, M. and Llibre, J., The symmetric central configurations of the 4- body problem with masses m1 = m2 6= m3 = m4 , Appl. Math. and Comp. 219 (2013), 599–6001. [9] Alvarez-Ramirez ,A., Santos, A.A., andVidal, C., On co-circular central con- figurations in the four and five body-problem for homogeneous force law, J.Dynam. Differential Equations 25 (2013), no.2, 269–290. [10] Arenstorf, R.F., Central configurations of four bodies with one inferior mass, Cel. Mechanics 28 (1982), 9–15. [11] Barros, J.F. and Leandro, E.S.G., The set of degenerate cetral configurations in the planar restricted four-body problem, SIAM Journal on Mathematical Analysis 43 (2011), 634–661. [12] Barros, J.F. and Leandro, E.S.G., Bifurcations and enumeration of classes of relative equilibria in the planar restricted four-body problem, SIAM Joural on Mathematical Analysis 46 (2014), 1185–1203. [13] Bernat, J., Llibre, J. and Perez Chavela, E., On the planar central configura- tions of the 4-body problem with three equal masses, Dyn. Contin. Discrete Impuls. Syst. Ser. A Math. Anal. 16 (2009), 1–13. [14] Corbera, M. and Llibre, J., Central configurations of the 4-body problem with masses m1 = m2 > m3 = m4 = m > 0 and m small, Appl. Math. Comput. 246 (2014), 121–147. [15] Corbera, M., Cors, J.M.,Llibre, J. and Perez-Chavela, E., Trapezoid central configurations, arXiv.1712.07155[math.DS], 2017. [16] Cors J.M. and Roberts G.E., Four-body co-circular central configurations, Nonlinearity 25 (2012), 343-370. 12 J. LLIBRE AND P. YUAN [17] Durell, C.V., Robson,A., Advanced trigonometry, Courier Dover, (2003)[1930]. [18] Dziobek, O., Ueber einen merkwürdigen Fall des Vielkörperproblems, Astro. Nach. 152 (1900), 32–46. [19] Érdi, B. and Czirják, Z., Central configuration of four bodies with an axis of symmetry, Celestial Mech. Dynam. Astronom. 125 (2016), no.1, 33–70. [20] Euler, L., De moto rectilineo trium corporum se mutuo attahentium, Novi Comm. Acad. Sci. Imp. Petrop., 11 (1767), 144–151. [21] Fernandes, A.C., Llibre, J. and Mello, L.F., Convex central configurations of the 4-body problem with two pairs of equal masses, Arch. Rational Mech. Anal. 226 (2017), 303–320. [22] Gannaway, J.R., Determination of all central configurations in the planar 4- body problem with one inferior mass, Ph. D., Vanderbilt University, Nashville, USA, 1981. [23] Hagihara, Y., Celestial Mechanics, vol. 1, MIT Press, Massachusetts, 1970. [24] Hartshorne, R., Geometry: Euclid and Beyond, Springer, 2005, pp. 429–430. [25] Hampton, M. and Moeckel, R., Finiteness of relative equilibria of the four-body problem, Invent. Math. 163 (2006), no.2, 289–312. [26] Josefson, M., More characterizations of tangential quadrilaterals, Forum Geo- metricorum, 11, 65–82. [27] Lagrange, J.L., Essai surle probléme des trois corps, recueil des pièces qui ont remporté le prix de l’Académie royale des Sciences de Paris,tome IX,1772, reprinted in Ouvres, Vol.6 (Gauthier-Villars, Paris, 1873), pp 229–324. [28] Leandro, E.S.G., Finiteness and bifurcation of some symmetrical classes of central configurations, Arch. Rational Mech. Anal. 167 (2003), 147–177. [29] Llibre, J., Posiciones de equilibrio relativo del problema de 4 cuerpos, Publica cions Matemàtiques UAB3 (1976), 73–88. [30] Llibre, J., On the number of central configurations in the N-body problem, Celestial Mech. Dynam. Astronom. 50 (1991), 89–96. [31] Long, Y., Admissible shapes of 4-body non-collinear relative equilibria, Adv. Nonlinear Stud. 3 (2003), no. 4, 495–509. [32] Long, Y. and Sun, S., Four-Body Central Configurations with some Equal Masses, Arch. Rational Mech. Anal. 162 (2002), 24–44. [33] MacMillan, W.D. and Bartky, W., Permanent Configurations in the Problem of Four Bodies, Trans. Amer. Math. Soc. 34 (1932), no. 4, 838–875. [34] Moeckel, R., On central configurations, Mathematische Zeitschrift 205 (1990), no. 4, 499–517. [35] Moeckel, R., Generic finiteness for Dziobek configurations, Trans. Amer. Math. Soc. 353 (2001), 4673–4686. [36] Meyer, K.R., Bifurcation of a central configuration, Cel.Mech. 40 (1987), 273– 282. [37] Moulton, F.R., The straight line solutions of n bodies, Ann. of Math. 12 (1910), 1–17. [38] Palmore, J.I.,Classifying relative equilibria II, Bull. Amer. Math. Soc. 81(1975), 71–73. [39] Pedersen, P., Librationspunkte im restringierten Vierk” orperproblem, Danske Vid. Selsk. Math.Fys. 21 (1944), 1–80. [40] Pérez-Chavela E., Santoprete, M., Convex four-body central configurations with some equal masses, Arch. Rational Mech. Anal. 185 (2007), 481–494. 13 [41] Piña, E., Lonngi, P., Central configuration for the planar Newtonian four-body problem, Celest. Mech. Dyn. Astron. 108 (2010), 73–93. [42] Saari, D.G., On the role and properties of central configurations, Celestial Mech., 21 (1980), 9–20. [43] Schmidt, D.S., Central configurations in R2 and R3 , Contemporary Math. 81(1980), 59–76. [44] Simó, C., Relative equilibrium solutions in the four-body problem, Cel. Me- chanics 18 (1978), 165–184. [45] Smale, S., Topology and mechanics II. The planar n-body problem, In- vent.Math. 11 (1970), 45–64. [46] Usiskin,Z., Griffin,J., Witonsky,D., Willmore,E., the classification of quadrilat- erals: A study of definition, Research in mathematics education, IAP, (2008), 63–65. [47] Wintner, A., The Analytical Foundations of Celestial Mechanics, Princeton Math. Series 5, Princeton University Press, Princeton, NJ, 1941. [48] Xia, Z., Central configurations with many small masses, J. Differential Equa- tions 91 (1991), 168–179. [49] Xia, Z., Convex central configurations for the n-body problem, J. Differential Equations 200 (2004), 185–190. [50] Xie, Z., Isosceles trapezoid central configurations of the Newtonian four-body problem, Proc. R. Soc. Edinb., Sect. A, Math. 142 (2012), 665–672. 1 Departament de Matemàtiques, Universitat Autònoma de Barcelona, 08193 Bellaterra, Barcelona, Catalonia, Spain E-mail address: jllibre@mat.uab.cat 2 School of Mathematics and Statistics, Southwest University, 400715, Chongqing, China E-mail address: yuanpengfei@swu.edu.cn