△ABC中 a b c分别是A B C三点的对边
满足a+b=3c
I为内心 M为重心
求证：IM⊥AB

解析证法算是可以算出来的 复杂度可以接受
能不能凑出来欧几里德几何的证法？
--
修改:calculus2000 FROM 111.199.191.*
FROM 111.199.191.*