14.12. We will prove that if segments B1C1 and B2C2 are drawn through point O, with endpoints B1 and B2 lying on side AB of the given angle
!
Fig. 101
BAC, and endpoints C1 and C2 lying on side AC, and if
∠AOB2>∠AOB˙1⩾90∘
(Fig. 101), then
B1O1+C1O1>B2O1+C2O1
Let B3 and C3 be the points of intersection of line B1C1 with the lines passing through points B2 and C2, respectively, parallel to line AO. Since
∠B2B3O=∠AOB3⩾90∘
then OB2>OB3 and
B1O1−B2O1=B1O⋅B2OB2O−B1O>B1O⋅B2OB3O−B1O=B1O⋅B2OB1B3=AO⋅B2OB2B3
(because △B1B3B2∼△B1OA). Similarly, we obtain
C1O1−C2O1>−AO⋅C2OC2C3
Adding the resulting inequalities and considering the similarity of triangles B2B3O and C2C3O, we have
B1O1+C1O1−(B2O1+C2O1)>AO⋅B2OB2B3−AO⋅C2OC2C3==AO1(B2OB2B3−C2OC2C3)=0.
If the line passing through point O is perpendicular to line AO and intersects rays AB and AC at points B1 and C1, respectively, then segment B1C1 is the desired one. Indeed, for any other segment B2C2 passing through point O, one of the inequalities holds
∠AOB2>90∘ or ∠AOC2>90∘
(for definiteness, we can assume that points B2 and C2 lie on rays AB and AC, respectively, and the first inequality is satisfied). Then the above inequality holds. If the line passing through point O perpendicular to line A does not intersect one of the sides of angle BAC, say side AC, then the desired segment cannot be constructed. Suppose that the desired segment is some segment B2C2, with endpoints B2 and C2 lying on rays AB and AC, respectively. Then
∠AOB2>90∘,
and if we choose point C1 on the extension of segment AC2 beyond point C2 and draw another segment C1B1 through point O, then again
90∘<∠AOB1<∠AOB2
and by the above inequality, segment B2C2 does not satisfy the required condition.