Не съм го чел подробно, но това е по-дългия начин

По краткия е е да се прекара ъглополовящата на [tex]\angle A_1MB_1[/tex] (симетрала на [tex]A_1B_1[/tex]) и да се докаже, че тя пресича [tex]AA_1[/tex] и [tex]BB_1[/tex] в точки от съответните окръжности.
Затова казах, че тази информация прави задачата по-лесна.