数学空间 人教数学网刊 中学数学 03 年第 期总第 期 A. B C 主编 : 马涛 MAT) 执行主编 : 杨洪 羊羊羊羊 ) 责任编辑 : 马涛 MAT) 何万程 hejoseph) 郭子伟 kuing) 特约撰稿人 : 陈海峰 过必思 ) 廖凡 ab96) 何万程 hejoseph) 郭子伟 kuing)
目录 数学评书. 智慧宝典 第三部第五回 宴上起波澜 智慧化刁难 陈海峰................. 智慧宝典 第三部第六回 船上遇赌徒 释秘趋蛊惑 陈海峰................ 助力高考 4. ab96 解题集精选 十二 ) 廖凡................................. 4. 对 ab96 解题集精选 十二 ) 里的一道椭圆题的拓展 郭子伟............... 8.3 三道高考压轴题的奥数背景及解法探讨 蒋明斌......................... 3 能力提升 0 3. 一些与三角恒等式有关的条件不等式题目整理 郭子伟..................... 0 3. 一类圆内接三角形的最大面积 李明 孙世宝........................... 3 3.3 一个多重根式不等式的加强 李明................................. 34 4 朝花夕拾 36 4. 封面故事 Soddy 圆 何万程.................................. 36 i
数学评书. 智慧宝典 第三部第五回宴上起波澜智慧化刁难 陈海峰 话说三角山的首领准备宴请两位小英雄 而且以最高的待遇设宴 这可惹恼了一些将官 要知道 最高级 别的待遇是给对国家有特殊贡献的人呀 怎么这两位小英雄才来一天 竟然就能享受这个待遇了 心中愤愤不 平 于是决定争取在宴席上让两位小英雄主动退出 不多时 卫兵来说已准备好 宴席开始时 首领发话了 : 为什么给两位小英雄最高级别的待遇呢? 因为 两位小英雄帮我破解了藏宝图的秘密 这样我们的经济又能得以为续了 这时众将官才明白 可是毕竟还些 不服 其中一人说道 : 听说两位小英雄智慧超群 能否在宴席上助兴一番! 两位小英雄觉得此人话中有话 欣然答道 : 当然可以! 这时这人说道 : 我们三角国王经常夜观天象 知道一些星宿的运行规律 你来看看 那两个星的运行规律有什么不同呢 说着指着天上两颗星 星宿一函数 y = sinθ ) 的最小正周期是 ; 星宿二函数 y = sin θ 的最小正周期是 只见小英说道 : 星宿一的问题很简单 只需将 视为弧度 则根据 y = A sinωx φ) 的最小正周期的求法可得 T = π ω 也就是 π 了 这时小豪制止着小英 接着说道 : 星宿二的答案是 π 故意顿了顿 目光转向那位将官 只见他幸灾 乐祸的样子 ) 是错误的! 这时满庭一片哗然 以为小豪答错了 只见小豪清了清嗓子道 : 星宿二的答案很容易做成 π 究其原因是受 周期减半 法则的影响 就是认为 加绝对值符号后 最小周期减少到原来的一半 但是究竟哪些情况适合 周期减半 的法则呢? 有些同学不太 关注 事实上 对于像函数 y = sin x y = cos x 它们的周期 以下均指最小正周期 ) 是 π 周期确实减半 了 而对于像 y = sin x y = tan x 我们可以用图象印证一下 请看 : y. O x fx) = sin x 图.. 小豪奎星笔一出 闪出一道漂亮的圆弧 如图.. 可以看到 整个函数图象在 x 轴上方 它们的周期并没有减半 列位也可以再看看别的星宿 自己进一步探究可以发现 : 三角函数的 周期减半 法则仅仅适用于 y = sinωx φ) y = cosωx φ) 的类型 它根本不适用于 y = sinωx φ) b y = cosωx φ) b y = tanωx φ) b 其中 b 0) 这些情形 事实上我们还可以通过周期的定义来证明 假设第二问的周期是 π 则应有 fx π) = sinπ x) = sin x = fx) 这就不符合周期的定义了 因此周期为 π 是错误的 而 π 代入显然符合 这时这位将官双手抱拳道 : 两位小英雄果然名不虚传 本人甘拜下风! 后来两人才得知 此人乃三角山的国师也 宴罢 三角山的首领便将自己拥有的一章 智慧宝典 送给了两位小英雄 两人遂跪谢 欲知后事如何 且听下回分解
数学评书. 智慧宝典 第三部第六回船上遇赌徒释秘趋蛊惑 陈海峰话说两位小英雄得到三角山首领赠送的 智慧宝典 散页后 便告辞而去 不日 根据首领的指引从山上下来 看到的却是一片大海 两人只好等过海的船只 只见一个小点由小到大 却是一条大船 两人遂拿出银两 上了船 看甲板上欣赏美丽的景色 这时一阵喧哗 原来一些船客们围成一堆 两人心里明白 遇上一群好赌之徒了 靠近一看 原来赌局是这样的 赌局 下列命题中的真命题是 ) A) 零向量既无方向也无长度 B) #» 0 = 0 C) 若 #» #» a = b 则 #» #» a 与 b 方向相同或者相反 D) 零向量与任一向量共线只见很多人就押中 C 结果大家都赔了 只听一阵嘘声 这时有人不服气 要求解释 只见庄家说 : 零向量有方向 且方向是任意的 长度为零 当然也不与 0 相等 故 A B 都是错误的 至于大家押中的 C 嘛 呵呵 当 #» #» a 是 0 时 #» 0 的方向是任意的 不一定平行 故 C 错误 其实只有 D 是真命题 大家没有看好啊 所以失算了 愿赌服输吧! 要不再来一局 只听一阵吵闹声 再来 再来 我就不信邪了 这时庄家又摆起赌局 赌局 下列写法正确的有几个 ) #» a #» a ) = #» 0 #» a #» a = 0 3 0 #» a = 0 4 #» 0 k = 0 5 #» a = 0 = #» a = 0 A)0 个 B) 个 C) 个 D)3 个 E)4 个 F)5 个又是一声的喧哗声 大家都开始押了 结果当然又是大败 答案是只有 个正确 就是选 B 大家又是要求解释 只听庄家说道 : 向量的加减还是向量 所以 是正确的 是错的 而实数与向量的积还是向量 所以 3 4 也都是错的 至于 5 嘛 向量的模为 0 应该为 #» #» a = 0 所以 5 也是错的 这时大家个个都垂头丧气 只听庄家又发话了 : 再来一局如何? 这局这样 你们可以互相商量 如果押对了 我情愿将刚刚所嬴来的钱加倍奉还 如果你们输了 就把你们带来的钱全都送上来如何? 参与的赌徒中有一人大声一喊 : 豁出去了! 反正带来的钱已经输得差不多了 剩下这点钱也无法成事了 不如就再赌一局算了 如果能要回来还可生活 这时很多人都附和了 庄家说道 : 好好好! 爽快! 那就再来! 各位豪杰有请 看好了! 赌局 3 与向量 #» a 平行的模为 5 的向量的个数是 这时全部赌友们就果然联合起来 一起商量 他们坚信 三个臭皮匠 胜过诸葛亮 声音渐小了 看来应该有个统一的答案 庄家发话了 : 请派一个代表来押 这时只见一人刚要走上台上 小英与小豪大喊一声 : 朋友留步! 这时大家才回过神来 注意到了两位小英雄 小豪说 : 我来代表你们来押此一回如何? 这时有人说 : 一个黄毛小子 乳臭未干 不能相信 这些钱可是我们的命根子了 小豪只好将自己的姓名告诉众人 这时有人说 : 我听说过这两位小英雄 据说武功超群 智慧过人! 我们就相信他俩一回吧! 小豪回敬刚刚那位仁兄道 : 知道这些钱是你们的命根子 那怎么不爱惜 将之拿来作赌资?! 这时很多人都低下了头 只听小豪怒喝 开吧! 这时小豪押得真切 说道 : 有两个或无数个! 赌友们又是一阵哗然 不是两个吗? 怎么又画蛇添足了 栽了 我们命该绝了 这时却见庄家脸色发紫道 : 愿闻其详! 只听小豪道 : 此局的机关在于本题中的向量可以是零向量 也可以是非零向量
数学评书 ) 当 #» a 是非零向量时 有两个方向相反的且都与 #» a 平行的模为 5 的向量 ; ) 当 #» #» a 是零向量时 与 0 平行的模为 5 的向量有无数个 这时庄家面色发白 飞身一跃 跳入海中 离船而去 小豪命众人将庄家的钱分回 告诫大家要君子爱钱 取之有道 此去究竟还会发生何事 且听下回分解 3
. ab96 解题集精选 十二 ) 廖凡 题目... 已知椭圆 解 助力高考 x y = 求斜率为 的平行弦的中点轨迹方程 设斜率为 的弦的两个端点为 x y )x y ) 弦中点为 x y) 则 x y = x y = 相减得 因斜率为 必有 x x 故 x x )x x ) x x ) y y )y y ) = 0 y y ) y y x x = 0 因为 y y x x = x x = xy y = y 代入即得 x 4y = 0 于是所求的轨迹是直线 x 4y = 0 在椭圆内部的部分 kuing 评注 : 典型的点差法处理弦中点问题 适用于一般二次曲线的情形 甚至是斜的 x 题目... P 是椭圆 a y b = a > b > 0) 上异于长轴端点的任意一点 F F 是椭圆的左右焦点 C 是 P F F 的旁切圆 N 为 C 与直线 F F 的切点 试讨论 N 的位置 解 若 C 与线段 P F 相切 如图.. 所示 y P E y P D C F O F. N x. F O F N x C 图.. 图.. 设 C 与线段 P F 切于点 D 与 F P 的延长线切于点 E 因为 NF = F D = P F P DNF = F E = P F P D 相加得 NF NF = P F P F = a 于是 NO = a 故图.. 中的 N 是右顶点 同理 若 C 与线段 P F 相切 则 N 是左顶点 而若 C 与线段 F F 相切 则 N 随点 P 的变动而在线段 F F 内变动 如图.. 所示 kuing 评注 : 其实在我选题的时候 第一眼觉得这题太简单 本来不太想选 后来突然觉得最后一种情况 也就是旁切圆在下面时似乎还有值得挖掘的地方 结果就得到了本文之后的另一文 4
助力高考 题目..3. 求证 : 对任意大于 的正整数 n 3 n 不可能为整数 证明用反证法 假设 3 是整数 则 n 3 乘以任何整数仍为整数 n 下面我们去找一个与 3 有关的整数 Q 使它与 n 3 相乘不为整数就可以了 n 我们把 3 n 分别用 除 除到商数为奇数为止 这是可以做的事情 设除 的次数分别为 p p 3 p n 最后的奇数商数分别为 k k 3 k n 于是 3 n = p k p3 k 3 pn k n 设 p p 3 p n 中最大的为 p 显然 p 则 p k k k n 必为整数 由假设知 p k k k n 3 ) 也是整数 n 另一方面 我们来证明 p k k k n 3 n 下面先证 p p 3 p n 之中只有一个等于 p ) 不是整数 如果 p p 3 p n 中有两个数 p i 和 p j 都等于 p i < j n) 于是 i = p i k i = p k i j = p j k j = p k j 由于 i < j 因此 k i < k j 因为 k i 与 k j 是奇数 故有偶数 t 在 k i 与 k j 之间 即 k i < t < k j p k i < p t < p k j 即 i < p t < j 设 u = p t 则 p u p 这与 p 是 p p 3 p n 中最大者矛盾 因此 p p 3 p n 之中只有一个等于 p 设 p j = p 则 p k k k n 3 ) = N n k k k j k j k n 其中 N 是整数 因为 k k k j k j k n 都是奇数 所以 p k k k n 3 ) 不是整数 从而产生矛盾 n 所以假设不成立 因此 3 不可能为整数 n k k k j k j k n 不是整数 故 kuing 评注 : 上述证法要是在表达上加以简化就更加好了 此外 此方法适用于稍一般的情形 : 若 m n N 则 n n 都不是整数 n m 题目..4. 解方程组 a b c d = 0 a b c d = 30 a 3 b 3 c 3 d 3 = 00 abcd = 4 解 注意到 ab ac ad bc bd cd = a b c d) a b c d ) = 00 30 = 35 以及 abc abd acd bcd = a b c d)3 3a b c d)a b c d ) a 3 b 3 c 3 d 3 ) 3 5
助力高考 = 03 3 0 30 00 6 = 50 故 a b c d 是方程 x 4 0x 3 35x 50x 4 = 0 的四个根 对其作因式分解 有 故原方程组的解为 a b c d 为 3 4 的任意排列 x 4 0x 3 4x x 50x 4 = 0 x x 4)x 6) x 4)x 6) = 0 x 4)[x x 3) 3x x 6] = 0 x 4)[x x 3) 3x )x 3)] = 0 x 4)x 3)x 3x ) = 0 x 4)x 3)x )x ) = 0 kuing 评注 : 直接观察也可以看出答案 因而最后的因式分解其实可以直接得到 题目..5. 两个集合 M = { 3 4}N = {a b c d} 那么 f : M N 满足 N 中恰好有一个元素无原 象的映射个数是 ) A)88 B)7 C)44 D)36 解法一第一步 从 N = {a b c d} 中选无原象的元素 有 C 4 = 4 种选法 ; 第二步 把 M = { 3 4} 中的元素分成三部分 使每一部分的元素分别与 N 中有原象的三个元数对应 C M 中的元素分成三部分的分法数是 4CC A 综上 所求映射个数 = 4 6 6 = 44 = 6 对应的方法有 A 3 3 = 6 解法二第一步同解法一 ; 第二步 我们把 M 中的 4 个元素当成 4 个不同的球 N = {a b c d} 中有原象的 3 个元素当成 3 个不同的 框 这样 映射个数就转化成了把 4 个不同的球投到 3 个不同的框中 且每框至少一球的投法数 可以先从 4 球中选 球投到一框中 有 C 4C 3 = 8 种方法 再把剩下的两球投到另两个框中 每框一球 有 A = 种方法 综上 所求映射个数 = 4 8 = 44 解法三 问题转化为把 4 个不同的球投到 4 个不同的框中 且恰有一个空框的投法数 先把从 4 个球中选 个捆起来当成一球 问题转化为把 3 个不同的球投到 4 个不同的框中 且每框至多一 球的投法数 所以所求映射个数 = C 4A 3 4 = 44 题目..6. 设平面上有 6 个圆 每个圆都不能盖住其它任何一个圆的圆心 证明 : 平面上任一个点都不 会被这 6 个圆同时盖住 证明 顺时针方向排列 假设平面上点 M 被这 6 个圆同时盖住 设这 6 个圆的圆心分别为 O O O 3 O 4 O 5 O 6 按 设圆 O O 的半径分别为 r r 连结 O O MO MO 不妨设 MO MO 由条件及假设 有 O O > r MO 于是在 MO O 中 由余弦定理 有 cos O MO = MO MO O O MO MO < MO MO MO MO MO = MO MO 故 O MO > 60 同理可证 O MO 3 > 60 O 6 MO > 60 于是 O MO O MO 3 O 6 MO > 360 这是不可能的 因此原命题成立 6
助力高考 kuing 评注 : 原解答放缩有误 以上是经过我修正的 此外 也可以用纯平面几何方法 通过角度大小关系推出 O MO > 60 具体地 不妨设 r r 作如图..3 所示的辅助线 O. C O r M B r A 图..3 因为 O O > O A O A 所以 AO O < 60 从而易得 O AC > 60 于是 O MO > O MC O BC O AC > 60 7
助力高考. 对 ab96 解题集精选 十二 ) 里的一道椭圆题的拓展 郭子伟 在前面的 ab96 解题集精选 十二 ) 一文里面的题目.. 提到了椭圆焦点三角形的旁切圆 并讨论 了旁切圆与两焦点所在直线的切点位置 原题是比较简单的 但是作者向来对于含有丰富几何性质的圆锥曲线 问题颇有兴趣 于是便对该题目所述的情境作了进一步的探索 试图挖掘一些相关的新结论出来 x 为方便讲述 以下统一设给定的椭圆方程为 a y b = a > b > 0)F c 0) F c 0) 分别为其左右焦点 离心率为 e 焦点到其对应准线的距离为 p 点 P 是椭圆上异于长轴顶点的动点 当 P F F 的旁切圆与线段 P F 或 P F 相切时 由原题的解答可知这时各个切点以及圆心的轨迹都很简 单 这里不再讨论这种情形 以下记 Q 为 P F F 的旁切圆并且与线段 F F 相切 I 为 P F F 的内切圆 考虑以下几个问题 : ) 求旁心 Q 的轨迹方程 ; ) 求内心 I 的轨迹方程 ; 3) 设 Q 与 P F 的延长线切于点 D 求 D 的轨迹方程 ; 4) 设 I 与线段 P F 切于点 G 求 G 的轨迹方程 相对来说 我还是对内切圆熟悉一些 所以现在先来解决问题 ) 为此 先给出两个引理 : 引理... 若三角形三边长分别为 x y y z z x 其中 x y z > 0 则其内切圆半径为 xyz r = x y z 引理... 设平面直角坐标系上有两定点 A B 及动点 P 且直线 P A 与 P B 的斜率之积为非零常数 K 则当 K < 0 时 P 的轨迹是椭圆 ; 当 K > 0 时 P 的轨迹是双曲线或两相交直线 特别地 当两定点坐标为 x A m 0) Bm 0) 时 轨迹方程为 m y Km = 注意 要使斜率存在 以上所有情形的轨迹均要去除与 A B 横坐标相同的点 引理.. 只要用海伦公式即可证 引理.. 是熟知的 具体证明从略 下面利用这两个引理 给出问题 ) 的两种解法 解法一 设 Ix y) 其中 x c c) I 与 P F P F F F 分别切于 G H N 如图.. 所示 y G P H. F O I N F x 图.. 由切线长相等 有 F G = F N = c xf H = F N = c xp G = P H = P F P F F F = a c 由引理.. 有 y = c x)c x)a c) c x c x a c 8
助力高考 化简得 即 这就是内心 I 的轨迹方程 a c)x a c)y = a c)c x c e e y = x ±c) c 解法二 设 P x 0 y 0 ) 记 P F F 的面积为 S 则 另一方面 设 P F F 内切圆半径为 r 则 因此 仍然如图.. 所示 由切线长相等及焦半径公式 有 因此 我们有 于是 由引理.. 即得内心 I 的轨迹方程为 S = y 0 F F = y 0 c S = rp F P F F F ) = ra c) r = y 0 c a c F N F N = F N F N) F N F N) 4 = c P F P F ) 4 a ex0 a ex 0 ) ) = c = c e x 0 ) = c x 0 a = c y 0 b r k IF k IF = F N F N = b a c) = e e x c e e y = x ±c) c 问题 ) 解决了 回头看问题 ) 不难发现上述两种方法都适用于问题 ) 但其实不需要这样做了 我们可以通过问题 ) 的结论直接推出问题 ) 的结论 4 解 如图.. 所示 注意到同一个角的外角平分线与内角平分线互相垂直 所以有 k QF = k IF k QF = k IF 利用上述解法二的结果 就有 k QF k QF = k IF k IF 再由引理.. 即得旁心 Q 的轨迹方程为 = e e x c e e y = x ±c) c 9
助力高考 y P I F O F. x Q 图.. 这样 问题 ) ) 就解决了 轨迹都是以 F F 为顶点的椭圆 除去 F F 两点 ) 继续来看问题 3) 4) 用平常的方法不好处理 注意到切点 焦点 动点三点共线 所以考虑用极坐 标 为此还是需要给出引理 这个引理其实是很常用的 引理..3 圆锥曲线的极坐标方程 ). 以圆锥曲线的焦点为极点 向垂直于对应准线且不与该准线相交的 方向作极轴 则此圆锥曲线的方程为 ρ = ep e cos θ p ρ. θ 图..3 ρ 引理..3 的证明很容易 如图..3 由圆锥曲线的第二定义有 ρ cos θ p = e 解出 ρ 即得 现在 我们以 F 为极点 射线 F F 为极轴 在此极坐标系下 利用此引理来解决问题 3) 4) 解 3) 由切线长相等 有 P D = P F P F F F = a c 因此 由引理..3 即得 D 的极坐标方程为 ρ = ep a c) e cos θ 0
助力高考 其中 cos θ ± 注意到 ep = c ) a a c c = ρ = ca c)cos θ ) a c cos θ a c)a c) 代入上式化简可得 a = c e)cos θ ) ; e cos θ 4) 类似地 由 P G = a c 及引理..3 即得 G 的极坐标方程为 ρ = ep a c) e cos θ 其中 cos θ ± 化简得 ρ = c e)cos θ ) e cos θ 这样 问题 3) 4) 也算是解决了 理论上还可以将它们化成原直角坐标系下的方程 但是形式比较复 杂 这里就不给出了 我们将它们的轨迹画出来 分别如图..4 及图..5 所示 P F F. G P D F. F 图..4 图..5 以上讨论的都是椭圆的焦点三角形的情形 那么如果换成双曲线 是否也有类似的结论呢? 答案是肯定 的 但是限于篇幅 而且解决方法与椭圆的相差无几 所以这里就不再详细写下去了 就当作是本文留下的习 题吧 有兴趣的读者不妨试试推导
助力高考.3 三道高考压轴题的奥数背景及解法探讨 蒋明斌 008 年至 00 年高考江西卷理科数学压轴题比较难 其中第 ii) 小题很少有人做出或根本无人做出 这 三题所涉及的知识或方法有着深刻的奥数背景 本文对其背景及解法作些探讨 一 00 年江西卷理科数学第 题 涉及初等数论中不定方程. 题目与标准答案题目.3.. 证明以下命题 : i) 对任一正整数 a 都存在整数 b cb < c) 使得 a b c 成等差数列 ii) 存在无穷多个互不相似的三角形 n 其边长 a n b n c n 为正整数且 a n b n c n 成等差数列 标准答案 i) 易知 5 7 成等差数列 则 a 5a) 7a) 也成等差数列 所以对任一正整数 a 都存在整数 b = 5a c = 7ab < c) 使得 a b c 成等差数列 ii) 若 a n b n c n 成等差数列 则 b n a n = c n b n 即 b n a n )b n a n ) = c n b n )c n b n ).3.) 选取关于 n 的一个多项式 例如 4nn ) 使得它可按两种方式分解因式 由于 4nn ) = n )n n) = n n)n ) 因此令 a n b n = n n c n b n = n n b n a n = n c n b n = n 可得 a n = n n b n = n c n = n n n 4) 易验证 a n b n c n 满足式.3.) 即 a n b n c n 成等差数列 当 n 4 时 有 a n < b n < c n 且 a n b n c n = n 4n > 0 因此 以 a n b n c n 为边长可构成三角形 将此三角形记作 n n 4) 其次 任取正整数 m nm n 4 m n) 假设 m 与 n 相似 则有 据比例的性质 有 所以 m m n n = m n = m m n n m n = m m n n = m m m ) n n n = m ) n m n = m m n n = m m m ) n n n = m ) n m n = m n 由此可得 m = n 与假设 m n 矛盾 即任意三角形 m 与 n m n 4 m n) 互不相似 所以存在无穷 多个互不相似的三角形 n 其边长 a n b n c n 为正整数且 a n b n c n 成等差数列
助力高考. 背景本题的直接背景是书 [] 第 9 页第 8 题 : 若对某两个整数 r s 有 a = r rs s b = r s c = r rs s.3.) 则 a b c 构成等差数列 令 r = n s = n N n 4)a = a n b = b n c = c n 由.3.) 即得到上述第 ii) 题证明中的 a n b n c n 因为 a n b n c n 成等差数列 等价于 :a n c n = b n 所以本题实际上是讨论不定方程 x y = z.3.3) 的整数解的问题 书 [] 第 80 页给出了方程.3.3) 当 x y x y) = 时的全部正整数解 : x = ab a b y = ab a b x y 可交换 ).3.4) z = a b 其中 a b N a > b > 0 a b) = 且 a b 一奇一偶 当 x y x y) = 时 令 x y = u x y = v u > 0 v > 0 由 x y) = 有 u v) = x y) = 即 x = u v y = u v 代入方程.3.3) 得 u v = z 其中 u v) = ).3.5) 方程.3.5) 为勾股方程 在任何一本初等数论书中都可以找到方程.3.5) 的全部基本整数解 :u = ab v = a b z = a b u v 可交换 ) 其中 a b N a > b > 0 a b) = 且 a b 一奇一偶 所以此题的背景是初等数论中的勾股方程 3. 解法探讨本题只需构造出一组满足条件的 a n b n c n 即可 上述标准答案中 a n b n c n 的构造不易想到 下面给出一种思路很自然的构造方法 证明 i) b a = c b b a)b a) = c b)c b).3.6) 而 b < c 所以 a < b < c = b a < c b 及 b a > c b 由式.3.6) b a c b = c b b a b a 设 c b = c b b a = t > 解得 b = t t t ac = t t t t a 由 t t > 0 < t < 试取 t = 得 b = 5a c = 7a 检验知 对任一正整数 a 有 b = 5a c = 7a 满足 b < c 且 a b c 成等差数列 ii) 由 i) 类似可得 b n = t t t a nc n = t t t t a n 且 < t < 3
助力高考 可令 t = n n n N n 得 b n = n n n 取 a n = n 则 b n = n n c n = n 4n a n c n = n 4n n a n 显然 当 n 时 a n b n c n 为正整数 且 a n < b n < c n 又 a n b n = 4n n > n 4n = c n 所以 a n b n c n 为边长可构成三角形 将此三角形记作 n 且 a n b n c n 成等差数列 下面证边长为 a n b n c n 的三角形互不相似 对正整数 m nm n 不妨设 m > m ) 若 m n 相似 则对应边成比例 有 a m a n = b m b n b n = b m b n = n n a n a m a n n = n n = fn) 而 fx) = x x = x ) x 当 x 时是减函数 由 n > m = fn) < fm) = b n < b m 这与 a n a m 不相似 b n = b m 矛盾 故 m n 互 a n a m 所以存在无穷多个互不相似的三角形 n 其边长 a n b n c n 为正整数且 a n b n c n 成等差数列 注 如果熟悉勾股方程.3.5) 可以由方程.3.5) 的基本整数解得出方程.3.3) 的整数解.3.4) 在解.3.4) 中取特殊值即可构造出符合题设的 a n b n c n 如 ) 取 a = n b = nn ) 得 x = n 4ny = n z = n n 设 a n = y = n b n = z = n n c n = x = n 4n 这是我们上述解法中的 a n b n c n ) 取 a = n b = n 4) 得 x = n n y = n n z = n 设 a n = y = n n b n = z = n c n = x = n n 这是标准答案中的 a n b n c n 二 009 年江西卷理科数学第 题 涉及递推数列的有界性 都有. 题目与标准答案 题目.3.. 各项均为正数的数列 {a n }a = aa = b 且对满足 m n = p q 的正整数 mnpq i) 当 a = b = 4 5 时 求通项 a n ; a m a n a m ) a n ) = a p a q a p ) a q ).3.7) ii) 证明 : 对任意 a 存在与 a 有关的常数 λ 使得对于每个正整数 n 都有 i) 略 主要讨论 ii) λ a n λ 标准答案 ii) 由题设 a m a n 的值仅于 m n 有关 记为 b mn 则 a m ) a n ) b n = a a n a ) a n ) = a a n a) a n ) 4
助力高考 考查函数 fx) = a x a) x) x > 0) 则在定义域上有 a a > fx) ga) = a = a a 0 < a < 故对 n Nb n ga) 恒成立 又 b n = a n ga) a n ) 注意到 0 < ga) 解上式得 ga) ga) ga) = ga) ga) ga) 取 λ = ga) ga) 即有 ga) λ a n λ. 背景 由于数列 {a n } 满足的基本关系式.3.7) 可以化简为 a n ga) ga) ga) a m a n a m a n = a p a q a p a q m n = p q).3.8) ii) 等价于 :iii) 若正项数列 {a n } 满足式.3.8) 则存在正数 b c 使 b a n c { } 事实上 若 iii) 成立 取 λ 满足 :max b c < λ 就有 λ a n λ 即 ii) 成立 iii) 是一成题 003 年出版的书 [3] 第 05 页 8.64 题 前苏联教育部推荐试题 990): 设正数列 a n a k {a n } 满足对任何自然数 k n m l 只要 k n = m l 就有 = a m a l 求证 : 存在正数 b 和 c a n a k a m a l 使得对任何 n 都有 b a n c a n a k 书 [4] 第 3 页例 3..9 也收录了此题 表述略有不同 : 设有正实数列 {a n } 使得表达式之值仅 a n a k a n a k 依赖于脚标之和 k n 亦即当 k n = m l 时 必有 = a m a l 求证 : 数列 {a n } 有界 a n a k a m a l 3. 解法探讨 证明 ii) 首先将式.3.7) 化为式.3.8) 在式.3.8) 中取 m = n p = q = n 得 a n a n = a a n a a n = a a n aa n 令 a a n = t 显然 t = a n aa n a 注意到 a n > 0 则 n a n = a t > 0 t a) t ) < 0.3.9) ta a 当 a = 时 a n a = a n = = t = ; 当 a > 时 n a t ; 当 0 < a < 时 a t { 令 u = min a } 则对任意正实数 a 都有 u t 即 a u a n a n ua n a n u 0 u u a n u u 5
助力高考 取 λ = u 则 u λ = u 所以 u λ a n λ 评注 a n 这一证法的关键是得到 a n = a a n aa n 然后由 a n > 0 求出 a a n 的范围 aa n 三 008 年江西卷理科数学第 题 涉及不等式的证明. 题目与标准答案 题目.3.3. 已知函数 fx) = x a ax x 0 ) ax 8 i) 当 a = 8 时 求 fx) 的单调区间 ; ii) 对任意正数 a 证明 : < fx) < i) 略 主要讨论 ii) 标准答案 ii) 对任意给定的 a > 0x > 0 由 fx) = x a 则 abx = 8 而 一 ) 先证 f x) > 因为 f x) = x a b > x x > a a > b b 8 ax 若令 b = 8 ax 又由 得 a b x 6 所以 a b x a bx 4 4 abx = 8 f x) = x a b > x a b 3 a b x) ab ax bx) = x) a) b) = 9 a b x) ab ax bx) x) a) b) a b x) ab ax bx) abx x) a) b) = 二 ) 再证 f x) < 不妨设 x a b 则 0 < b ) 当 a b 7 则 a 5 所以 x a 5 因为 b < x a 5 < 此时 f x) = x a b < ; 6
助力高考 同理 有 ) 当 a b < 7 注意到 abx = 8 则 b < b b b [ 4 b) = a < a a) 则 ab = x ab 8 由 ] b = < b) b f x) < a a b ) ab b ab 8 b b) 要证 fx) < 只需证 而 a a b ab b > ab 8 a a b b ab a) b) 只要证 显然成立 故 fx) < ab a) b) > ab ab 8 综上所述 对任何正数 a x 皆有 < f x) <. 背景 显然 ii) 等价于 : 若 x y z > 0 xyz = 则 < x ab 8 > a) b) a b < 7 y z <.3.0) 本题的背景是如下几道奥数题 : 题 A. 00 年第 4 届 IMO 第二题 : 对任意正实数 a b c 证明 a a 8bc b b 8ca c.3.) c 8ab 注 令 x = bc a y = ca b z = ab c 则式.3.) 等价于 : 若 x y z > 0 xyz = 则 8x 8y 8z.3.) 题 B. 004 年西部数学奥林匹克最后一题 : 求证 : 对任意正实数 a b c 都有 < a a b b b c c c a 3.3.3) 注 令 x = b a y = c b z = a c 则式.3.3) 等价于 : 若 x y z > 0 xyz = 则 θ i < x y 3 z.3.4) 题 C. 003 年中国数学奥林匹克第三题 : 给定正整数 nn 3) 求最小的正数 λ 使得对于任何 0 π ) i = n) 只要 tan θ tan θ tan θ n = n 就有 cos θ cos θ cos θ n λ 黄玉 民提供 ) 7
助力高考 注当 n 3 时 题 C 的答案为 λ = n 特别地 当 n = 3 时 令 x = tan θ y = tan θ z = tan θ 3 即得 : 若 x y z > 0 xyz = 则 < 这正是式.3.0) 右边的 x y z 不等式 上述标准答案中对 fx) < 的证明 基本上取自于题 C 命题人黄玉民先生的解答 见书 [5]P4-7) 只是把三角形式换成了代数形式 006 年初 作者在文 [6] 给出了上述几题的推广 : 若 x y z > 0 xyz = 则 ) 当 λ 8 时 有 3 λ x y z < ;.3.5) ) 当 8 > λ > 5 4 时 有 3) 当 5 4 λ > 0 时 有 < < x x y y z < ;.3.6) z 3 λ.3.7) 在式.3.6) 中取 λ = 即得式.3.0) 说明第 ii) 题是式.3.6) 的特例 3. 解法探讨 ii) 的证明对一般中学考生生来说有点难 绝大多数考生根本无从下手 据说无一考生证出 参考答案 给出的证明不易想到 下面给出一个思路很自然的证法 减元法 即将三元问题化为二元问题 进而化为一 元问题加以解决 证明 ii) 令 b = 8 ax c = x 则 abc = 8 < f x) < 等价于 < a b c <.3.8) 不妨设 a b c 令 ab = λ 由 abc = 8 有 0 < ab 4 0 < λ 先求出 A = ab = λ a > 0 b > 0 λ ) 的值域 因为 a b A = a ) = a b a b b a) b) 令 u = a b = a b ab = a b λ 显然 u ab λ = λ 又令 t = u 0 < t λ 则 A = u λ u u = λ ) u u A = F t) = λ )t t 0 < t λ F t) = [ λ )t ] ) 由 λ 有 F = λ 0 又 F 0) = > 0 因此 对 0 < t λ λ 有 F t) 0 所以 F t) ] 在 0 上是增函数 则 λ F 0) < F t) F ) λ < F t) 4 λ < A λ 8
助力高考 故当 a > 0 b > 0 ab 有 < a b ab.3.9) 应用式.3.9) 左边的不等式 有 a b c > a b > 即 fx) > ; 应用式.3.9) 右边的不等式 有 a b c ab 8 ab 要证式.3.8) 的右边 只需证 ab 8 ab <.3.0) 令 ab = v < v 3ab = v ) 则式.3.0) 等价于 v v v v ) < < v ) 8 v ) v 8 vv ) < v ) 8 [ v [vv )] < 4 ) ] 8 3v 4 v 3 9v 8 > 0 v v ) v 3)v 6) > 0 由 < v 3 知最后的不等式显然成立 所以式.3.0) 成立 即 fx) < 综上所述 < f x) < 参考文献 [] U. 杜德利 U.Dudley) 著 周仲良译. 基础数论 [M]. 上海科学技术出版业 980.9. [] 曹珍富. 丢番图方程引论 [M]. 哈尔滨工业大学出版社 980.3. [3] 黄玉民 夏兴国主编. 世界数学奥林匹克解题大辞典 代数卷 )[M]. 河北少年儿童出版社 003.. [4] 朱华伟. 从数学竞赛到竞赛数学 [M]. 科学出版社 009.8. [5] 走向 IMO 数学奥林匹克试题集锦 003)[M]. 华东师范大学出版社 003.8:4-7 [6] 蒋明斌. 一道西部数学奥林匹克赛题的溯源与推广 [J]. 中学数学研究 南昌 ) 006 年第 期. 9
能力提升 3. 一些与三角恒等式有关的条件不等式题目整理 郭子伟 条件不等式题目所指的就是未知数满足一定条件的不等式证明题或者求最值题 本文所整理的条件不等式 题的特点是 它们的条件都是形似某些三角恒等式的等式 在整理时 由于都是在各种零散的记录 如论坛或网站的贴子 QQ 聊天记录等 ) 中找题目 故未能提供 每道题的出处 每道题我都尽量给出不同的解法 由于条件跟三角恒等式有关 所以这里我都将各种解法分成 三角和代数两类 在这些解法中 比较常规的解法可能早已出现过 也有不少是我独立给出的 甚至有的还是 在编写本文时才想出来的 所以我相信有相当一部分的解法还是新的 有些解法的过程中会直接使用一些已知结论 比如 Schür 不等式 嵌入不等式之类 为了节省篇幅 这里 就不详细证明这些结论了 想了解的话请参考任意一本初等不等式著作 其实为了让大家更容易接受本文的解 法 我已经尽量避免使用较为高级的定理或方法 比如 s-r-r 方法 拉格朗日乘数法等等 如果用上这些方 法 那么每道题的解法都会增多不少 言归正传 先来一道最简单的 题目 3... 已知 x y z > 0 且 xy yz zx = 求 f = x y z z 的最大值 三角解法 联系到三角形内的三角恒等式 tan A tan B tan B tan C tan C tan A = 我们可以令 x = tan A y = tan B z = tan C 其中 A B C 为任意三角形的三个内角 由万能公式有 以及 tan θ 由积化和差公式可知 cos θ = 于是代入得到 x y z z = cos A cos B sin C) cos A cos B sin C = cos A B cos A B sin C sin C sin C 下面用导数求 sin C sin C 的最大值 令 gc) = sin C sin CC 0 π) 则 可见 gc) g g C) = cos C cos C = cos C ) cos C ) ) π = 3 3 3 由此即得到 x y z z 3 3 4 当 x = y = 3 z = 3 时取等号 故所求的最大值就是 3 3 4 tan θ sin θ tan = θ 上述解法其实在 数学空间 总第 期中作过例题 对于 xy yz zx = 的不等式 作上面的正切代换 是个常规的办法 下面给出本题的代数解法 代数解法 由已知条件 有 f = x xy yz zx y xy yz zx z z xy yz zx 0
能力提升 = = = x y)z x) y z)x y) z z x)y z) x y z x y)z x y)y z)z x) z x y)z ) z z 由均值不等式 有 = xy zx y) x y) 4 zx y) = x y z z 由此可得 z z z ) z ) z z = z z z ) f = z z z z z z z 令 z = k > 则 z = k 代入上式得 k k f k k = hk) 于是我们只需求函数 hk) 当 k > 的最大值 求导得 故 因此得到 h k) = k)k ) k 3 k hk) h) = 3 3 4 f 3 3 4 等号成立当且仅当 x = y = 3 z = 3 所以最大值就是 3 3 4 题目 3... 已知 a b c > 0 且 abc a c = b 设 p = a b 3 c 求 p 的最大值 三角解法由 abc a c = b 得 b = a c ac 联系到两角之和的正切公式 令 a = tan x c = tan y 其中 x y > 0 且 x y < π cos θ 则 b = tanx y) 由公式 tan = 及和差化积公式 得 θ p = cos x cosx y) ) 3 cos y ) = cos x cosx y) 3 cos y 3 = sin y sinx y) 3 cos y 3 sin y 3 cos y 3 = 3 sin y ) 0 3 3
能力提升 0 3 当 sinx y) = 且 sin y = 3 时取等号 此时 b = a = 4c = 所以 p 的最大值为 此题大概就是根据正切公式出的 所以用正切代换之后立即消去条件并化为二元函数 是很自然的思路 那么除了三角代换可以消去条件之外 还有一种常规的消去条件的办法就是齐次化 下面就此方法给出此题的 代数解法 0 3 代数解法 由已知等式可设 b = a c t t > 0 则 aca c t) = t 那么 p = a b 3 c = = = ta ca c t) ta c t) ac 3 tc aa c t) ca c t) a c)c t) ac 3aa c t) a t)c t) a c)a t) 3a c)a t)c t) ct4a c t) a c)a t)c t) 则 令 ) 若 4a c t < 0 则显然有 p < 3; ) 若 4a c t 0 记 c t f = ua u > 0 则 fa c t) = 3a c)a t)c t) ct4a c t) a c)a t)c t) a c t c t ) a4a c t)a c t)c t) fa c t) = 0 a c)a t)c t)a c t) p fa ua ua) = u 8u 3 u ) = 0 3 3 u ) 0 3 3 当 c = t u = 时取等号 综合 )) 知 p 的最大值为 0 3 等号成立当且仅当 a = c = t 即 b = a = 4c = 其实 如果已经事先知道或者猜到了最大值 也就是只要证明不等式 p 0 3 时 作差配方更方便 : 0 3 3a c)a t)c t) ct4a c t) a c)a t)c t) = ta c) ca t) ac t) 3a c)a t)c t) 0 我没料到的是 所求式本身并没有对称性 但换元并齐次化后居然有半对称性 这使我倍感有趣和意外 题目 3..3. 已知 x y z 0 且 x y z xyz = 4 求证 0 xy yz zx xyz 三角证法首先不等式左边成立是显然的 这是因为 x y z 中总有一个不大于 否则 x y z xyz > 4) 由对称性 不妨设 x 则 yz xyz 所以不等式左边成立
能力提升 对于不等式右边 已知等式可以写成 x ) y ) z ) x y z = 联系到当 A B C = π 时有三角恒等式 cos A cos B cos C cos A cos B cos C = 我们可以令 x = cos A y = cos B z [ = cos C 其中 A B C 0 π ] A B C = π 则原不等式右边化为 cos A cos B cos B cos C cos C cos A cos A cos B cos C 由对称性 不妨设 A = max{a B C} 则 A π 3 有 cos A 0 再由 得 cos B cos C = cos B C cos B C sin A cos B cos C = cosb C) cosb C) cos A cos A cos B cos B cos C cos C cos A cos A cos B cos C = cos Acos B cos C) cos B cos C cos A) cos A sin A cos A cos A) = cos A sin A ) 从而不等式右边也成立 由此解法其实可以写出右边的一个加强式 不过会有根号 不太好看就不写了 来看简单的代数证法吧 代数证法 不等式左边的证法同上 对于不等式右边 由于 x y z 中总有两个不大于 或不小于 由对 称性 不妨设 x )y ) 0 得 x y xy 则 另一方面 由均值不等式 有 所以不等式右边也成立 xy yz zx xyz = zx y) z)xy zxy ) z)xy = xy z 4 = x y z xyz z)xy z = 4 z z)xy = xy z 题目 3..4. 已知 a b c > 0 且 a b c abc 4 求证 三角证法一 a b b c c a a b c 对于满足 a b c abc 4 的任何正数 a b c 均存在 x y z > 0 及 0 < t 使得 a = tx b = ty c = tz 且 x y z xyz = 4 代入不等式化为 tx y y z z x) x y z 设 fu) = a u b u c u abc u 3 则 fu) 在 0 ] 上连续且 f) 4 且 时取 x = a t y = b t z = c t 即满足 x y z xyz = 4 lim fu) = 故必存在 t 0 ] 使 ft) = 4 此 u 0 3
能力提升 由 0 < t 可见只要证明当 x y z > 0 且 x y z xyz = 4 时 x y y z z x x y z 3..) 类似地 可令 x = cos A y = cos B z = cos C 其中 A B C 为锐角三角形的三个内角 则式 3..) 化为 cos A cos B cos B cos C cos C cos A) cos A cos B cos C 而这正是当嵌入不等式 p q r pq cos A qr cos B rp cos C) 取 p = cos A q = cos B r = cos C 时的不等式 所以式 3..) 成立 故原不等式得证 代数证法一同样地 只要证式 3..) 即可 由柯西不等式 有 x y y z z x x y z )x y y z z x ) 因此 要证式 3..) 只要证如下更强式 x y y z z x x y z 3..) 由于 x y z 中总有两个不大于 或不小于 由对称性 不妨设 x )y ) 0 得 x y x y 则 x y y z z x = x y z x y ) x y z x y ) = x y z ) z 又 所以只要证 x y z xy z xy z ) 而在题目 3..3 的代数证法中已经证得 xy z 所以 xy z ) z) z ) = zz ) 所以式 3..) 成立 故原不等式得证 三角证法二同样地 只要证式 3..) 即可 联系到三角形中的三角恒等式 sin A B sin C sin sin A sin B sin C = 可令 x = sin A y = sin B z = sin C 其中 A B C 为任意三角形的三个内角 则 记 cos B C 式 3..) 4 sin A B sin sin A cos A) cos B) cos A ) 3 cos B cos C) cos A cos B cos C 3 cos A 3 0 cos B C = λ 则上式可以写成 gλ) 0 其中 sin A B C 3 cos A) cos cos A 0 gλ) = λ sin A 3 cos A)λ cos A 4
能力提升 易证 sin A < λ 而 gλ) 为开口向下的二次函数 所以 { gλ) min g sin A ) } g) 不难计算出 g sin A ) = cos A 以及 g) = sin A sin A ) 从而 gλ) 0 因此式 3..) 成立 故原 不等式得证 上述证法中使用的那个半角正弦的恒等式似乎被用得很少 几乎被忽略 而余弦的那个恒等式则用得很 多 其实两恒等式本质是相同的 只不过作了个角变换而已 不应被忽略 这里使用它的好处在于 半角遇着 平方 正好变成单角且去掉平方 使式子变得简单 后面如果用 s-r-r 方法 的话更加是一行之内搞定的事 不过前面也说了不用这方法 所以选用了相对麻烦一点的 B C 方法 好 继续来代数证法 代数证法二 反证法 ) 同样地 只要证式 3..) 即可 我们用反证法证之 假设存在 x y z > 0 使得 x y y z z x > x y z 下面证明此时必有 x y z xyz > 4 由 x y y z z x > x y z 得 x y z xyz > x y z ) x y y z z x xyz x y z x y y z z x = x y z ) x y y z z x xyz 3x y z ) x y y z z x x y z ) xyzx y z) x y y z z x x y y z z x ) 3 x y z 3x y y z z x ) = 4 x4 y 4 z 4 x y y z z x xyzx y z) x y y z z x = 4 x y z) xyz x y z)y z x)z x y) ) x y y z z x 而 xyz x y z)y z x)z x y) 正是 Schür 不等式的等价式 因此得到 x y z xyz > 4 与 已知矛盾 故原不等式得证 题目 3..5. 已知 x y z > 0 且 xy yz zx xyz = 4 求证 x y z xy yz zx 三角证法 已知等式可以写成 ) xy ) yz ) zx xy yz zx = yz zx xy 因此 可以令 = cos A = cos B = cos C 其中 A B C 为锐角三角形的三个内角 则有 cos B cos C cos C cos A cos A cos B x = y = z = 原不等式化为 cos A cos B cos C 由嵌入不等式 cos B cos C cos A cos C cos A cos B cos A cos B cos C p q r pq cos C qr cos A rp cos B) cos A cos B cos C) 3..3) 5
能力提升 令 p = cos B cos C q = cos C cos A r = cos A cos B 得 cos B cos C) cos C cos A) cos A cos B) cos A cos B cos Ccos A cos B cos C) 由锐角三角形知 cos A cos B cos C > 0 故上式两边除以 cos A cos B cos C 就得到式 3..3) 从而原不等式得证 代数证法一由于 x y z 中总有两个不大于 或不小于 由对称性 不妨设 x )y ) 0 得 x y xy 则 4 = zx y) xy z) zxy ) xy z) = zxy ) xy 得到 由条件知 z 4 xy xy x y z xy yz zx x y z 4 xyz x y xy)z 4 而 令 xy = t 由 xy < 4 知 t < 则 故原不等式成立 x y xy)z xy x y xy)z t t )4 t ) t xy)4 xy) xy = t t)t ) t 4 4 代数证法二 将已知等式变形 有 设 a b c > 0 有 注意到 等与 x 应的 a b c > 0 使得 x = a b c y = xy yz zx xyz = 4 x )y )z ) = x )y ) y )z ) z )x ) x y z = b c a b c) c a a b c) a b a b c) = b c 等的取值范围都是 a b c) x = b c a b c) y = b c a z = a b c 0 ) 可见对于满足已知条件的任意 x y z 都存在相 c a a b c) z = c 是合理的 代入原不等式中 化为 a b b c a c a b 上式去分母整理后正是 Schür 不等式 所以原不等式成立 ab b c)c a) bc c a)a b) ca a b)b c) a b a b c) 反之亦然 即代换 代数证法三 反证法 ) 假设存在 x y z > 0 使得 x y z < xy yz zx 下面证明此时必有 xy yz zx xyz > 4 6
能力提升 由 x y z < xy yz zx 得 xy yz zx xyz > x y z) xyzx y z)3 xy yz zx xy yz zx) 3 所以只要证明 xy yz zx) x y z) xyzx y z) 3 4xy yz zx) 3 3..4) 记 p = x y z q = xy yz zx ) 若 p > 4q 则 xy yz zx) x y z) > 4xy yz zx) 3 显然式 3..4) 成立 ; ) 若 p 4q 由 Schür 不等式的等价形式 可知要证式 3..4) 只需证 上式移项并因式分解为 注意到由均值不等式有 p 3q 所以上式成立 xyz p4q p ) 9 p q p4 4q p ) 9 4q 3 9 4q p )p 3q)p 3q) 0 综合 )) 知式 3..4) 成立 从而得到 xy yz zx xyz > 4 与已知矛盾 故原不等式得证 与题目 3..5 等价的一道题是 : 已知 x y z > 0 且 x y z = xyz 求证 xy yz zx x y z) 这道题我也见过几次 你能看出他们为什么等价吗? 接下来这道题与题目 3..5 可以说是 姊妹题 仅仅是条件有点不同 但就因这一点不同 使我暂时还找 不到一个三角代换的证法 题目 3..6. 已知 a b c 0 且 a b c abc = 4 求证 代数证法一 ab a b 则 a b c ab bc ca 由于 a b c 中总有两个不大于 或不小于 由对称性 不妨设 a )b ) 0 得 4 = a b ab)c a b a b)c = a b) c) 得到 由条件知 c 4 a b a b c ab bc ca 4 abc ab bc ca abc ) a b)c 4 而 abc ) a b)c 4ab ) 4 a b) a b a b a b) = 4 a b 所以原不等式得证 代数证法二 消元配方 ) 由条件得 c = 4 a b ab 7
能力提升 代入原不等式并作差配方 6 a b) a b) ) a b ) 4aba b) a b c ab bc ca = 6 ab) 注意到 a b 4 故原不等式成立 代数证法三 反证法 ) 假设存在 a b c 0 使得 abc < abbcca 下面证明此时有 abcabc > 4 由 a b c < ab bc ca 得 a b c abc > a b c) abca b c)3 ab bc ca ab bc ca) 3 所以只要证 ab bc ca) a b c) abca b c) 3 4ab bc ca) 3 这与式 3..4) 一样所以成立 即得 a b c abc > 4 与已知矛盾 故原不等式得证 由上述代数证法二可以看出原题的条件可以改为 ab 0 c 0 且 a b c abc = 4 也就是说允许有两 个元为负 而令我感到有趣的是 虽然这两 姊妹题 条件不同 没想到反证法的时候后面要证的式子竟然是 一样的 好 来最后一道 题目 3..7. 已知 a b c > 0 且 ab bc ca abc = 求证 a 3 b 3 c 3 9abc a b c 3..5) 这道题我个人认为比上面的这些题都要难 尽管由条件也可以三角代换或者类似于题目 3..5 的代数证法 二那样作代换 但代入后次数会变得比较高 并不易处理 下面给出的两个麻烦的证法是在编写本文时几经周 折才弄了出来的 先来看三角证法 为方便书写 由这里开始记 p = cos A q = cos A cos B t = cos B C m = sin A 在证明原题前 先证明如下定理 定理 3... 当 A B C = π 时 有 5 p 3 3 p)3 q 5 p 3 3 p)3 3..6) 定理 3.. 的证明 式 3..6) 等价于 4 3 p)3 q 5 ) p 3 0 3..7) 下证有恒等式 4 3 p)3 q 5 ) p 3 = 4 sin B C sin C A sin A B 3..8) 由积化和差与和差化积公式 易得 cos B cos C = m t cos B cos C = mt 由此容易计算出 代入并因式分解 可得 4 3 p)3 p = m mt q = 4m 3 t m t) q 5 p 3 ) = t )t 3m 4m 3 ) 8
能力提升 = sin B C = sin B C = 4 sin B C = 4 sin B C cos B C sin 3A cos B C cos cos B C sin C A ) ) 3B 3C cos B C sin A B 所以恒等式 3..8) 成立 定理 3.. 得证 由证明过程中的恒等式可以看出定理 3.. 是一个很强的结论 下面利用这个定理来证明原不等式 三角证法 由已知等式可令 bc = sin A ca = sin B ab = sin C 其中 A B C 为任意三角形的三个 sin B 内角 则有 a = sin C sin C b = sin A sin A c = sin B 代入原不等式中 有 sin A sin B sin C 式 3..5) sin 3 B sin3 C sin 3 A 9 sin A sin B sin C sin B sin C sin A sin B sin C sin 4 A 9 sin A 记 u = 则 cos B) cos C) cos A) 9 cos A 3..9) cos A v = cos B w = cos C 容易计算出 uvw = = cos A) p ) 6 4p q u = uvw cos A) cos B) = p ) 6 p uv = uvw cos A) = p ) 式 3..9) u vw 9 u u) 3 3 u uv u 3..0) uvw 将上述数据代入并去分母化简整理有 式 3..0) q ) q 44 3p)q 3p 3 7p 35p 7 ) 0 由 cos A) > 0 和 cos A) > 0 相加可得 q > 0 所以上式可以约去 q 并记 fx) = x 44 3p)x 3p 3 7p 35p 7 则式 3..0) 等价于 fq) 0 3..) 实际上我就是对该恒等式展开获得定理 3.. 的 这种做法其实是模仿了 pqr 定理或者三角形基本不等式的证明 因为我知道这样做 如无意外将会得到跟 pqr 定理和三角形基本不等式一样强的不等式 9
能力提升 注意到 fx) 为开口向上的二次函数 其对称轴为 x = 3p 4 下证 q > 3p 4 根据定理 3.. 只要证 5 p 3 3 p)3 > 3p 4 即 p > 3 p) 3 熟知 < p 3 所以只要证 p) > 3 p) 3 因式分解为 p )8p 7p 3) > 0 易知成立 所以 q > 3p 4 由此可见 fq) 关于 q 单调递增 再由定理 3.. 有 fq) f 5 p 3 ) 3 p) 3 = 3 p) p 6p 7 p) 3 p ) 所以只要证 p 6p 7 p) 3 p 易证 p 6p 7 > 0 所以上式两边平方等价于 显然成立 所以式 3..) 成立 原不等式得证 p 6p 7) 4 p) 3 p) p ) 4 0 不难看出 上述三角证法是比较 暴力 的 观赏性并不高 有的地方我也省略了繁琐的计算过程 所以 可读性也不高 而下面这个代数证法相对来说就有一定的可读性和观赏性 可以说我运气比较好 后面的计算比我预料中 顺利得多 代数证法类似于题目 3..5 的代数证法二那样 可作代换 a = x y z b = z > 0 则式 3..5) ) 3 x 9xyz x y z x y) y z 对于式 3..) 右边 容易计算出 y z x c = z x y 其中 x y x 3 x y)x z) y z) 9xyz xx y)x z) x 3 ) x y)x z) y z) xyz xx y)x z) xyz 3..) 对于式 3..) 左边 有 x 3 ) x y)x z) y z) xyz xx y)x z) xyz = x y 3z)x y) = x 4 x y z) x 3 yz xyzy z) y z) = x y z) x 4 xyzx y z) y z) = x y z) x 4 x 3 y z) x yz x 3 xyz)y z) y z) x x y)x z) = x y z) y z) ) xx y)x z) xx z)x y) y z) x x y)x z) = x y z) y z) )) xx y)x z) yy x)y z) y z) z x) 30
能力提升 = x y z) 因此 式 3..) 等价于 x x y)x z) y z) x x y)x z) y z) x y z) xy ) x y) y z)z x) 进一步化简 注意到 x y z) xy y z)z x) 所以式 3..3) 又等价于 x y z) xy ) ) x y) y z)z x) x y 3z)x y) 3..3) x y z x y 3z x y z = x y z) xy y z)z x) x y z) y z)z x) x y z = x y z) zx y z) x y z) y z)z x) x y z ) x y z = x y z) y z)z x) x y z = x y z) x y z) z xy yz zx) ) y z)z x) = x y z)x y z ) y z)z x)x y z) x x y)x z) y z) x y z)x y z )x y) 0 3..4) y z)z x)x y z) 下面分别证明 x x y)x z) y z) 0; 3..5) x y)x y z)x y z )x y) 0 3..6) 由对称性 不妨设 x y z 则 x x y)x z) y z) = x x y) x x y)y z) y z) y y z)y x) z x) z y z) z y z)x y) x y) = x x y) x y z) y z) y z x) z ) x y) x y)y z) z y z) x y) z 由 x y z 易得 x y)y z) 0 以及 x y) y z x) 所以式 3..5) 成立 ; 再由 x y z 及 x y) z x) 得 x y)x y z)x y z )x y) x y)x y z)x y z )x y) z x)z x y)z x y )z x) x y)x y z)y z )x y) z x)z x y)z y )x y) = y z ) x y) 0 所以式 3..6) 也成立 由式 3..5) 3..6) 即得式 3..4) 所以原不等式得证 3
能力提升 3. 一类圆内接三角形的最大面积 李明 孙世宝 文 [] 利用微积分的知识研究了圆内接定周长三角形的最大面积 得到如下定理 定理 3... 设圆的半径为 R 其内接三角形周长为定值 l 则该三角形面积最大时 其形状为等腰三角 形 记最大面积为 S max 则 其中 a = l R t 满足如下方程 S max = 4R t a t ) 4t 4 4at a = 0 笔者利用初等数学知识研究了与上述问题类似的一类圆内接三角形的最大面积 内接于定圆且两条边长 之和为定值的三角形的最大面积 得到了如下的定理 定理 3... 设圆的半径为 R 其内接三角形有两边之和为定值 LL < 4R) 则当且仅当这两条边相等时 L 即均为时 ) 该三角形取到最大面积 S max = L3 6R L 64R 证明记该三角形为 ABC 角 A B C 的对应边分别为 a b c 不妨设 a b = L 由余弦定理和正弦定理可得 a b ab cos C = c = R sin C) 即 于是 于是 a b) ab cos C) = R sin C) ab = L 4R sin C cos C) S = ) L ab sin C = 4 R sin sin C C cos C 3..) 令 x = tan C 于是由正弦的万能公式和正切的半角公式可将式 3..) 化为 S = L 4 x 4R x 3 x ) 3..) 下面来证明 L 4 x 4R x 3 L3 6R L x ) 64R 3..3) 6R 记 t = 则式 3..3) 可化为 L 4 x t ) x 3 4 x ) t 4 t ) 整理即为 t ) x 5 tx 4 t 4 ) x 3 tx t ) x t 0 因式分解为 x t) [ t ) x 4 t 3 x 3 x tx ] 0 3..4) 3
能力提升 由于 L = a b = R sin A sin B) = 4R sin A B cos A B 4R sin A B = 4R cos C 于是 sec C 4R L 于是 即 tan C = sec C 6R L x t 0 3..5) 又由于 于是 t 3 x 3 tx = t 3 x 3 ) ) tx 3 3 t 3 x 3 tx = ) 3 3 tx > 0 t )x 4 t 3 x 3 x tx > 0 3..6) 因此 由式 3..5) 及式 3..6) 可知式 3..4) 成立 从而式 3..3) 成立 等号成立当且仅当 cos A B 即 A = B 即 a = b = L 综上可得 S max = L3 6R L 64R 当且仅当 a = b = L 时取到该值 定理 3.. 证毕 = 参考文献 [] 舒阳春. 圆内接多边形定周长的面积最大值问题 [J]. 武汉科技大学学报 自然科学版 ) 000 3) :05. 33
能力提升 3.3 一个多重根式不等式的加强 李明 文 [] 给出了如下一个多重根式不等式 : k k ) n < k 3.3.) 其中 k n 文 [] 从方根次数和被开方数列两个角度同时推广不等式 3.3.) 得到了如下的不等式 : m a m a m a n < a ) m ) a ) m ) 3.3.) 其中 n m N{a n } 是单调递增的正项等差数列且满足末项 a n > 笔者发现多重根式不等式 3.3.) 还可以进一步加强为如下更加简洁的不等式 : m a m a m a n < a d ) m 3.3.3) m 其中 n m N{a n } 是正项等差数列且满足公差 d 0 和末项 a n > 下面用数学归纳法来给出不等式 3.3.3) 的证明 证明记 x k = m a k m a k m a n k n) 当 k = n 时 欲证 x n < a n d m ) m 等价于证明 a n d ) m > a m n m 由于 m N d 0 a n > 于是 a n d ) m a m n > a m n m 假设 x k < 于是 欲证 x k < 即证 a k d ) m 其中 k 为 [ n] 里的某个整数 则有 m a k 由二项式展开定理可得 ) m a k a m d m x k = m a k x k < m d m 综上 由数学归纳法可得 x < m ) m 只需证 a k a k a m k a k k ma m k a k a k d ) m m d ) m a k d ) m m m d ) a k m d m = am k a k d d ) m m a d ) m 即不等式 3.3.3) 成立 m 34 d ) = a m k a k m d ) m
能力提升 最后 我们论证一下不等式 3.3.3) 是不等式 3.3.) 的加强 即要证明 由加权算术几何平均不等式可得 a ) m ) a ) m ) a d ) m m 左边 = m m m a d ) m m a m d ) m = 右边 m 参考文献 [] 匡继昌. 常用不等式 第四版 )[M]. 济南 : 山东科学技术出版社 00.8:07. [] 李明 韩安静 严文兰. 一个多重根式不等式的推广 [J]. 数学空间 0 年第 期 总第 8 期 ):. 35
朝花夕拾 4. 封面故事 Soddy 圆 何万程 A B C 两两外切 与 A B C 都相切的圆称为 ABC 的 Soddy 圆 其中在 ABC 内部的 Soddy 圆称为 ABC 的内 Soddy 圆 另外一个 Soddy 圆称为 ABC 的外 Soddy 圆 以下简单讲讲 Soddy 圆的存在情况和半径的求法 A A. B C A B U C S. T l A C B. O B C 图 4.. 图 4.. 图 4..3 下面先确定 A B C 有一条公共的公切线时圆半径的关系 设 A B C 两两外切 半径分别 为 a b ca b c 设 A B C 有一条公切线 l 切点分别是 A B C 过点 C 作 l 的平行线 分别交直线 AA BB 于点 S T ; 过点 B 作 l 的平行线 交直线 AA 于点 U; 连 AA BB CC AB AC BC ST UB 则 SC = a c) a c) = act C = b c) b c) = bc a ) c ST = SC T C = b 而 由 AU UB = AB 得整理得并由此得 AU = a bub = ST = a b ) cab = a b a a b) ) c ) b = a b) a = b c a b a c b c = abc a b c) 由双曲线的定义以及方程知 若 B C 的大小固定 当 A 夹在 B C 的两条外公切线之间时 A 的半径比 A B C 有一条公切线时的 A 的半径小 此时有 a > b c 并由此得 a b a c b c > abc a b c) ; 36
朝花夕拾 当 A 与 B C 的一条外公切线相交时 A 的半径比 A B C 有一条公切线时的 A 的半径大 时有 a < b c 并由此得 a b a c b c < abc a b c) 为了求得 Soddy 圆的半径 先证明平面四点的距离关系 定理 4... 设平面四点 A B C D 之间 BC = aca = bab = cad = pbd = qcd = r 令 P = ap) a b c p q r ) P = bq) a b c p q r ) P 3 = cr) a b c p q r ) Q = abc) aqr) brp) cpq) 则有 P P P 3 = Q 证明 由余弦定理 得 cos ADB = p q c pq cos BDC = q r a qr cos CDA = r p b rp 设 cos ADB = xcos CDA = y 因为 BDC = 360 ADB CDA 或 BDC = ADB CDA 无论哪种情况 由余弦定理 都得 q r qr xy ) x ) y ) = a 即 q r qrxy a = qr x ) y ) 上面方程两边平方 把上面得到的 x y 的值代入上面的方程 并且化简方程 得 P P P 3 = Q 若 A B C 两两外切 半径分别为 a b ca b c O 与上述三圆都内切 半径为 r 代入 A B C O 四点距离关系的方程 得 a b a c b c abc a b c) ) r abc ab ac bc) r a b c = 0 解这个方程 得如下结论 : a) 如果 a b a c b c abc a b c) 就得 r = abc ab ac bc ± abc a b c) 37
朝花夕拾 由于 ab ac bc) 4abc a b c) = a b a c b c abc a b c) 当 a b a c b c > abc a b c) 时 abc a b c) < ab bc ca 此时 r 的两个值都为负 也 就是说在 a b a c b c > abc a b c) 时不可能有一圆与上述三圆都内切 当 a b a c b c < abc a b c) 时 abc a b c) > ab bc ca 此时 r 的值为正的只有 r = abc ab ac bc abc a b c) b) 如果 a b a c b c abc = abc a b c) 就得 r = ab ac bc) < 0 这是不可能 也就是说在 a b a c b c = abc a b c) 时不可能有一圆与上述三圆都内切 在 A B C 两两外切 半径分别为 a b ca b c 时 : ) 若 a b a c b c > abc a b c) 则 A 夹在 B C 的两条外公切线之间 此时有 > ; a b c ) 若 a b a c b c = abc a b c) 则 A B C 有一条公共的公切线 此时有 b c ; 3) 若 a b a c b c < abc a b c) 则 A 与 B C 的一条外公切线相交 此时有 b c a = a < 若 O 与 A B C 都外切 用类似上面的方法 得到如果 a b a c b c abc a b c) 就 得当 a b a c b c > abc a b c) 时 r = 当 a b a c b c < abc a b c) 时 r = 如果 a b a c b c = abc a b c) 就得到 abc ab ac bc ± abc a b c) ; abc ab ac bc abc a b c) r = abc ab ac bc) 38