MathDB
SMT 2018 Geometry #1 semicircle

Source:

August 8, 2023
geometry

Problem Statement

Consider a semi-circle with diameter ABAB. Let points CC and DD be on diameter ABAB such that CDCD forms the base of a square inscribed in the semicircle. Given that CD=2CD = 2, compute the length of ABAB.