数学研发论坛

 找回密码
 欢迎注册
查看: 315|回复: 11

[转载] 圆内接四边形的三条对角线

[复制链接]
发表于 2019-10-26 10:56:00 | 显示全部楼层 |阅读模式

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

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

x
例题3.2  设`a,b,c,d,x,y`为正实数,且满足\[xy=ac+bd, \frac xy=\frac{ad+bc}{ab+cd}\]求证:\[\frac{abx}{a+b+x}+\frac{cdx}{c+d+x}=\frac{ady}{a+d+y}+\frac{bcy}{b+c+y}\]来源于管理员wayne的微信群。
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
 楼主| 发表于 2019-10-26 11:19:06 | 显示全部楼层
微信群中给出了参考答案,wayne评为毫无美感,答案提供者说那解法纯属应付。
mathe提议设 `xz=ad+bc, yz=ab+cd`, 并言道“于是考虑边长为`a,b,c,d`的圆内接四边形,边顺序的不同安排得出对角线长度分别为`x,y;y,z;z,x`. 这时右边等式代表什么?和面积有关系吗?”
我试着画了一下图,发现 `x,y,z` 不是对角线长。但是mathe的提议显示了很好的数学直觉,使得结果和演算过程都更具对称性。
按mathe的提议,原题可改造为

已知:正实数`a,b,c,d,x,y,z`  满足 \(xy=ac+bd,yz=ab+cd, xz=ad+bc. \)

求证:\(\D\frac{abx}{a+b+x}+\frac{cdx}{c+d+x}=\frac{ady}{a+d+y}+\frac{bcy}{b+c+y}=\frac{acz}{a+c+z}+\frac{bdz}{b+d+z}\)

这才显示出圆满的对称性.
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
 楼主| 发表于 2019-10-26 11:55:32 | 显示全部楼层
由改造后的题设3等式两两相加可得\[\begin{split}x(y+z)&&=(a+b)(c+d),\\y(z+x)&&=(a+d)(b+c),\\z(x+y)&&=(a+c)(b+d).\end{split}\]由此立即可以看出直接通分的美好前景, 比如连等式的左式通分后易化简为
\[\frac{abc+bcd+cda+dab+xyz}{a+b+c+d+x+y+z}\]
结果是`a,b,c,d;x,y,z`的全对称式,连等式当然成立!

毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2019-10-26 16:04:34 | 显示全部楼层
托勒密定理:圆内接四边形对边乘积之和等于对角线乘积之和
diagonals.png

点评

还真是,看来我先前画图时,搞错四边形了!  发表于 2019-10-26 16:59
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2019-10-26 16:46:10 | 显示全部楼层
另外在我给出的图的结构下,等式的意义是对角线划分四边形形成两个三角形的内接圆半径之和相等,和对角线的选择以及边的安排无关
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2019-10-26 16:51:31 | 显示全部楼层
需要注意对于任意给定的正数a,b,c,d,我们可以求得唯一的一组正数x,y,z满足条件。
因为三式相乘开平方得到$xyz=\sqrt{(ac+bd)(ad+bc)(ab+cd)}$,然后分别除以三式可以唯一确定x,y,z.
但是几何模型会有一个额外要求,即三边之和大于第四边。

点评

这也是我“发现”x,y,z不是对角线时,坚持错误的一个支持。  发表于 2019-10-26 17:28
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
 楼主| 发表于 2019-10-26 17:08:49 | 显示全部楼层
mathe 发表于 2019-10-26 16:04
托勒密定理:圆内接四边形对边乘积之和等于对角线乘积之和

我前边画图时,可能搞错边了,说`x,y,z`不是对角线长,当时还感到好遗憾,如果是的多美呀。
原来美是不会错的

这一来,倒巧妙地得到了圆内接四边形的对角线长公式. 否则,如果要从完全四点形的边长约束(一个行列式)联立xy=ac+bd来解,还得费一番功夫。
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
 楼主| 发表于 2019-10-26 17:23:22 | 显示全部楼层
mathe 发表于 2019-10-26 16:51
需要注意对于任意给定的正数a,b,c,d,我们可以求得唯一的一组正数x,y,z满足条件。
因为三市相乘开平方得到$ ...


初发此帖时,不知道题个什么名为好,随便拟了七个字。现在好了,可以改为“圆内接四边形的三条对角线”!

四边形有三条对角线,真够标题党的,哈哈!
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2019-10-27 21:05:32 | 显示全部楼层
题目可以扩展一下,让mathe的几何法失效,蛤蛤蛤.
对于给定的四个非零实数$a,b,c,d$, 如果任意三个数之和不等于第四个数. 那么原题目的结论仍然成立.
这是因为在3#通分化简的过程中,没有要求$a,b,c,d$是正数,只是要求$a+b+x!=0$,化简得到$abcd(a+b+c-d)(a+b-c+d)(a-b+c+d)(-a+b+c+d)!=0$
-------------------------------------------------------------------------------------------------------------------------------------------

对于非零实数$a,b,c,d$, 如果任意三数之和不等于另一个数,即$abcd(a+b+c-d)(a+b-c+d)(a-b+c+d)(-a+b+c+d)!=0$, 并且满足 $xy=ac+bd,yz=ab+cd, xz=ad+bc$,
则$\frac{abx}{a+b+x}+\frac{cdx}{c+d+x}=\frac{ady}{a+d+y}+\frac{bcy}{b+c+y}=\frac{acz}{a+c+z}+\frac{bdz}{b+d+z}$恒成立.
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
您需要登录后才可以回帖 登录 | 欢迎注册

本版积分规则

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

GMT+8, 2019-11-20 17:59 , Processed in 0.069185 second(s), 20 queries .

Powered by Discuz! X3.4

© 2001-2017 Comsenz Inc.

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