三线合一的逆定理可以直接使用吗