MathDB
quad is orthodiagonal if midpoints are concyclic 2009-10 Dürer Round1 D3

Source:

December 2, 2022
geometryConcyclicdure

Problem Statement

Prove that the diagonals of a quadrilateral are perpendicular to each other if and only if the midpoints of it's sides lie on a circle.