My homework for "Problem Solving with Computers": prove all points F form a circle 1/2 radius of larger circle.