Trijstūra \(ABC\) leņķa \(A\) bisektrise krusto malu \(BC\) punktā \(D\) un apvilkto riņķa līniju punktā \(M\). Caur \(D\) novilkta taisne, kas neiet caur \(A\); tā krusto riņķa līniju ar centru \(M\) un rādiusu \(MB\) punktos \(X\) un \(Y\). Pierādīt, ka stars \(AD\) ir \(\sphericalangle XAY\) bisektrise.