关于一个与 “第五公设” 等价命题的证明求关于“三角形的面积可以任意大”与第五公设的等价性证明 只要详细准确的证明就可以了注：据某书本所述,这是高斯提出来的 “证明” 第五公

来源：学生作业帮助网 编辑：六六作业网 时间：2024/12/24 04:22:15
关于一个与“第五公设”等价命题的证明求关于“三角形的面积可以任意大”与第五公设的等价性证明只要详细准确的证明就可以了注：据某书本所述,这是高斯提出来的“证明”第五公关于一个与“第五公设”等价命题的证明

关于一个与 “第五公设” 等价命题的证明求关于“三角形的面积可以任意大”与第五公设的等价性证明 只要详细准确的证明就可以了注：据某书本所述,这是高斯提出来的 “证明” 第五公
关于一个与 “第五公设” 等价命题的证明
求关于“三角形的面积可以任意大”与第五公设的等价性证明
只要详细准确的证明就可以了
注：据某书本所述,这是高斯提出来的 “证明” 第五公设的“引理”——当然是错的,但书本没有给出其与 “第五公设” 等价的证明过程
而且百度上竟然也没有

关于一个与 “第五公设” 等价命题的证明求关于“三角形的面积可以任意大”与第五公设的等价性证明 只要详细准确的证明就可以了注：据某书本所述,这是高斯提出来的 “证明” 第五公
这个问题比较复杂,牵涉到很多东西,我只能提供一部分信息.这一尝试可追溯到Wallis,当然条件稍强一些.
所谓的等价性要看其它的公理,比如Euclid的关于直线无限延伸第二共设排除了椭圆几何,如果采用Hilbert绝对几何公理体系的话也可以说明平行线的存在性,同样自动排除椭圆几何.在这样的体系里只需要证明与第五共设等价的Playfair公理,即过直线外一点最多只有一条平行线.
有一种证明的方式是这样,用反证法假定至少有两条平行线,从这一平行公理出发导出双曲几何下的面积S=(pi-A-B-C)R^2,这样就得到上界pi*R^2,与面积无上界矛盾.
面积的定义很其实重要,用显式表达式来定义的方式依赖于平行公理.比如Euclid几何里的面积依赖于矩形的存在性,Lobachevsky几何或球面几何里的面积则都借助A+B+C-pi,这些显式定义都依赖各自的平行公理.所以如果不想依赖平行公理的话面积的定义需要用满足非负性和可加性的函数的方式来给抽象定义.
只采用抽象面积定义的证明方式我不知道,不过我可以给你提供一些信息.尽管没有平行公理,还是有很多工具可以用的.比如
1) 内错角相等导致直线平行.(但是反过来不行,那样就等价于欧氏平行公理)
2) 平行线的存在性：做垂线的垂线即得.
3) 三角形外角大于不相邻内角；任何两个内角和小于pi；三个内角和不超过pi.
4)用来证明欧氏平行公理比较好的目标也许是存在一个内角和为pi的三角形.另一个目标可以是非全等的相似形的存在性,也可以导致欧氏平行公理.

关于一个与 “第五公设” 等价命题的证明求关于“三角形的面积可以任意大”与第五公设的等价性证明 只要详细准确的证明就可以了注：据某书本所述,这是高斯提出来的 “证明” 第五公 怎样用三角形内角和=180来证明第五公设?不是说证明这些公设也等于证明了第五公设吗？那为什麽不能用三角形内角和=180来证明第五公设？第五公设的等价公设在试图证明第五公设的正确性 平行公理和几何原本中的第五公设有什么关系人人都说现在的平行公理,过直线外的一点能作且只能作一条直线与已知直线平行,是欧几里得的几何原本中的第五公设的等价命题.可是第五公设( 三角形内角和等于180度为什么和第五公设是等价命题 欧式几何的第五公设目前能证明吗? 证明原命题与逆否命题等价 欧几里德五大公设讲的是什么,能证明吗比如说第五公设这样的啊,有图解更好···· 公理与公设的区别 如何用排中律证明逆否命题与原命题等价.逆否命题与原命题等价,是公理.但与排中律等价,所以可以推出, 什么是第五公设? 若两个命题等价,它们的逆风命题是否等价,若等价,请证明之.逆否命题，不是逆风命题“ 欧几里德的第五公设（这个公理说,过线外一点只能有一条直线与已知直线平行.人们后来证明这个公理并不是十分可靠的）.为什么这是错误的 哥德尔不完备定理的哲学思考欧几的第五公设与它的否定均可以成立,但它们是矛盾的.如果这二公设都包含在内（即完备的）,那么这体系是矛盾的,如果这体系只包含一个（不矛盾）,就是不 命题a大于2且b＞2与命题a+b＞4,ab＞4等价吗,若等价给出证明,不等价请举出反例. 命题a大于2且b＞2与命题a+b＞4,ab＞4等价吗,若等价给出证明,不等价请举出反例. 如何证明第一公设 用原命题与它的逆否命题等价的原理证明：若p^2+q^2=2则p+q 命题公式A与B是等价的含义