arxiv: v1 [math.ca] 4 Sep 2016

Transcription

1 The Damascus Inequality Fozi M. Dannan, Sergey M. Sitnik arxiv: v [math.ca] Sep 06 The problem formulation In 06 Prof. Fozi M. Dannan from Damascus, Syria proposed the net inequality + + y y y + + z z 0, () z + providing that yz = for,y,z > 0. It became widely known but was not proved yet in spite of elementary formulation. An obvious generalization is the net inequality n k= k k 0, () k + providing that... n = for k 0, k n. It is obvious that () is true for n =, it is easy to prove it also for n = directly. But it is not true for n = as follows from an eample with = = =, = 56 8, then () is reducing to 57 0 which is untrue. As a consequence () is also untrue for any n due to an eample with = = =, = 8, 5 =... = n =. So the only non trivial case in () is n =. In this paper we prove inequality () together with similiar ones + + y y + + z z y y y + + z z z y y +y + + z z +z + y +y + + z +z y y +y + + z z +z y + y +y + + z + z +z + () () 0 (5) (6) (7). (8) Also some generalizations will be considered.

2 Proof of the main inequality () Theorem. An inequality () holds true providing that yz = for,y,z > 0. For the proof we need an auiliary inequality that seems to be very interesting by itself. Lemma. Let,y,z be positive numbers such that yz =. Then +y +z (+y +z)+6 0 (9) holds true. Note that inequality(9) is not a consequence of well known family of Klamkin type inequalities for symmetric functions[]. So(9) is a new quadratic Klamkin type inequality in three variables under restriction yz =. Due to its importance we give three proofs to it based on different ideas. First proof of Lemma. To prove (9) let introduce the Lagrange function L(,y,z,λ) = +y +z (+y +z)+6 λ(yz ). On differentiating it follows λ = = y y = z z. It follows that at the minimum (it obviously eists) = y, so three variables at the minimum are,y =,z = /. From = z z we derive the equation in : = / /,f() = = 0. One root is obvious =. Let us prove that there are no other roots for 0. Check that derivative is positive f () = = ( 5 +) 0, 0. Define a function g() = 5 +, its derivative g () has one zero for 0 at = 5/6 and the function g() is positive at this zero at its minimum g(5/6) = 589/68 > 0. So g() is positive, f() is strictly increasing on 0, so f() = 0 is its only zero. Second proof of Lemma. Consider the function f (,y) = +y + y ( +y + ) +6, y where,y,z are positive numbers. We show that f(,y) attains its minimum 0 at =,y = using partial derivative test. Calculate f = y + = 0, (0) y f y = y y + = 0. () y

3 Now multiplying (0) and () respectively by and y and adding to obtain ( y)(+y ) = 0. Here we have two cases. Case I. = y, which implies from equation (0) that = 0 or ( )( + ) = 0. () Equation () has only one positive root = and consequently y =. Notice that the equation + = 0 does not have positive roots because for 0 the function u() = + satisfies the following properties : (i)u(0) =,(ii) minu() = at =, (iii)u( ) =. Therefore f (,y) attains its maimum or minimum at =, y =. Case II. +y =. Adding (0) and () we get (+y) 6 ( y + ( y )+ y + ) y = 0 or and Putting t = y we obtain y + y = 0 6 y +y 6 = 0. t t+ = 0. In fact this equation does not have positive root (notice that t = y should be positive). This is because the function u = t t + satisfies the following properties : (i) u(0) =, ( ) (ii) for t > 0,minu(t) = u 6 > 0, (iii) u( ) > 0. The last step is to show that f (,y) f (,) = 0. It is enough to show that f (s,t) > f (,) for at least one point (s,t) (,). Take for eample f (,) = Third proof of lemma (Geometrical Method). Geometrically it is enough to prove that the surface yz = lies outside the sphere ( /) y /) z /) = / ecept the only intersection point (,,) as it is shown on the net graph:

