The yellow shape is an arbelos. Prove the red and blue points are collinear. Prove the red and green points are collinear.