因为用∵，所以用∴代替。我们在进行几何演绎推理的时候，条件都要用∵符号来表示。结论得用∴来表示。例如在证明三角形是一个直角三角形的时候，我们就用这样的符号来证明。已知△ABC的三边a，b，c。a=3，b=4，c=5。∵a的平方+b的平方=25，c的平方=25。a的平方十b的平方=c的平方。∴△ABC是直角三角形。
