Maths Olympiad Prep

Library / /496 of 520

Algebra Difficulty 6.3 National olympiad Prove it

Example 17 Let MM be a point inside an acute ABC\triangle ABC such that AMB=BMC=CMA=120\angle AMB = \angle BMC = \angle CMA = 120^{\circ}. Let PP be any point inside ABC\triangle ABC. Prove that: PA+PB+PCMA+MB+MCPA + PB + PC \geqslant MA + MB + MC.
(1978 Shaanxi Provincial Competition Additional Question)

Solution

Proof As shown in Figure 26-1, establish a complex plane, and let the complex numbers corresponding to points A,B,CA, B, C be a,b,ca, b, c, and the complex number corresponding to point PP be zz. Noting the properties of the 3rd roots of unity, we have az+bz+cz|a-z|+|b-z|+|c-z|
=az+(bz)ω+(cz)ω2(a+bω+cω2)z(1+ω+ω2)=a+bω+cω2. \begin{array}{l} =|a-z|+|(b-z) \omega|+\left|(c-z) \omega^{2}\right| \\ \geqslant\left|\left(a+b \omega+c \omega^{2}\right)-z\left(1+\omega+\omega^{2}\right)\right| \\ =\left|a+b \omega+c \omega^{2}\right| . \end{array}

Since the right side of inequality ()(*) is a constant, from the proof process of ()(*), the condition for equality in inequality ()(*) is that the three complex numbers az,(bz)ωa-z, (b-z) \omega, and (cz)ω2(c-z) \omega^{2} correspond to vectors in the same direction. By the geometric meaning of complex number multiplication, this means that the vectors PA,PB,PC\overrightarrow{P A}, \overrightarrow{P B}, \overrightarrow{P C} corresponding to az,bz,cza-z, b-z, c-z have pairwise angles of 120120^{\circ}, i.e., PP coincides with point MM. Therefore, PA+PB+PCMA+MB+MCP A+P B+P C \geqslant M A+M B+M C.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.