Спасибо за ссылку на artofproblemsolving. Моё решение содержит ту же основную идею, что и решение vittasko, но доказательство более элементарно. А вот и "more details":
TX=TY:
http://narod.ru/disk/24981325001/130920111337.jpg.htmlПро теоремы Менелая:
1. (AE,M)(EB,D)(BA,P)=1
2. (AE,C)(EB,N)(BA,Q)=1
3. (AE,M)(EB,N)(BA,Y)=1
4. (AE,C)(EB,D)(BA,X)=1
1.+2.+3.+4. :(AB,P)/(BA,Q)=(AE,M)(EB,D)/(EA,C)(BE,N)=(AE,M)(EB,N)(AE,C)(EB,D)=(AB,Y)(AB,X)=1 (последнее из TX=TY).