show/hide this revision's text 1 [made Community Wiki]

If you want research level mathematics, the joint theorem is an excellent example of the polynomial technique that can be presented to high-school students. The statement is

$n$ lines in the space can form at most $Cn^{3/2}$ joints (the points where at least three non-coplanar lines intersect).

The proof (for an expert) consists of 3 "elementary" steps:

1) Let $(m+1)^3$ be the least cube that is greater than the number of joints formed. Then we can find a not identically zero polynomial $P(x,y,z)$ of degree $3m$ or less vanishing on all joints (the number of free parameters (coefficients) exceeds the number of linear conditions).

2) Take such polynomial of least degree. If every line contains at least $3m+1$ joints, then the polynomial must vanish on every line. Hence, at each joint, three independent directional derivatives must vanish, whence the differential vanishes. Thus some partial derivative $P_x$, $P_y$, or $P_z$ is a lower degree polynomial with the same properties, which is impossible. Therefore, at least one line contains $3m$ joints or fewer.

3) Remove that line and repeat the argument. We see that each time we remove $3m$ joints or fewer, so we will have to remove at least $m^2/3$ lines before we get rid of all joints. So, we had at least that number of lines in the configuration.

Presenting it to high school kids may easily take two full lectures but there is nothing there beyond their comprehension.

If you want an "olympiad flavor" purely geometric problem, my vote goes to the famous pentagonal area identity:

If you have a convex pentagon $A_1\dots A_5$, $S$ is its area, and $S_j$ is the area of the triangle $A_{j-1}A_jA_{j+1}$, then $$ S^2-S(S_1+S_2+S_3+S_4+S_5)+S_1S_2+S_2S_3+S_3S_4+S_4S_5+S_5S_1=0 $$ The slickest proof I know is to start with a pentagon and to move $A_1$ along the line parallel to $A_5A_2$ until you get a degenerated pentagon, which is actually a convex quadrilateral with one extra vertex on a side. Note that the left hand side is a linear function in this case, so if we have the identity at the endpoints, we have it throughout. For the degenerate pentagon repeat the trick moving the point on the side along it. You'll see that it suffices to prove the identity for a pentagon that is a convex quadrilateral with one vertex doubled (say $A_1=A_2$). But then it becomes obvious because $S_1=S_2=0$, so we are left with $$ S^2-S(S_3+S_4+S_5)+S_3S_4+S_4S_5=0 $$ but $S_3+S_5=S$ (those two tile the quadrilateral now).

Again, there is a traditional proof, but it is much harder to find :)