用于检查Python中两个三角形的一致性的程序