平几爱好者进

ywb0743

原帖由 crmxm 于 2009-7-30 18:39 发表
是啊是啊，我也是这么做的，化简得
r=R(cosA+cosB+cosC-1)

7楼和10楼的朋友， 你的结论有问题， 做的过程应该想简单了，不够缜密。
给你指出一下： 假设是正三角形 按你的公式算出来半径是-5/2R？？
  假设是正方形 按你的公式算出来是-2R??
  半径可能是负数吗？

正确的做法是 先证明对于任意圆内接四边形成立
利用公式r=4Rsin(A/2)sin(B/2)sin(C/2)
其中r是任意三角形内切圆半径
     R是其外接圆半径
下面把四边形按其两条对角线 剖分成两组三角形 ，分别求出两组三角形的内切
圆半径和 再证明两者相等即可 （证明中用到对角和为180度，同底内接三角形顶
角相等的结论）
     
第一组 p=4R[sin(A/2)sin(a/2)sin((180-A-a)/2)+sin((180-A)/2)sin((180-B-a)/2)sin((B-180+A+a)/2)]
第二组 q=4R[sin(B/2)sin((180-B-a)/2)sin(a/2)+sin((180-B)/2)sin((180-A-a)/2)sin((B-180+A+a)/2)]
      令p-q化简后p-q=0 说明两组三角剖分的内切半径和相等，这就证明了对于
任意圆内接四边形成立。
      下面证任意圆内接多边形成立
      


      用数学归纳法 假设n边形成立，下面证n+1边形成立
      由图可知，任意n+1边形可以看成由其某一子n边形增加一个三角剖分而来
如图n+1边形 从n边形增加了三角形ABC 这样做不失一般性
      一 对于顶点A和C引出的三角剖分除了三角形ABC以外是同一个n边形，其内
切半径和相等 ，加上同一个三角形ABC的内切半径 行成的n+1边形的内切半径和
也相等
      二 对于除A B C以外的顶点引出的三角剖分 我们假设此顶点为D，从图上
可以看到利用前面已经证明的四边形结论，
       ABC内切半径+BCD内切半径=ABC内切半径+ACD内切半径
       这样D引出的三角剖分内切半径和就等于 原来的n边形内切半径和 加上
ABC内切半径和 如此与 第一种情况相同 。所以这些顶点引出的三角剖分内径和
都相等
      三 顶点B所引出的三角剖分,需要变换一下视角。B引出的三角剖分可以看成
除ABE以外的n边形再加上 ABE形成的。 n边形是满足内径和不变的 这样B引出的
三角剖分就和E引出的三角剖分有同样的内径和，前面已经证的E三角剖分与除B以
外其他三角剖分内径和相等，所以B三角剖分与其他顶点的三角剖分内径和相等
     至此，圆内接n+1边形任意顶点形成的三角剖分内径和都相等
    由归纳法 任意圆内接多边形任意顶点形成的三角剖分内切半径和都相等

为了让大家看明白 多写了点！

[ 本帖最后由 ywb0743 于 2009-7-31 14:45 编辑 ]

crmxm

楼上证明方法的确可证，关于楼上对我证法的疑问，我做一下解释

首先，楼上肯定没有注意我的一些说法
是这样的：这些三角形的内切圆半径和与外接圆半径比值等于
其顶点分圆的各段弧所对的圆周角的余弦值之和减去三角形的个数（即n-2)
我也将自己的证法向大家说明一下

证明过程如下
关于四边形，借用楼上的图，r△ABC=cos∠ABC+cos∠BAC+cos∠BCA-1
r△DBC=cos∠DBC+cos∠BDC+cos∠BCD-1
因为∠BAC+∠BDC=π
所以r△ABC+r△DBC=cos∠ABC+cos∠BAC+cos∠BCA-1+cos∠DBC+cos∠BDC+cos∠BCD-1
                                  =cos∠ABC+cos∠BCA+cos∠DBC+cos∠BCD-2
