Taisnleņķa trijstūra \(ABC\) taisnais leņķis ir \(A\). Punkts \(X\) ir no \(A\) pret \(BC\) vilktā augstuma pamats. Nogriežņa \(XC\) viduspunkts ir \(Y\). Uz malas \(AB\) pagarinājuma izvēlēts punkts \(D\) tā, ka \(AB=BD\). Pierādīt, ka \(DX\) ir perpendikulārs \(AY\).