《几何原本》公理

等于同量的量彼此相等 即若 a = b , b = c a=b,b=c a=b,b=c 则 a = c a=c a=c

等量加等量，其和仍相等 即若 a = b a=b a=b 则 a + c = b + c a+c=b+c a+c=b+c

等量减等量，其差仍相等 即若 a = b a=b a=b 则 a − c = b − c a-c=b-c a−c=b−c

彼此能够（完全）重合的物体是全等的 如下图， △ A B C ≅ △ D E F \triangle ABC \cong \triangle DEF △ABC≅△DEF

整体大于部分