这道题很好地证明了机构小奥和数学、逻辑是没有关系的——仅仅是机巧套路。以上面那个5-12-13构成的直角三角形为例：获得这个直角三角形的唯一方法是分别以13的两个端点为圆心做半径分别为5和12的圆，连接两圆交点与13的两个端点。但这需要证明5和23共线。如果不用这个方法，而是延长23，在延长线上截取长度为5的点，连接该点与13的另一个端点。这种情况需要证明连线和5、13构成的三角形为直角三角形——注意：现在不能使用勾股定理，因为勾股定理的使用前提是直角三角形。还有一种情况是延长23，再过13的另一个端点做该延长线的垂线，这时候需要证明延长线被垂线截取的那一段长是5。

【 在 milky 的大作中提到: 】
: [upload=1][/upload]
--
FROM 124.64.17.*

实际上我觉得唯一性那步都多余
只要能说明这两个边可以是5和12 我就说我构造了这样的直角梯形 足够了

【 在 sexwolf 的大作中提到: 】
: 再想想有没有通过假设命题成立来证明命题成立
--
FROM 123.116.98.*

获得5-12-13直角三角形的另一个方法是以13的中点为圆心、
13为直径做圆，再以13的某一个端点为圆心做半径为5或12的圆，两圆交点与13构成直角三角形。但实际上两个方法在数学上是一样的。

【 在 sexwolf 的大作中提到: 】
: 这道题很好地证明了机构小奥和数学、逻辑是没有关系的——仅仅是机巧套路。以上面那个5-12-13构成的直角三角形为例：获得这个直角三角形的唯一方法是分别以13的两个端点为圆心做半径分别为5和12的圆，连接两圆交点与13的两个端点。但这需要证明5和23共线。如果不用这个方法，而是延长23，在延长线上截取长度为5的点，连接该点与13的另一个端点。这种情况需要证明连线和5、13构成的三角形为直角三角形——注意：现在不能使用勾股定理，因为勾股定理的使用前提是直角三角形。还有一种情况是延长23，再过13的另一个端点做该延长线的垂线，这时候需要证明延长线被垂线截取的那一段长是5。
--
FROM 124.64.17.*

说说你的证明？

【 在 SYSQP 的大作中提到: 】
: 知道答案之后，证明这个很简单。
:
--
FROM 124.64.17.*

目的是要出现这样一个直角梯形
即使5和12是恰好满足的 对此题已经够用

再加个唯一解释 说明只能是它 不认为有什么不对

【 在 sexwolf 的大作中提到: 】
: 你已经假设5和23共线，然后绕几个圈子再证明5和23共线。
: :
--
FROM 123.116.98.*