Sharpening the Hadwiger-Finsler Inequality

"!#%$&(')*+,-.$/01
24365)798;:=<.>?<@79ACBD24E?FHGJIKAMLNENOPE?7=Q R&7 S
TVUWX/WY[Z0\CY^]`_bacXed^fÛhgZjikìlmfmo n
p
qsrht[u&vxwzy|{}t}~vrhr|w|u&~V~Vrxhu~hx
m`P[^%&&[`}=)^ ¡)}¢¢£¤.¥[)¦^?CP£§`¢¢£s}e£s¡)s%^=N&&)}0¨
}¢¢©§£s¦ª¦«£§`«V¦¦^%)¬
^®ª¯}°^±¯²´³µ;}[¤¶£0s^)/
%¢£§µ§`·&)j£§ª
})^s&
a¸ b¸ ç
S¸
£§`%«V¦¦^%)9)^ ¡)}¢¢£¤`¦ÀBC
¬
a2 + b2 + c2 ≥ 4S
√
3¹
m)} ª¡)&º£c¤¡*£s¦·»&º£e©})¼¦`½ ¾¥À¿eÁ&Â*¼¡ª£&K¦^Ã`Ã&^s}Ä£§`
£0&0`£s¦ª`&Å-£§`}Æ&£s¾0&bÇ= ¤`ÆÃ`[*Á [È Á É¿eÊ&Â ¦ª)¾s^Ë)&ÍÌª}
¹ )NK^ ¸ ¡})¾0.¦«z)} ª¡)&º£s&
Ã)s¦`¦« «[¾s£ 4}[¤£0e})/
£§`P«V¦¢¦^%
¹
¸
ABC
bÌ&H¬
a2 + b 2 + c 2
4Á Î[
√
√
√
≥ ab + bc + ca ≥ a bc + b ca + c ab
√
√
3
≥ 3 a2 b2 c2 ≥ 4S 3 ¹
[`}b})4%^[%&}|«V¦¡))N0£0s¦ª)&}Ìª}e§¦ª-¿eÏ&Â[¬
¸
^®ª¯}°^±¯²ÑÐÉ;}[¤¶£0s^)/
%¢£§µ§`·&)j£§ª
})^s&
a¸ b¸ ç
S¸
£§`%«V¦¦^%)9)^ ¡)}¢¢£¤`¦ÀBC
¬
a2 + b2 + c2 ≥ 4S
√
3 + (a − b)2 + (b − c)2 + (c − a)2 ¹
Ò ¦^ NP/ºÌªN^}&^¼ªe}¾)} ª¡)&º£c¤ª¡?£s¦Ó^¾¡)"ÔVÓ^}¿ Î Â «V¦ªÕ}}Æ¨
¸
Ã`/Ö `
}Æ¸ º¤
¸
^®ª¯}°^±¯²Ñ×É¦ªb)¦ª)¨)}&£s Ìª
^)Ã)¦ªº£sºÌª
N?ªÌª
x¸ y ¸ z ¸
t¸
»`}
xt (x − y)(x − z) + y t (y − x)(y − z) + z t (z − y)(z − x) ≥ 0 ¹
t=1
Ô¢£§`?Æ¦ª§£6¾§¦ªÆÆ¦ª¾s^K/Ö §£ =§¡¾§¾0} Ìª& ¤^ ¡`ºÌ&&£|£0¦m¬
¸
x3 + y 3 + z 3 + 3xyz
3
3
3
x + y + z + 6xyz
Ó&)¾0
≥ xy(x + y) + yz(y + z) + zx(z + x) ¸
≥ (x + y + z)(xy + yz + zx) ¹
x3 + y 3 + z 3 − 3xyz = (x + y + z)(x2 + y 2 + z 2 − xy − yz − zx) ¸
¦ª)N¾s^}}¢º¤.)}ª¡¾0%£§ª£
x2 + y 2 + z 2 +
9xyz
≥ 2(xy + yz + zx)
x+y+z
Ø/ÙÚ§ÛKÜVÝ Þ0ßeà c
Ø/ä0åä§æÝ ä0å=çPäàßèséxäàcÝ êä0ë/ìsÙKêÝ ècàÛ
Ø/ÜíîbçPäàß
èséxá§äàcâ§Ý âêcã ÙÜíÍéïzÝ àcß6çPäàßèséxäàcÝ êä0ë&çPäsÛÍßKèsé6ð§ñ[Ùë íKé|èxòsóÍð/ô õeõcíjè
á
¹
»%£
^)
m = 1/x ¸ n = 1/y ¸
p = 1/z
^®ª¯}°^±¯²;¦ªb^[¤Ã)¦ªº£sºÌªs}&
m¸ n¸
£s¦&£|£§`?^ ¡`ºÌ&&£b«V¦ª0ÆÑ¼)¦^¬
})
p¸
N?ªÌª
mn
np
mp
9mnp
+
+
+
≥ 2(m + n + p)
p
m
n
mn + np + mp
¹
~Vru&hyx¢tm
Ç=¡)6sË)&Æ&£¦«£§`P%^[%&}cª^`§&")} ª¡)&º£c¤.^=«V¦¢¦^?
¹
^®ª¯}°^±¯²ÉP^[¤?£0e})/
%¢£§N§`9})j£§ª
^s&
è[¡)
S¸
r¸
^)¾0s¾0¡)Æe^ª¢¡)
£§`«V¦ABC
¦^%)9)} ª¡)&º£c¤CbÌ&aH¸ ¬ b ¸ c ¸
R¸
2
2
a +b +c
2
≥ 4S
r
3+
4(R − 2r)
+ (a − b)2 + (b − c)2 + (c − a)2
4R + r
ZY`Y^]
·Äm`}¦ªs}Æ N-Í/£
¸
m =
^)
b¤ª&`
h
1
p = 2 (a + b − c) ¹
X (b + c − a)(c + a − b)
}£
s
(a + b − c)
¼`£§`%Í&ÆÃ&sÆ/£0&
¹
+
1
(b
2
+ c − a) ¸ n =
1
(c
2
+ a − b) ¸
9(b + c − a)(c + a − b)(a + b − c)
P
(b + c − a)(c + a − b)
≥ 2(a + b + c) ¹
Ó&)¾0
ab + bc + ca = s2 + r 2 + 4Rr
a2 + b2 + c2 = 2(s2 − r 2 − 4Rr) ¸
})
NN`^¡¾§£§ª£
¹
ÔÏjÖ
ÔÎ Ö
(b + c − a)(c + a − b) = 4r(4R + r) ¹
Ç£§`.¦[£§`} ª}) N.ª/Ìª
2 ¼}¤
a)(c
?&s¦ª ¦ª0Æ.¡`ª`¸ &)¾§ ¦¡)|(b
)}+ ª¡)c&−
º£c¤C
§¡+¾§¾0a}−
Ìªb)(a
& ¤^+
¡`bºÌ−
&&c)£b=£s¦ 8sr
¸
X (b + c − a)(c + a − b)
18sr
+
≥ 4s
(a + b − c)
4R + r
X (s − a)(s − b)
9sr
+
≥ 2s
(s − c)
4R + r
X
Ò ¦^
¸
X
(s − a)2 (s − b)2 +
^¾§¾0¦ªsª) £s¦P£§`%)&£s¢£¤
X
2
(s − a) (s − b)
2
=
X
9s2 r 3
4R + r
≥ 2s2 r 2 ¹
2
(s − a)(s − b) − 2s2 r 2 ¸
^
NNª/Ìª
Ó&)¾0
X
P
2
9s2 r 3
(s − a)(s − b) − 2s2 r 2 +
4R + r
N¾¾0}¼)%s/?e¢£e£s}^
s¦ªÆ
¢£b«V¦¢¦^?b£§ª£
(s − a)(s − b) = r(4R + r) ¸
r 2 (4R + r)2 +
4R + r
s
2
9s2 r 3
≥ 4s2 r 2
4R + r
+
≥ 2s2 r 2 ¹
9r
≥ 4
4R + r
¸
¹
£§`%)&£s¢£s}"ÔVÏ/Öx^)Ô Î ÖHNN`^¡¾§£§ª£
4R + r
2(ab + bc + ca) − (a2 + b2 + c2 )
=
s
4S
Í¦.¦¡)bË)`}¡¾0¾§&K§¦ª¦«h)} ª¡)&º£s&=
2(ab + bc + ca) − (a2 + b2 + c2 )
4S
2
a2 + b2 + c2 ≥ 4S
r
3+
2
≥ 3+
¸
4(R − 2r)
4R + r
4(R − 2r)
+ (a − b)2 + (b − c)2 + (c − a)2
4R + r
£§`%}§£6¦«)N¾C6£§`?)&s^sË)&Æ&£
¹
»"s&Æ}§¥"£§ª&£z¼}¤¡))
[¡`& 6)^ ¡)}¢¢£¤
9r
4R + r
≥ 4−
(a2 + b2 + c2 ) − (a − b)2 + (b − c)2 + (c − a)2
4S
¸
¸ R ≥ 2r ¸
N &£mh`^¦ªs&Æ
¸
¸
Ï
¹
~{ªt^~vrx
%£§xÍ}¾s£s¦ª N9/ Ìª K¦ªÆ ¼ª^§¾z^Ã`Ã`¢¾s&£s¦ª`|¦«`¦¡)zsË)&Æ&£x¦«[£§`
%^[%&}cª^`§&")¸ } ª¡)&º£c¤ »?¼)}/P%º£§
¹
ª±
° ¯²À³ ¹ N}[¤£0s^)/ ABC %¢£§%§`}|¦«&)j£§ª a ¸ b ¸ c })%º£§?Õê[
Ã)s¦&Ìª£§ª&£
ra ¸ rb ¸ rc ¸
a
b
c
+
+
≥ 2
ra
rb
rc
r
3+
4(R − 2r)
4R + r
¹
Y}ai Y[U s¦ªÆÑ£§`%N¨K¥^)¦^?s&&£s¦ª r = S/(s − a) ^)¢£e9}`}¦`/¡} ¸
a
£§`%)} ª¡)&º£c¤C"} ª¡` Ì}}£|£s¦
a
b
c
+
+
ra
rb
rc
=
2(ab + bc + ca) − (a2 + b2 + c2 )
2S
≥ 2
r
3+
4(R − 2r)
4R + r
N`}s£§`}§£|)} ª¡)&º£c¤C«V¦¦^?=«s¦ªÆ´m`}¦ªs}Æ
Ê
¹
¸
Á
ª±°
¯²´Ð
¹
C}[¤?£0s^)/
ABC
%º£§P§`}6¦«`&)j£§ª
r
A
B
C
+ tan
+ tan
≥
2
2
2
tan
Y}aiY[U
s¦ªÆ£§`*¾0¦ª)/
¢£|«V¦¦^?6£§ª£
S = 12 bc sin A ¸
N&£
sin A = 2 sin
¸
1 − cos A
sin A
¼}¤P£§`9£0e&¦ª)¦ªÆ£0e¾|«V¦ª0Æ.¡`^
A
A
cos ¸
2
2
N?&/£
a2 = (b − c)2 + 4S tan
¦)9£§`%K}Æ«V¦ª6&§`}"¦«)£§`£0e})/
a2 + b 2 + c 2
4(R − 2r)
4R + r
Ã)s¦&Ìª9£§ª£
ç
¹
a2 = b2 + c2 − 2bc cos A ¹
a2 = (b − c)2 + 4S ·
ÇP£§`?¦[£§`&bª^)
3+
^)
a¸ b¸
ABC
¹
1 − cos A = 2 sin2
A
2
Ó&)¾0
A
2
})
¹
})[`ª)¡)ÃCN?¦`¼[£s&
= (a − b)2 + (b − c)2 + (c − a)2
A
B
C
+ 4S tan + tan
+ tan
¹
2
2
2
Ò ¦^£§`)} ª¡)&º£c¤C«V¦¦^?=«s¦ªÆ´m`}¦ªs}Æ Ê
¹
m`%«V¦¢¦^%) ^s«£6^"§Õ^}s¾0Í&&¬
ª±
° ¯² × Ä}[¤ £0s^)/
%º£§§`}¦«9&)j£§ª
^)%º£§
a¸ `
¾§¦ªss}Ã¦ª)¹ )?§Õ[e^ª¢^)&¢£sºABC
£s¡)&
^)
Ã bs¸ ¦}cÌª£§ª£
ra ¸ rb ¸ rc
ha ¸ hb ¸ hc ¸
ª±°
¯²
ª±°
¯²
1
1
1
1
+
+
≥
ha r a
hb r b
hc r c
S
C}[¤?£0s^)/
¹
ABC
r
3+
4(R − 2r)
4R + r
%º£§P§`}6¦«`&)j£§ª
1
1
1
1
+
+
≥
b+c−a
c+a−b
c+a−b
2r
¹
C}[¤?£0s^)/
ABC
r
%º£§P§`}6¦«`&)j£§ª
a2
b2
c2
+
+
≥ 3R
b+c−a
c+a−b
a+b−c
a¸ b¸
4−
r
a¸ b¸
4−
¹
^)
9r
4R + r
^)
Ã)s¦&Ìª9£§ª£
ç
ç
9r
4R + r
¹
Ã)s¦&Ìª9£§ª£
¹
¿c»N)¦[£0%£§ª&£"¼}¤4¾§¦ªÆ¼ªª)£§`P^¼)¦&Ìª%%¢£§ [¡`& %)} ª¡)&º£c¤
N
¸ R ≥ 2r ¸
¦`¼£e}C£§` N}^¥^}bs}§¡`¢£
√
a2
b2
c2
+
+
≥ 3R 3
b+c−a
c+a−b
a+b−c
¸
N¾s&Ã)s&Í&£s%}¦Ã`s¦ªÃ¦ª}¦« &}¡)s&£ º¢¡}`}º£0¦ªÃ)¦&££§`m¦ªÆ^ª^
sÅÇ`}}Æ Ó^}¾s£s¦ª.`}0£ `&.Á ^ Â
¸
¹
Á[Á
ª±
° ¯²
}[¤.£0s^)/
%¢£§)&9¦«m})j£§ª
^)
^)C%º£§
ABC
a¸ b¸
ç
¾§¦ªss}Ã¦ª)¹ )?§Õ[e^ª¢
^)
Ã)s¦&Ìª£§ª&£
ra ¸ rb ¸
rc ¸
ra
r
r
s(5R − r)
+ b + c ≥
a
b
c
R(4R + r)
ª±°
¯²
ª±°
¯²
¹
C}[¤?£0s^)/
ABC
%º£§P§`}6¦«`&)j£§ª
1
1
1
1
+
+
≥
b+c−a
c+a−b
c+a−b
2r
C}[¤?£0s^)/
¹
ABC
¹
r
%º£§P§`}6¦«`&)j£§ª
^)
a¸ b¸
4−
9r
4R + r
^)
a¸ b¸
r
5−
1
1
1
+
+
≥
a(b + c − a)
b(c + a − b)
c(a + b − c)
8R
ª±°
¯²
¹
C}[¤?£0s^)/
ABC
%º£§P§`}6¦«`&)j£§ª
1
1
1
+
+
(b + c − a)2
(c + a − b)2
(a + b − c)2
a¸ b¸
1
1
≥ 2
−
r
2
Ã)s¦&Ìª9£§ª£
ç
ç
¹
Ã)s¦&Ìª9£§ª£
9r
4R + r
^)
ç
¹
Ã)s¦&Ìª9£§ª£
9r
4(4R + r)
¹
h¯¯±¯
j¯
¿sÁÂ »&º£e©})¼¦`½ ¾¥ ½ ¼`}¶)")/&¾¡)) )& =s&^¾¥^Í&}¦ªÆ/£0s
¸
¹ f m X/Wf o hX[¸ X o )Z ] ¸ NÔÁ Á Ö ¸ )¦ ¹ ÁjÏ ¸ Á Î Á È ¹
¿sÏÂ Ìª¦ªM[`} })
¹Y[WWXU f}Z f m X/Wf ¹ N[XÍâ%}X & & ¸ ¸ ³P[ÔVªÁ [Î& Ö m¸ )&¦ &¹ £sÁ ¦ª¸ )Î }Á È Î Æ Ï È ¹ =s&^¾¥ ¸
¿ Î Â! Ò »£sK¦ª Ó^¾¡) %)} ª¡)&º£c¤
X fh XWf f&a%$Hf&jX X ¸ ×'CÔÁ Ê^Ê/Ö ¸
h
¸
¸#"
Ï ¹ [¹ Ï
¹
¿ [Â)( Ó£0ª )} ª¡)&º£s&¾0¦ª)¾§&0ª)£§`*è[¡)^)É¾0s¾0¡)Æe^ª¢¡)¦«
£0s¹ ^)/ ¸ acX/WXU cXNg)X/Z f mX/Wf-, ³PÔÁ [È[Î Ö Á[Ï [Á Î Á
¸+*
¸
¸
¹
¿sÊÂ). ª)& ZY0}/ aXW21 Y}a3 U4 VZefX4 cX o Ó}Ã`s)&}6|
5
}e^ Ò /8
7 ¦ª0¥ ¸ Á [ ¹
¹
¸
¸
¸
¿ È Â!9 ¡)Ãª¡ 6
. &}Æ}£e^¤ÑÁ Ã`s¦`Á ¦«Á¦«4£§`´[^%&&[`}Ä)^ ¡)}¢¢£¤ ¸
_=Z:¹ WX^g)¸ X ×NÔVÏ Î Ö )¦
¸
¸
¹
¸
¹
9H/}©§Ã`^^ £0Æ¡)Ã`&¡ £¦«xÅ-£§`}Æ&£s¾0K¨jª«V¦ªsÆ£s¾s `¡`¦ª<5b^ª¡ Ò m9 &¦ª£sKÆ.¦ª`}=ª9H¦`¦`¢¦ª}&£ 3;
"m¦ªªÆºÌª}&ªeº £c¤H¦Ç"«<¨ [Á)> ¡¾Áª^ s&§£
> ¡¾ª}s}0£ ¸ m¦ªÆ}ª zÇ"¨ Á [Á )
pohoata [email protected]
[email protected]

Download Report

Sharpening the Hadwiger-Finsler Inequality

Paperzz.com

Your Paperzz