四面体的外心-内心公式
以下图片截图来自于http://bbs.emath.ac.cn/forum.php?mod=redirect&goto=findpost&ptid=3740&pid=40209&fromuid=1455对于陈都先生的各种研究结果:我十分欣赏,由于他给出的表达式简洁而优美。
十分繁杂的数学表达式总能简化为让人看了赏心悦目的数学结果。
我们现在需要讨论的是借助于数学软件,寻求四面体的外心-内心表达式?
当然,我利用数值计算给出了OI^2!=R^2-3Rr
我相信陈都先生的直觉,四面体的内心-外心公式应该不会太复杂,那到底是什么样的呢?
为了便于计算,我们利用楼上的方程,并令a=1,b1=1,b2=1,c1=1,c2=x,c3=y得到
r^2*y^2=(y*y1-y)^2 (1)
r^2*(2*y^2+(x-1)^2)=(y*y1-y*y2+(x-1)*r)^2 (2)
r^2*(x^2+y^2)=(-r*x+y*y2)^2 (3)
R^2=1/4+x2^2+x3^2 (4)
R^2=1/4+(x2-1)^2+x3^2 (5)
R^2=1/4+(x2-x)^2+(x3-y)^2 (6)
d^2=(1/2-y1)^2+(x2-y2)^2+(x3-r)^2 (7)
基本思路是求出R,r,d关于x,y的代数表达式,然后消出x,y,求出d,R,r的关系式? 能否给出具体的表达式?? 感慨一下:这么多几何方面的老师教授就对射影几何中的面积、体积坐标没兴趣?不了解?我想如果他们熟悉了,会少死很多脑细胞的 数学星空 发表于 2013-7-28 10:51
能否给出具体的表达式??
不想算,给个能简化最后一步计算的式子:
数学星空 发表于 2013-7-28 10:06
我相信陈都先生的直觉,四面体的内心-外心公式应该不会太复杂,那到底是什么样的呢?
为了便于计算,我们 ...
看来还是小看了此计算量:
我现在仅能得到
d^2=(4*r^2*y^2 - 4*r*x^2*y - 4*r*y^3 + x^4 + 2*x^2*y^2 + y^4 + 4*y^2*y1^2 + 4*y^2*y2^2 + 4*r*x*y - 2*x^3 - 2*x*y^2 - 4*y^2*y1-4*y^2*y2 + x^2 + 2*y^2)/(4*y^2) (1)
4*x^2*y*y1^4 + 4*y^3*y1^4 - 8*x^2*y*y1^3 - 8*x^2*y1^4 - 8*y^3*y1^3 - 8*y^2*y1^4 + 4*x^2*y*y1^2 + 24*x^2*y1^3 - 8*x*y*y1^3 + 8*x*y1^4 +
32*y^2*y1^3 - 24*x^2*y1^2 + 20*x*y*y1^2 - 24*x*y1^3 + 4*y^3*y1 - 36*y^2*y1^2 - 8*y*y1^3 + 8*x^2*y1 - 16*x*y*y1 + 24*x*y1^2 - y^3 +
12*y^2*y1 + 20*y*y1^2 + 4*x*y - 8*x*y1 - 16*y*y1 + 4*y =0 (2)
4*x^2*y*y2^4 + 4*y^3*y2^4 + 8*x^3*y2^3 - 8*x^2*y*y2^3 - 8*x^2*y2^4 + 8*x*y^2*y2^3 - 8*y^3*y2^3 - 8*y^2*y2^4 - 8*x^3*y2^2 -
4*x^2*y*y2^2 - 8*x*y^2*y2^2 + 8*x*y*y2^3 + 8*x*y2^4 + 8*y^2*y2^3 + 4*x^2*y*y2 + 8*x^2*y2^2 + 4*x*y^2*y2 + 4*x*y*y2^2 - 8*x*y2^3 +
4*y^3*y2 - 4*y^2*y2^2 - 8*y*y2^3 - 4*x*y*y2 - y^3 + 4*y*y2^2 = 0(3)
另外
R=sqrt(x^4+2*x^2*y^2+y^4-2*x^3-2*x*y^2+x^2+2*y^2)/(2*y)
4*r^4*x^2*y+4*r^4*y^3-8*r^4*x^2-8*r^4*y^2+8*r^3*x^2*y+8*r^3*y^3+8*r^4*x-8*r^3*x^2-8*r^3*x*y+4*r^2*x^2*y+8*r^3*x-8*r^3*y-4*r^2*x*y+
12*r^2*y^2-4*r*y^3-4*r^2*y+4*r*y^2-y^3 = 0
x2 = 1/2
x3 =(x^2+y^2-x)/(2*y) 4#及7#给出的求解方法的确很简单,但表达式也很繁杂。也不便于计算啊,关健是如何将六边消去,得到R,r,d的关系式? creasson 发表于 2013-7-28 10:49
要是能给出结果就完美了。
题意其实很简单,思路也有万千种,但是结果到现在都还没有呢