4 Let M and S be surfaces defined by M : yz = and S : ( ) + (y ) + (z ). If (z ) 0 then =0 ( ) + (y ) + (z ) 0 and equivalently + y + z ( + y + z) If (z ) 0 then z +.. We take horizontal sections for both M and so get for any plane + z=k two curves: equilateral hyperbola H(k) with verte ( k, k ) and a circle C (k) which radius is given by r (k) = (k ) = k + k with center at (,, k).. For z =, we have the hyperbola y = and the circle ( ) + (y ) =. 5. We show that the distance d(v, c) between the verte of the hyperbola and the center c of the circle is always greater than or equal to the radius of the circle. The distance d(v, c) is given by d (v, c) = k + k = k.

5 The radius is given by r (k) = (k ) = k +k. We need to showthat the verteis alwaysoutsidethe circle i.e. d (v,c) r (k) for all k + Clearly that d(v,c) = r for k = and the hyperbola tangents the circle at the point (,,). For k <, as k decreases from to, the radius of the circle becomes smaller. From the other side the verte ( k, k,k) moves away from (,,) towards a point (0,0,k). This follows from the distance function of the verte Ov = (, 0 < k k < k. ) <. k k 6. For < k +, we show that d (v,c) = g(k) = ( ) > r = k (k ) = h(k). In fact, h(k) is a concave down parabola and has its maimum at k =, i.e. ma h(k) = and h(k) is decreasing ( for k )( >. Also, ) g() = and g(k) is increasing for k > because g (k) = k k k > 0 for k (notice that k < ). Therefore g(k) > h(k) for k >. Eventually we conclude that and consequently ( ) y ) z ) 0 +y +z (+y +z)+6 0 for all values of (,y,z) that satisfy yz =. Proof of the theorem. Now consider the inequality to prove (). After simplifying with the use of Wolfram Mathematica it reduces to + +y y + y y +y y +z z + z yz+yz yz ++y z y z + y z z +z z + +yz yz + yz y z +y z 0. Using SymmetricReduction function of Wolfram Mathematica we derive y z yz +yz (+y +z)+y +z) yz(y +z +yz) (+y +z)(y +z +yz)y +z +yz) 0. 5

6 Using yz = let further simplify 6 (+y +z)+y +z) (y +z +yz) (+y +z)(y +z +yz)y +z +yz) 0. In terms of elementary symmetric functions it is S = +y +z,s = y +yz +z S S S S +S S () As S S S +S 0 it is enough to prove S S S () Epanding it again in,y,z we derive an inequality to prove for positive variables +y +z (+y +z)+6 0. (5) But this is eactly an inequality from Lemma. So Theorem is proved. Proof of inequalities () (8) Let us start with two propositions. Proposition. For any real numbers u, v, w such that (+u)(+v)(+w) > 0, the inequality is equivalent to +u + +v + k ( k) +w kuvwk )(uv +vw +wu)k )(u+v +w)+k 0 ( 0). Proposition. For any real numbers u, v,w such that (u )(v )(w ) > 0 the inequality is equivalent to u + v + k ( k) w kuvw (k +)(uv +vw+wu)k +)(u+v +w) (k +) 0 ( 0). The validity of propositions and can be obtained by direct epansions. Proof that () (). In fact + + y y y + + z z z + = 6

7 = ( +) + y (y y +) + y + z (z z +) y + z = z + Now if the right side is 0 then and consequently Proof of 5. We need to prove cyc = + cyc cyc +. + (/)/). cyc ++ Let u = +, v = y +y, w = z +z. Using Proposition the required inequality can be written as follows : Going back to,y,z we get Or uvw (u+v +w) 0. (+)(y +)(z +) ( +y +z ) (+y +z) 0. y +yz +z +y +z which is obvious. Proof of 6. It follows from elementary calculus that for any real number we have ++ and the inequality follows directly. Proof that (6)7) (5). Really adding together (7) with (6) multiplied by we derive (5). Proof that (6) (8). The required inequality is equivalent to or cyc cyc which is true from inequality (6). = cyc

