本帖最后由 wiley 于 2010-1-5 15:39 编辑
18# KeyTo9_Fans
不好意思输入错了, 是 67-y+2\sqrt{z}.
----- ----- ----- ----- -----
对照了一下, 和楼主的第二个表达式的前半部分是一样的, 只是把最后根号里的
8\root{3}{175646564+112452\sqrt{849}}+8\root{3}{175646564-112452\sqrt{849}}-134\root{3}{37484+12\sqrt{849}}-134\root{3}{37484-12\sqrt{849}}+9
替换成了
6\root{3}{-108+12\sqrt{849}}-6\root{3}{108+12\sqrt{849}}+9
1/sqrt(9-t^2)+1/sqrt(25-t^2) = 1
化简得到: t^8-64*t^6+1402*t^4-12088*t^2+35581=0
可以解得:37484+12*sqrt(849) = x
(67*x^(1/3)+2*x^(2/3)+2240)/x^(1/3) = y
(67*x^(1/3)*sqrt(y)-sqrt(y)*x^(2/3)-1120*sqrt(y)+3*sqrt(3)*x^(1/3))/(x^(1/3)*sqrt(y)) = z
t=1/3*sqrt(144-3*sqrt(3)*sqrt(y)-3*sqrt(6)*sqrt(z))
18# KeyTo9_Fans
不好意思输入错了, 是 67-y+2\sqrt{z}.
----- ----- ----- ----- -----
对照了一下, 和楼主的第二个表达式的前半部分是一样的, 只是把最后根号里的
8\root{3}{175646564+112452\sqrt{849} ...
wiley 发表于 2010-1-5 15:19 http://bbs.emath.ac.cn/images/common/back.gif
这样就简单了，也就是要证明
$4\root{3}{175646564+112452\sqrt{849}}+4\root{3}{175646564-112452\sqrt{849}}-67\root{3}{37484+12\sqrt{849}}-67\root{3}{37484-12\sqrt{849}}$
与
$3\root{3}{-108+12\sqrt{849}}-3\root{3}{108+12\sqrt{849}}$
是相等的即可。
可以验算出:楼上两式均为方程5832 + 1296 *x + x^3=0
的根,且均等于-4.4327910990190091841
即楼上两式相等
用mathematica的RootReduce可以得到：
AB=Root[-16 + 32 t - 16 t^2 - 2 t^3 + t^4 , 2]=4.20953905619626
BC=Root=2.6981069167767067
CD=Root=1.311571220194197
24楼太强了！
你是怎么找到那个三次方程的？
我一直盯着23楼好久了，怎么都看不出那两个式子是怎么相等的。
无奈只好开始按计算器。
按了好一阵子，终于发现那两个式子……
$4\root{3}{175646564+112452\sqrt{849}}+4\root{3}{175646564-112452\sqrt{849}}-67\root{3}{37484+12\sqrt{849}}-67\root{3}{37484-12\sqrt{849}}$
与
$3\root{3}{-108+12\sqrt{849}}-3\root{3}{108+12\sqrt{849}}$
有这样的关系：
$4\root{3}{175646564-112452\sqrt{849}}-67\root{3}{37484+12\sqrt{849}}=-3\root{3}{108+12\sqrt{849}}$
$4\root{3}{175646564+112452\sqrt{849}}-67\root{3}{37484-12\sqrt{849}}=3\root{3}{-108+12\sqrt{849}}$
这样就清晰多了，手工验证变得更简单了。
把第一个等式两边立方，左边为
首立方：
$64*(175646564-112452\sqrt{849})$
尾立方：
$-300763*(37484+12\sqrt{849})$
3倍首首尾：
$-900480*(37484-12\sqrt{849})$
3倍首尾尾：
$33786009600$
加起来等于
$-2916-324\sqrt{849}$
也就是
$-27*(108+12\sqrt{849})$
右边为
$-27*(108+12\sqrt{849})$
所以
左边=右边
把第二个等式两边立方，左边为
首立方：
$64*(175646564+112452\sqrt{849})$
尾立方：
$-300763*(37484-12\sqrt{849})$
3倍首首尾：
$-900480*(37484+12\sqrt{849})$
3倍首尾尾：
$33786009600$
加起来等于
$-2916+324\sqrt{849}$
也就是
$27*(-108+12\sqrt{849})$
右边为
$27*(-108+12\sqrt{849})$
所以
左边=右边
所以23楼的两个式子是相等的。
所以对于原题，我们得到了一个更简洁的答案，也就是12楼的第3个式子（已改正）。
呵,你学了Mathematica就知道了,只要按照类似于25楼的命令便很容易算出满足的方程
本帖最后由 winxos 于 2010-1-11 20:05 编辑
https://bbs.emath.ac.cn/data/attachment/forum/month_1001/100104230889ec09d6b74193a9.bmp
今天我也想了一下这个问题，我用相似三角形做的，我引入一个变量x=EC/AE，即E将AC的分割比例。这样可以得到EF与AB,CD的比例的关于x的表达，再通过勾股定理得到关于x的方程$25-(\frac{1+x}{x})^2=9-(1+x)^2$
BC的长度就等于$BC=25-(1+1/x)^2=9-(1+x)^2$
然后关于x的方程也是一个四次方程，数值解在正实数范围内只能取到0.311那个解，此时bc=2.698，就是wayne解出的那个。
对于解析解用Mathematica解了一下，非常的恐怖。
$x = -1/2+1/2 sqrt(-29/3+1/3 (4960-96 sqrt(849))^(1/3)+2/3 2^(2/3) (155+3 sqrt(849))^(1/3))+1/2 sqrt(-58/3-1/3 (4960-96 sqrt(849))^(1/3)-2/3 2^(2/3) (155+3 sqrt(849))^(1/3)+34/sqrt(-29/3+1/3 (4960-96 sqrt(849))^(1/3)+2/3 2^(2/3) (155+3 sqrt(849))^(1/3)))$
估计正实数的应该是上面这个解
26# KeyTo9_Fans
想到了一个非常恰当的词来形容，哈哈：
Obfuscating
28# winxos
这个是x最简单的表达形式，
所以不可能是正整数了。。。。。