Orthogonal Circles and Four Collinear Residual Cassini Points

Two orthogonal circles through opposite vertices of a rectangle meet a fixed equal-product locus in four residual points. At a specified aspect ratio, all four points lie on one explicit line. The proof uses a polynomial identity and excludes only the original rectangle vertices.