MathDB
concyclic, <OAD+<OBC= <ODA + <OCB = 90^o (2021 Kyiv City MO Round2 10.4)

Source:

February 14, 2021
geometryConcyclicangles

Problem Statement

Inside the quadrilateral ABCDABCD marked a point OO such that OAD+OBC=ODA+OCB=90o\angle OAD+ \angle OBC = \angle ODA + \angle OCB = 90^o. Prove that the centers of the circumscribed circles around triangles OADOAD and OBCOBC as well as the midpoints of the sides ABAB and CDCD lie on one circle.
(Anton Trygub)