Date: Mon, 4 Dec 2000 21:57:10 -0500 (GMT)
From: Alexander Bogomolny
I have posted this inequality to the geometry.puzzle newsgroup. Virtually immediately Antreas Hatzipolakis posted the following:
Alexander Bogomolny asked: >Is this one known too? > >sin(A)*sin(B)/sin(C/2)^2 + >sin(A)*sin(C)/sin(B/2)^2 + >sin(B)*sin(C)/sin(A/2)^2 >= 9 No, at least to me. So, next time I see it posted, I will refer to Alex Bogomolny's Inequality :-) Let's prove it: In cyclical form reads: sin(B)*sin(C)/sin(A/2)^2 + sin(C)*sin(A)/sin(B/2)^2 + sin(A)*sin(B)/sin(C/2)^2 >= 9 If we de-trigonometrize it, we get: s-a s-b s-c 9 ----- + ----- + ----- >= --- ( s := semiperimeter) a^2 b^2 c^2 4s ==> -a + b + c a - b + c a + b - c 9 ------------ + ---------- + ---------- >= ---------- a^2 b^2 c^2 a + b + c ==> b + c c + a a + b (------)^2 + (-----)^2 + (-----)^2 >= 12 a b c b + c b^2 + c^2 + 2bc 4bc We have: (-----)^2 = ---------------- >= ----- a a^2 a^2 etc. ==> b + c c + a a + b bc ca ab (----->^2 + (-----)^2 + (-----)^2 >= 4(---- + ---- + ----) = a b c a^2 b^2 c^2 1 1 1 = 4abc(--- + --- + ---) >= 12 QED a^3 b^3 c^3 [since for x,y,z > 0 ==> x^3 + y^3 + z^3 >= 3xyz] AntreasP.S. For those who wondered, Antreas arrived at his starting point using the two inequalities:
(s - b)(s - c) sin(A/2)sin(A/2) = -------------- bc s(s - a) cos(A/2)cos(A/2) = -------- bc
71547312