- 主题:多说一句：勾股定理实际上是公理，几何方法是不可证的。
看了一下直角定义，不是用sin定义的，是用直线相交临角相等定义的。用这个定义能用网上说的赵爽的方法
推导出勾股定理。
【 在 moonwalker 的大作中提到: 】
: 从现代数学的理解，勾股定理实际上描述的就是sin（90度）=1。
: 这是一个描述体例，实际上是利用sin（90度）=1来定义了90度（直角）。所以这个实际上是公理，而不是定理。
:
--
修改:vontitan FROM 114.254.0.*
FROM 114.254.0.*
平面几何定理有很多是作图弄出来的，不也是观察的结果？
【 在 moonwalker 的大作中提到: 】
: 赵爽的方法是切割拼图，但是切割拼图也没法证明拼图之间没有缝隙，所以只是说明，不算是严格证明。
: 实际上，超出平面几何之外，在球面几何里sin（90度）是可以大于1的。而在双曲平面几何里，sin（90度）则小于1。而我们现在看到的勾股定理，首先是一个观察实证的结果。
--
FROM 114.254.0.*
直角三角形是个定义，斜边的计算方法是个定理。这些都不是公理。
【 在 moonwalker 的大作中提到: 】
: 作延长线、作平行线，这些都是平面几何证明的常用手段，这些方法都在平面几何可证的范围之内。
--
FROM 114.254.0.*