[math-fun] Geometric proof for sum-of-powers identity