MathDB
<OPO' = 90^o wanted, externally tangent circles

Source: 1999 Swedish Mathematical Competition p2

April 2, 2021
right anglecirclesgeometry

Problem Statement

Circle CC center OO touches externally circle CC' center OO'. A line touches CC at AA and CC' at BB. PP is the midpoint of ABAB. Show that OPO=90o\angle OPO' = 90^o.