数学里的三线合一是什么,用它证明什么