Maths Olympiad Prep

Library / Bulgaria competition problems /27 of 44

Bulgaria competition problems

Geometry Difficulty 6.3 National Olympiad Prove it Bulgaria

Given a △ABC\triangle ABC and a function f:R+→Rf : \mathbb{R}^+ \to \mathbb{R} with the following property: for any segment DEDE of the interior of the triangle and its midpoint MM one has that
f(d(D))+f(d(E))≤2f(d(M)). f(d(D)) + f(d(E)) \le 2f(d(M)).
where d(X)d(X) denotes the distance from XX to the boundary of △ABC\triangle ABC. Prove that for any segment PQPQ of the interior of △ABC\triangle ABC and any point NN on this segment we have
∣QN∣⋅f(d(P))+∣PN∣⋅f(d(Q))≤∣PQ∣⋅f(d(N)). |QN| \cdot f(d(P)) + |PN| \cdot f(d(Q)) \le |PQ| \cdot f(d(N)).

Solution

Denote by k(I,r)k(I, r) the incircle of △ABC\triangle ABC. It is clear that the image of dd is the interval Δ=(0,r]\Delta = (0, r].

Varying DD and EE on AIAI, it follows that ff is a mid-point concave function on Δ\Delta, i.e. f(2x)+f(2y)≤f(x+y)f(2x) + f(2y) \le f(x + y).

Note that the points on given distance (from the boundary) form a triangle homothetic to △ABC\triangle ABC (with center of homothety II) and the mid-points of the segments with ends at these points run over the whole interior of this triangle. It follows that ff is an increasing function on Δ\Delta.

Since ff is a mid-point concave and increasing function, then it is continuous. Indeed, if f−(x)f^{-}(x) and f+(x)f^{+}(x) are the left- and the right-hand limit of ff at xx (f+(r):=f(r)f^{+}(r) := f(r)), then f−(x)+f(x)≤2f−(x)f^{-}(x) + f(x) \le 2f^{-}(x) and f−(x)+f+(x)≤2f(x)f^{-}(x) + f^{+}(x) \le 2f(x) (why?) and hence f−(x)=f(x)=f+(x)f^{-}(x) = f(x) = f^{+}(x). So ff is a convex and increasing function.

Then, since dd is a concave function, it is easy to see that f∘df \circ d is a concave function. This also follows from the fact that f∘df \circ d is a mid-point concave and continuous function (because of the continuity of ff and dd).

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

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.