数学研发论坛

 找回密码
 欢迎注册
查看: 10051|回复: 33

[分享] 一道“简单”的几何题

[复制链接]
发表于 2010-1-4 23:08:11 | 显示全部楼层 |阅读模式

马上注册,结交更多好友,享用更多功能,让你轻松玩转社区。

您需要 登录 才可以下载或查看,没有帐号?欢迎注册

x
读高中的时候为了解决一道简单的几何题:

p.bmp

竟然花了连续3个晚上的时间,在那里拼命地算啊算啊……

……最后终于把答案算出来了,然后拿给同学看……

long.PNG

……顿时就把同学吓坏了……

……大一的时候想起此事,觉得那时候算出来的答案可能还不够简洁,于是重新再算一遍,总算得到一个简洁一点的答案……

v.bmp

但是这两个答案长得很不一样,它们是相等的吗?

如果相等,能否把它们放在等号两边,然后通过移项、乘除、平方、立方等操作,得到0=0?

还有没有更简洁的式子?

KeyTo9_Fans现在已经没有当年的那份热情,再次拿出笔和草稿纸做下去了。

在座的各位大牛们能否把你们手中的各种功能强大的数学工具用起来,完成Fans未完成的工作?

Fans将不胜感激。
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2010-1-4 23:28:09 | 显示全部楼层
真的假的
不至于吧
我算算
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2010-1-5 05:49:13 | 显示全部楼层
本帖最后由 wiley 于 2010-1-5 15:26 编辑

BC的长满足方程 $1/\sqrt{9-x^2}+1/\sqrt{25-x^2}=1$ .

如果设 $t=\sqrt{9-x^2}$ , 问题可以转换成求t的一元四次方程 $t^4-2t^3+16t^2-32t+16=0$ 的大于1的实根.
用mathematica或求根公式得到的形式和楼主的类似.

或者设 $9-x^2=16\tan^2(t)$ 转换成三角方程 $\cot(t)+\cos(t)=4$ .
只是形式略简单, 本质还是四次方程.

----- ----- ----- ----- -----

$y=2/3\root{3}{37484+12\sqrt{849}}+2/3\root{3}{37484-12\sqrt{849}}+67/3$ 是方程 $x^3-67x^2+3x-1=0$ 的唯一实根,
$z=2/3\root{3}{-108+12\sqrt{849}}-2/3\root{3}{108+12\sqrt{849}}+1$ 是方程 $x^3-3x^2+67x-1=0$ 的唯一实根,
BC的长可以表示成
$\sqrt{16-\sqrt{y}-\sqrt{67-y+2\sqrt{z}}}$
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2010-1-5 08:21:48 | 显示全部楼层
设AB=x,BC=y,CD=z,则
${(x^2+y^2=a^2,(AB^2+BC^2=AC^2)),(y^2+z^2=b^2,(BC^2+CD^2=BD^2)),(frac{c}{z}=frac{x}{x+z},(\frac{EF}{CD}=\frac{AB}{AB+CD})):}$

这个方程组形式很简单,容易消去y,z得到:

$x^3(x-2c)=(a^2-b^2)(x-c)^2$
其中$a=5,b=3,c=1$
看来,只要a,b,c为有理数,那么AB,BC,CD一定都是无理数
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2010-1-5 08:43:13 | 显示全部楼层
本帖最后由 wiley 于 2010-1-5 09:12 编辑

try $a=5/3, b=5/4, c=12/25$
( or equivalently $a=500, b=375, c=144$ )

----- ----- ----- ----- -----
同上, BC的长满足的方程是 $1/\sqrt{a^2-x^2}+1/\sqrt{b^2-x^2}=1/c$,
有理数解只需把 $\sqrt{a^2-x^2}, \sqrt{b^2-x^2}$ 凑成有理数即可.

评分

参与人数 1鲜花 +2 收起 理由
wayne + 2 你能作一般性的分析吗

查看全部评分

毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2010-1-5 09:05:43 | 显示全部楼层
呵呵,漏洞一下子被鹰眼发现了

想问一下

如果a,b,c都为有理数,存在AB,BC,CD也都是有理数的可能吗
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2010-1-5 11:16:15 | 显示全部楼层
根据willey的方程,
我们需要找到有理数a,b,c,x使得
$sqrt(a^2-x^2),sqrt(b^2-x^2)$都是有理数,而是
$1/{sqrt(a^2-x^2)}+1/{sqrt(b^2-x^2)}=1/c$
这个还是比较容易构造的
比如
$x=12,a=37,b=20,c=560/51$
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2010-1-5 11:21:24 | 显示全部楼层
程序运行了10多分钟,终于找到了一个情况:

a=750,b=625,c=126
x=600,y=450,z=175
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2010-1-5 11:23:51 | 显示全部楼层
哈哈,以后我把这题的数据换成上面的解,去考考别人,总比无理数的情况强~~
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2010-1-5 11:29:11 | 显示全部楼层
批量构造的方法如下:
假设$a^2-x^2=y^2,b^2-x^2=z^2$
我们可以得出
$(a-y)(a+y)=(b-z)(b+z)=x^2$
也就是$(a-y)(a+y)$和$(b-z)(b+z)$是$x^2$两个不同的因子分解方案(但是两个因子要求同奇偶.)
然后任取一个合数x,逆上面过程就可以解出a,b,y,z
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
您需要登录后才可以回帖 登录 | 欢迎注册

本版积分规则

小黑屋|手机版|数学研发网 ( 苏ICP备07505100号 )

GMT+8, 2021-1-26 09:24 , Processed in 0.081288 second(s), 23 queries .

Powered by Discuz! X3.4

© 2001-2017 Comsenz Inc.

快速回复 返回顶部 返回列表