The green lines are external angle bisectors of the black triangle. Prove the red lines are perpendicular.