Problem

Source: The South African Mathematical Olympiad Third Round 2023 P2

Tags: geometry, cyclic quadrilateral



$ABCD$ is a cyclic quadrilateral with $\angle BAD=90^\circ$ and $\angle ABC>90^\circ$. $AB$ is extended to a point $E$ such that $\angle AEC=90^\circ$.If $AB=7,BE=9,$ and $EC=12$,calculate $AD$.