△ABC 外接圆为圆O  I为内心 Ia为A-旁切圆圆心
直线AIa与圆O交于点M 与BC交于点A1
N为弧ACM的中点
IaN与圆O交于T IN与圆O交于S
求证：S A1 T三点共线
--
FROM 111.199.185.*