8 Modifications of original inequality In this section we consider modifications of the original inequality () providing that yz = for,y,z 0.. An inequality () is equivalent to + y y + z z 0. (6) This form leads to generalization with more powers, cf. below.. An inequality () is equivalent to + + y y y + + z z. (7) z +. Let take,y y,z z. Then we derive another equivalent form of the inequality () due to the functional equation for the function + + y y y y + + z z z 0, (8) z + f( ) = f() (9) f() = +. (0) So it seems possible to generalize the original inequality in terms of functional equations too. To one more similar variant leads a change of variables y,y yz,z z: or like (8) y y y + + yz y z yz + + z z 0, () z + y y y y + + yz y z y z yz + + z z z 0, () z + It is also possible to consider generalizations of () under the most general transformations g(,y,z),y h(,y,z),z g(,y,z)h(,y,z) with positive functions g(,y,z),h(,y,z) still preserving a condition yz =.. A number of cyclic inequalities follow from previous ones by a substitution = a b,y = b c,z = c,yz =. a 8

9 On this way we derive from (), () (8) the net cyclic inequalities: ab b a ab+b + bc c b bc+c + ca a c 0, ca+a () b a ab+b + c b bc+c + a c ca+a () ab a ab+b + bc b bc+c + ca c ca+a (5) ab b a +ab+b + bc c b +bc+c + ca a c +ca+a 0 (6) b a +ab+b + c b +bc+c + a c +ca+a (7) ab a +ab+b + bc b +bc+c + ca c +ca+a (8) ab+b a +ab+b + bc+c b +bc+c + ca+a c +ca+a. (9) On cyclic inequalities among which Schur, Nessbit and Shapiro ones are the most well known cf. [] []. 5. Some geometrical quantities connected with trigonometric functions and triangle geometry satisfy a condition yz =, cf. [] [6]. For eample, we may use in standard notations for triangular geometry values: = = a p, y = b R, z = c r ; = a+b, y = b+c p, z = a+c p +r +rr ; = Rh a, y = h b p, z = h c r ; = R sin(α), y = sin(β) r, z = sin(γ) ; p = (p R rr r )tan(α), y = tan(β) p tan(α) tan(α)+tan(β)+tan(γ),y =, z = tan(γ) ; r tan(β) tan(α)+tan(β)+tan(γ),z = = tan(α/), y = ptan(β/), z = tan(γ/) ; r a = (p a), y = b R(p b), z = r c p c ; = Rsin(α/), y = sin(β/), z = sin(γ/) ; r = Rcos(α/), y = cos(β/), z = cos(γ/). p tan(γ) tan(α)+tan(β)+tan(γ) ; 6. The above geometrical identities of the type yz = which we use for applications of considered inequalities are mostly consequences of Vieta s formulas [5]. It is interesting to use these formulas for cubic equation directly. 9

10 Theorem. Let,y,z be positive roots of the cubic equation with any real a,b t +at +bt = 0. The for these roots,y,z all inequalities of this paper are valid. 7. We can generalize inequalities (), (6) (8) for more general powers. For this aim we use Bernoulli s inequalities [] [] : for u > 0 the following inequalities hold true u α αu+α 0, ( α > or α < 0), u α αu+α 0, ( 0 < α < ). Lemma. Assume that,y,z are positive numbers such that yz =. Then the following inequality holds true : ( ) α ) α ) α + y y + z z + for 0 < α <. Proof. Let X = +, Y = y y +, Z = z z +. Then we have ( ) α ) α ) α + y y + z z + ( α X + Y + ) +( α). Z Similarly we have from (7) that ( ) α y ++ y +y + and from (8) we have ( ) α For α > or α < 0 we have from (6) ) α ) α z z α +z + ( y + ) α ( z + + ) α α. y +y + z +z + ( ) α ) α ) α ++ y +y + z α. +z + 5 Generalizations of original inequality to ones with a set of restrictions on symmetric functions It is easy to show that the maimum of the function (0) is attained for 0 at = and equals to /. 0

