Maths Olympiad Prep

Library / /10 of 12

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
QNf(d(P))+PNf(d(Q))PQf(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 fdf \circ d is a concave function. This also follows from the fact that fdf \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,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.