1676

Given an arbelos. Prove the red shape is a rectangle.