11 So the net unconditional inequality holds k=n k= Consider symmetric functions k=n S = k,s = k= k k k + n ; k 0 (0) n k,m=, k m The generalized Damascus inequality Prove an inequality k=n k= k m,...,s n = n. k k k + n C(a,a,,a n ); k 0 () and find the best positive constant in it under conditions on symmetric functions S = a,s = a,,s n = a n () with may be some restrictions in () omitted. The unconditional constant for positive numbers in () is C = 0 and the original inequality gives C = n in case n = and a single restriction S = in the list (). It seems that a problem to find the sharp constant in the inequality () under general conditions () is a difficult problem. For three numbers so more inequalities of the type () may be considered, e.g.. Prove inequality () for positive numbers under condition S = and find the best constant for this case.. Prove inequality () for positive numbers under condition S = and find the best constant for this case. Also combined conditions may be considered.. Proveinequality()forpositivenumbersunderconditionsS = a,s = b and find the best constant C(a,b) in () for this case.

12 6 Symmetricity of symmetric inequalities There are many inequalities that are written in terms of symmetric functions as F (p,q) 0 ( 0 ), where p = S = +y+z, q = S = y +yz +z, r = S = yz =. The following Lemma enlarge the amount of inequalities that one can obtain as a series of very complicated inequalities. Lemma. If the inequality F (p,q) 0 ( 0 ) holds true, then the following inequalities are satisfied : and (i) F (q,p) 0 ( 0 ), (ii) F ( q p, p q ) 0 ( 0 ). Proof. (i). Assume that F(p,q) = F(+y +z,y +yz +z) 0. Using transformations we obtain y,y yz,z z F (p,q) = F (y +yz +z, yyz +yzz+zy) = = F (y +yz +z, +y +z ) = F (q,p) 0. Notice that we can also use transformations (ii). Now assume that Using transformations we derive Also it follows,y y,z z. F(p,q) = F(+y +z,y +yz +z) 0. y z + yz y z + z y,y yz,z z y = y +y z +z = = (y +yz +z) (+y +z) = q p. y z yz = y z + z y + yz z y + z y y z = + yz = +y +z

13 = (+y +z) (y +yz +z ) = p q. The proof is complete. At the end we propose an unsolved problem. Problem. Findallpossiblenon negativevaluesoffourvariables,,, with restriction = for which the net inequality holds k= k k 0, () k + As we know from the eample at the beginning of the paper the inequality () is not true for all such values, e.g. it fails for = = =, = /8. References [] D.S. Mitrinović, J. Pečarić, A.M. Fink. Classical and New Inequalities in Analysis. Springer, 99. [] D.S. Mitrinović, (in cooperation with P.M.Vasić). Analytic Inequalities. Springer, 970. [] A.W. Marshall, I. Olkin, B.C. Arnold. Inequalities: Theory of Majorization and Its Applications. Second Edition. Springer, 0. [] D.S. Mitrinović, J. Pečarić, V. Volenec. Recent Advances in Geometric Inequalities. Kluwer, 989. [5] V.P. Soltman, S.I. Meidman. Equalities and Inequalities in a Triangle (in Russian). Kišinev, Štiinća Publishing, 98. [6] O. Bottema, R.Ž. Djordjević, R.R. Janić, D.S. Mitrinović, P.M.Vasić. Geometric Inequalities. Groningen, 969. AUTHORS: Fozi M. Dannan, Department of Basic Sciences, Arab International University, P.O.Bo 009, Damascus, SYRIA, fmdan@scs-net.org Sergei M. Sitnik, Voronezh Institute of the Ministry of Internal Affairs of Russia, Voronezh, Russia, pochtaname@gmail.com