托勒密不等式新证明及几个新的托勒密型不等式.docVIP

托勒密不等式新证明及两个新的托勒密型不等式 (安徽省马鞍山市丹阳中学 孙世宝 邮编 243121) 摘要: 本文给出了托勒密不等式的几个新证明, 并给出了几个新的托勒 密型不等式 关键词: 托勒密不等式 新证明 托勒密型不等式 引言与引理 1. 一类根式型函数值域问题 简解: 先解方程 移项平方得: 得到: = 1 \* GB3 \* MERGEFORMAT ① 若(1); 则 方程 = 1 \* GB3 \* MERGEFORMAT ①有一个根 若则 于是是的极大值点,也是最大值点. 若则或 补充说明一下, 由于根式函数的连续性, 条件可放宽为. 2. 关于四边形的一个引理 引理：四边形中成立如下的恒等式 托勒密不等式的新证明 托勒密不等式: 四边形中成立如下的不等式. 该不等式证明方法较多:如利用相似和三角形不等式; 利用反演变换和三角形不等式; 或利用复数的三角形不等式(模不等式)等都可以证明它. 下面给出它的几个新证明. 证法1. 利用前面引理中的恒等式，显然; 证法2. 如上图中,设 （对于凹多边形托勒密不等式也成立，推导中只要将中某个或两个看作负数就行 了）. 利用余弦定理和二元柯西不等式有: 同理 , 于是 等号成立成立条件可由柯西不等式不等式取等条件得到(大家熟知,不在累述). 证法3. 后面记号同证法2, 由于, 同理, 记 是我们前面讨论的根式型函数类型1, 可见 而 同样 于是托勒密不等式获证！ 三. 两个托勒密型不等式 定理1. 凸四边形的两条对角线相交于则成立如下的不等式 其中 证明：(其实利用根式型函数的结论可做, 但计算量较大. 于是换为二元柯西了) 只需证就行了. 由于, ,由二元柯西不等式知 此即. 其中等号成立的条件为: 即为 故取等条件为(即内接于圆);或(是平行四边形); 或 推论1. 这是由于, 而 于是, 即取等条件是内接于圆或 是平行四边形. 推论2. 若介于之间; 或介于之间. 则 证明: 只要考虑由定理1知 , 而要证明 只需而这可由得到. 在推论2条件下, 推论2强于推论1, 并且利用推论2有如下漂亮的结论： 推论3. 若 则有 这是由于不妨假设由 于是 类似可证！ 定理2. 四边形中成立如下的不等式 且 ( 取等条件是有外接圆) 证明：利用恒等式 利用它也不难得到: 结合托勒密不等式 于是得到定理2中的不等式.