If two common tangents are perpendicular then they are equal
Source: 2020 Caucasus Mathematical Olympiad
March 16, 2020
geometry
Problem Statement
Let and be two non-intersecting circles. Let one of its internal tangents touches and at and , respectively, and let one of its external tangents touches and at and , respectively. Prove that if , then .