MathDB
midpoint wanted, reflect center of square wrt vertex

Source: Austria Beginners' Competition 2009 p4

December 26, 2021
geometrymidpointsquare

Problem Statement

The center MM of the square ABCDABCD is reflected wrt CC. This gives point EE. The intersection of the circumcircle of the triangle BDEBDE with the line AMAM is denoted by SS. Show that SS bisects the distance AMAM.
(W. Janous, WRG Ursulinen, Innsbruck)