1543

Prove the sum of the blue line segments equals the red diameter.