问题背景 #

我最近做了个几何小构造：先画两条平行直线，再结合三个圆的位置来连接线段。我找到了两种核心的连接方式（排除了能构成三角形的情况）：

• 第一种连接后得到梯形：两条平行线作为一组对边，另外两条长度相等的边向同侧倾斜，最终形成只有一组对边平行的四边形
• 第二种连接后得到平行四边形：同样以两条平行线为一组对边，另外两条等长的边分别向两侧倾斜，最后得到两组对边都平行的四边形

通过这个构造，我能得到三种图形——三角形（上述两种连接里没展示）、梯形，还有平行四边形。现在我有两个问题：

1. 能不能通过这个构造，推导出“一组对边平行且另一组对边相等的四边形是梯形或平行四边形”这个定理？
2. 如果可以的话，……（原提问未补充完整，暂时保留此表述）

答主解答 #

嘿，这个构造思路挺有意思的！我们来一步步捋清楚：

首先，你的构造其实是从给定一组平行边+另一组等长边的条件出发，枚举了可能的图形情况——但要推导定理，得反过来从任意满足条件的四边形入手，而不局限于你这个特定的构造哦。

不过你的构造已经精准命中了核心逻辑：假设四边形ABCD中，AB∥CD，且AD=BC。我们可以过A、B分别作CD的垂线，垂足为E、F。因为AB∥CD，所以AE=BF（平行线间的距离相等）。结合AD=BC，Rt△ADE≌Rt△BCF（HL定理），所以∠ADE=∠BCF。

这时候分两种必然情况：

• 如果∠ADE和∠BCF是同旁内角（对应你第一种构造，两条等长边向同侧倾斜），此时AD和BC无法平行，四边形只有AB∥CD这一组平行边，也就是狭义上的梯形；
• 如果∠ADE和∠BCF是内错角（对应你第二种构造，两条等长边向两侧倾斜），那么AD∥BC，结合AB∥CD，自然就得到了平行四边形。

回到你的问题：你的构造是个非常棒的直观示例，完美展示了满足条件的四边形只会是这两种情况，但要成为严谨的定理推导，还需要补充上面这种通用的几何证明步骤——毕竟定理要适用于所有满足条件的四边形，而不只是你构造出来的这些特例。

简单总结：你的构造抓住了定理的核心分类逻辑，再补全通用证明，就能完成这个定理的推导啦！

备注：内容来源于stack exchange，提问作者Rusurano