I think you can prove it by induction. I will do weird ones and you can expand it:
Without loss of generality, we can say that the points lie along the line y = 0 and that the central point is (0, 0). This is because affine transformations, such as rotations and translations, do not affect relative distances.
Let the set of points on the line be defined as P = {(x, 0) & lt = x real} Define the distance from the point X as the sum (P => | P - X |)
Lemma 1 . The center point should be along the line y = 0. Suppose that the center point is at the point (x, y) with y! = 0. Consider the point (x, 0).
sum (P - (x, y)) = sum (sqrt ((px) * (px) + (0-y) * (0-y)))
= sum (sqrt (p * p - 2xp + x * x + y * y))
> sum (sqrt (p * p - 2xp + x * x + (0-0) * (0-0)))
= sum (P - (x, 0))
This is a contradiction, therefore y = 0 must be true.
Base case of 1 element . This is an odd number of items, so select it: (0, 0). Suppose that there exists a point X = (x, 0) such that x is closer. Then this means that | x - 0 | <(0 - 0) or what | x | <0, which is impossible. Therefore (0, 0) is the central point.
A base register of three elements . This is an odd number of elements, so choose a midpoint: (0, 0). Without loss of generality, let two other points (a <0, 0) and (b> 0, 0). Suppose there is a point X = (x, 0) that is closer. Then this means that:
| x - 0 | + | x - a | + | x - b | <| 0 - 0 | + | 0 - a | + | 0 - b |
<=>
| x | + | x - a | + | x - b | <| | + | b |
But:
| x | + | x - a | + | x - b | > = | x | + | a | + | b | > = | a | + | b |, which contradicts the assumption, therefore (0, 0) is the central point.
The case with N elements (N odd) . Suppose that all odd sets of points satisfy the above conditions. Let P be a set with N elements and arrange them as follows:
{(a, 0), Q = {the set of N-2 elements centered at (0, 0)}, (b, 0)}
Suppose that the center point is X = (x, 0).
sum (P - X) = | xa | + | xb | + sum (Q - X)
> | xa | + | xb | + sum (Q - (0,0))
> = | a | + | b | + sum (Q - (0,0))
= sum (P - (0,0))
This means that the assumption is contrary, therefore (0,0) must be the center point.
This proves this for all odd numbers. Even numbers should be the same.