Problem

Source: Bulgarian Spring Tournament 2023 10.2

Tags: geometry



An isosceles $\triangle ABC$ has $\angle BAC =\angle ABC =72^{o}$. The angle bisector $AL$ meets the line through $C$ parallel to $AB$ at $D$. $a)$ Prove that the circumcenter of $\triangle ADC$ lies on $BD$. $b)$ Prove that $\frac {BE} {BL}$ is irrational.