Does anyone know what theorem this is? Or how to prove it?
Let $ABC$ be a triangle with sides $a, b, c$. Let $D$ be the midpoint of side $BC$ and $w = AD$ the length of the median through $A$. Prove that: $$w^2={b^2\over 2}+{c^2\over 2}-{a^2\over 4}.$$

Reflect $A$ across $D$, we get new point $E$ such that $ABEC$ is parallelogram.
By the Parallelogram Identity (which can be easily proved, say by the The Law of Cosine) we have $$2AB^2+2AC^2 = AE^2+BC^2$$
$$2c^2+2b^2 = a^2+(2w)^2$$
Now you can finish...