内容 第1卷 · 27
命题 Propositio I.25
If two triangles have two sides equal to two sides respectively, but have the base greater than the base, they will also have the angle contained by the equal straight lines greater than the angle.
若两个三角形有两边分别相等，但其中一个底边较大，则它的夹角也较大。
三角形 ABC（夹角较大）与 DEF（夹角较小），两边对应相等；ABC 底边较大。
正文图形由校订坐标生成；点、线、角、圆可与证明和问答联动。
分步证明Step-by-step proof
1 / 4若底边较大但夹角不较大，则夹角只能相等或更小。
夹角相等时，由 euclid-elements/book1-prop-004 底边应相等，矛盾。
夹角更小时，由 euclid-elements/book1-prop-024 对应底边应更小，也矛盾。
所以较大底边所对的夹角必较大。
我的笔记 自动保存