什么是全等形

这取决于你采用什么公理体系，在几何基础的公理体系中，全等三角形的判定(SAS)是由合同公理规定的，这实际上相当于几何原本中“彼此能够重合”的严格化。 另外我认为上面那位答主有误，如果不是用分析方法而是用平面几何方法定义三角函数，相似形在逻辑上是先于三角函数的，否则我们无法通过弧长比半径给出三角函数的良好定义，甚至无法说明π是个常数