9. 82 . 4
(1)
:
x1 d2 + d3 1 2 3x d d
' '
.
:
2 3 1
3 1 2
x d d
x d d
:
1 2 3 1 2 3x x x d d d
d1, d2, d3 > 0
2 . . :
x1 + x2 + x3 2(d1 + d2 + d3).
= = .
Erdös-Mordell
d1, d2, d3 , , OAB
, , = 2a, = 2b, = 2c.
2. -
[1].
a, b, c a + b + c = x, y, z
xyz > 0 :
yz zx xy
x a + y b + z c + +
2x 2y 2z
(2)
:
(x z a + y z b xy)2
+ (xz a yz b)2
0, :
y2
z2
+ z2
x2
+ x2
y2
+ 2xyz2
(a + b) 2x2
yz a 2xy2
z b 0
a + b + c = :
2x2
yz a + 2xy2
z b + 2xyz2
c y2
z2
+ z2
x2
+ x2
y2
2xyz :