The blue tangent lines are parallel. Prove the green point and two red points are either collinear or form a right angle.