15
$\begingroup$

I was told this question by a friend, who said that their friend had thought about it on and off for six months without any luck. I have then had it for a while without any luck either. It is in the style of a contest question, but it is unlike any other, as really nothing seems to gain any ground.

Here's the question:

Let $f:[0,1]\rightarrow \mathbb{R}$ be a continuous function satisfying the following property: If $ABC$ is the equilateral triangle with side lengths 1, we have for any point $P$ inside $ABC$, $f(\overline{AP})+f(\overline{BP})+f(\overline{CP})=0$ where $\overline{AP}$ is the distance from point P to vertex $A$. (Example: by taking $P=A$ we see $f(0)=-2f(1)$.)

Prove or disprove: $f$ must be identically zero on its domain

Notice that continuity is critical since otherwise I could just take the function $f(x)=0$ whenever $x\in (0,1)$ and $f(0)=1$, $f(1)=\frac{-1}{2}$.

3 Answers 3

9

Chandru has provided the link to a complete solution, but as Eric notes, it is somewhat involved. Some months ago, being unaware of that solution, I had found a less involved proof if you assume that $f$ is not only continuous but also differentiable. I reproduce that proof below.

Let $\triangle$ be the set of points inside or on the triangle, and $a, b, c : \triangle \to [0,1]$ be scalar fields on $\triangle$ mapping any point $P$ to the distances $\overline{AP}$, $\overline{BP}$, $\overline{CP}$ respectively. Define the scalar field $g := f \circ a + f \circ b + f \circ c = 0.$ It is easily shown that $\nabla a$ is a unit vector pointing away from $A$, and similarly for $b$ and $c$. Then \nabla g = f'(a) \nabla a + f'(b) \nabla b + f'(c) \nabla c, where f'(x) = df/dx. But $g$ is constant, so $\nabla g = 0$.

Take $P$ to be a point on the side $AB$. Then $\nabla a$ and $\nabla b$ are antiparallel, while $\nabla c$ is linearly independent. For their linear combination to be $0$, the coefficient of $\nabla c$, which is f'(c), must be $0$. Since $P$ is an arbitrary point on $AB$, $c$ is any value between $\sqrt{3}/2$ and $1$, so over that range f' is zero, and $f$ is constant.

Once we've shown that f' is zero between $\sqrt{3}/2$ and $1$, for any other value $a$ it's fairly easy to pick a point inside the triangle that's $a$ units from $A$ and over $\sqrt{3}/2$ units from $C$. Now \nabla g = f'(a) \nabla a + f'(b) \nabla b + f'(c) \nabla c = 0. The last term drops out because f'(c) = 0. $\nabla a$ and $\nabla b$ are linearly independent in the interior of the triangle, so their coefficients f'(a) and f'(b) must be zero. Thus f' = 0 everywhere, so $f$ is constant. In particular, $f(1/\sqrt{3}) = 0$, so $f = 0$ everywhere.

  • 1
    Can you make a random edit so that I can switch my vote from down to up? =S2011-06-13
6

This is a problem asked in the American Mathematical Monthly. May be this link could be of some help:

  • 0
    @PEV: Well, said PEV!2011-01-23
2

Though Chandru has provided the link to the solution, I was wondering if the following approach could be of any help.

Instead of choosing $P$ to coincide with a vertex, let $P$ to fall on one of the sides say $AB$.

Let $AP = x$. Since $ABC$ is an equilateral triangle $BP = 1-x$ and $CP = \sqrt{1+x^2 - x}$.

So $\forall x \in [0,1]$, the function has to satisfy $f(x) + f(1-x) + f(\sqrt{1+x^2 - x}) = 0$

Can we squeeze a proof that $f(x)$ has to be zero out of this?

  • 0
    I don't believe so, but I could be wrong. There's a few other symmetries we can use too. First by considering the center of the triangle we find $f(\frac{1}{\sqrt{3}})=0$. Also along one of the perpendicular bisectors we have a similar equation: $2f(x)+f(\frac{\sqrt{3}}{2}-\sqrt{x^2-0.25})=0$. Both of these equations let me to consider circles centered at the vertices of the triangle, but stuff was just too messy to use. (Square roots ruined everything). Having said that I did find a relatively simple argument which showed that $f$ was a monotonic function.2011-01-23