同理得r△ABD+r△ACD=cos∠BDA+cos∠BAD+cos∠CAD+cos∠CDA-2
因为∠BDA=∠BCA,∠BAD=∠BCD,∠CAD=∠CBD,∠CDA=∠CBA
所以r△ABC+r△DBC=r△ABD+r△ACD
假设对于圆内接2n边形结论成立，现证对于圆内接2n+1，2n+2边形成立
1.对于圆内接2n+1边形
设圆内接2n+1边形顶点P1……P2n+1，规定对于m边形，（Pn）为Pn引出直线得三角形的内切圆半径和
对于圆内接2n边形P1P3P4……P2n+1,(P1)=(P3)
而△ABC的内切圆半径和为恒值
所以对于整个图形(P1)=(P3)，同理,(P1)=(P3)=(P5)=……(P2n+1)=(P2)=(P4)=……(P2n)
可得结论
2.对于圆内接2n+2边形
设圆内接2n+2边形顶点P1……P2n+2，
对于圆内接2n+1边形P1P3P4……P2n+2,(P1)`=(P3)`
而△ABC的内切圆半径和为恒值
所以对于整个图形(P1)=(P3)，同理,(P1)=(P3)=(P5)=……(P2n+1),(P2)=(P4)=……(P2n+2)
对于圆内接2n边形P1P4P5……P2n+2,(P1)=(P4)
对于圆内接4边形P1P2P3P4，(P1)=(P4)
所以对于整个图形(P1)=(P4)，则(P1)=(P3)=(P5)=……(P2n+1)=(P2)=(P4)=……(P2n+2)
可得结论
综上，对于圆内接2n+1，2n+2边形结论成立，有归纳公理得任意给定圆内接多边形一顶点形成的三角剖分内切半径和都相等





[ 本帖最后由 crmxm 于 2009-7-31 14:55 编辑 ]

ywb0743

原帖由 crmxm 于 2009-7-31 14:51 发表
楼上证明方法的确可证，关于楼上对我证法的疑问，我做一下解释

首先，楼上肯定没有注意我的一些说法
是这样的：这些三角形的内切圆半径和与外接圆半径比值等于
其顶点分圆的各段弧所对的圆周角的余弦值之和减去 ...

哦！那说明你把问题复杂化了, 根本没那么复杂 类似的方法实际上只要把所有顶点与圆心连接
     任意三角形           r=R(cosA/2+cosB/2+cosC/2-1)
A,B,C为每条边的圆心角
   圆内接任意n边形     r=R(cos(a_1/2)+cos(a_2/2)+……+cos(a_n/2)-2+n)
其中 a_1 ,a_2 ,……,a_n 是n 边形的每条边对应的圆心角，边之圆心角与剖分无关为定值，不证自明，一目了然
每增加一条边 会增加 三项COS（） 和常数1 ，其中一个COS()与式中已有的约掉 就可以推出上式

[ 本帖最后由 ywb0743 于 2009-7-31 16:15 编辑 ]

crmxm

这与我的式子不是等价的吗
我只不过是不希望看到式子里带有半角，将a1/2换成了θ1，即θ1=a1/2
没有根本的差别

圆心角与圆周角有什么本质差别？
若选用圆周角，在图上不好标注，要标注就要连结圆心，且最后式子带有半角，看起来很不和谐。

[ 本帖最后由 crmxm 于 2009-7-31 16:17 编辑 ]

ywb0743

差别大了 你的2n+1 ,2n之类归纳证明的都是不需要写的。
只要边不变，圆心角都相同，一眼就看出与三角剖分无关，我怎么讲你才明白

我写的大家都明白

跟你说 你就认死理 晕！

[ 本帖最后由 ywb0743 于 2009-7-31 16:21 编辑 ]

crmxm

在后续证法上的不同，我承认你的不错，但我的证法也没有程序和逻辑上的错误

ywb0743

证明除了严格 也需要一目了然 使问题简单化是人类科学的终极方法！！！！！！
区别大不？？？

ywb0743

跟你拿这一题举例 直接结论就是任意内接多边形不同剖分内径和相等

但是从圆心角证明来看 这个命题弱了 还可以更强

应该是 任意一组圆内接多边形只要他们边长的集合完全一样 无论选择哪种边长的排序 所得到的这一组多边形 他们的所有不同剖分内径和等

这就是简化的好处！

[ 本帖最后由 ywb0743 于 2009-7-31 16:46 编辑 ]

superacid

你们两个人......
拿真实能力出来比才有效。

ywb0743

原帖由 superacid 于 2009-7-31 16:33 发表
你们两个人......
拿真实能力出来比才有效。

向你学习！