The blue and green segments are perpendicular. Then x is constant.