Coordinate proof

Use algebraic distances and gradients to prove geometric properties.

One step at a time. Answers stay hidden until you have had a go.