Let A be a variable point on the line y=4. If B and C are variable points on the line y=−4 such that triangle ABC is equilateral, then