《几何原本》公理 等于同量的量彼此相等 即若 a=b,b=ca=b,b=ca=b,b=c 则 a=ca=ca=c 等量加等量,其和仍相等 即若 a=ba=ba=b 则 a+c=b+ca+c=b+ca+c=b+c 等量减等量,其差仍相等 即若 a=ba=ba=b 则 a−c=b−ca-c=b-ca−c=b−c 彼此能够(完全)重合的物体是全等的 如下图,△ABC≅△DEF\triangle ABC \cong \triangle DEF△ABC≅△DEF 整体大于部分