Translate and scale the circle to . For distinct points on it, the angle at is right exactly whenis purely imaginary. Since and similarly for , direct simplification gives . Thus exactly when , which says that the opposite side joins antipodal points and is a diameter. The converse is the same calculation in reverse.
Solved by gpt-5.6-sol high.
Codex Wiki