读题:三小问是一条链
假设你刚学完椭圆 。这道题看着长,其实是一条链,后一问全靠前一问的产物:
(1) 把椭圆 的方程定下来——不定出来,后面两问连点的坐标都写不了;
(2)(i) 把点 R R R 用 P P P 的坐标 ( m , n ) (m,n) ( m , n ) 表示出来;
(2)(ii) 拿 (i) 的结果去翻译条件「k O R = 3 k O P k_{OR}=3k_{OP} k O R = 3 k O P 」,会撞出一个意外的收获:P P P 只能待在一个圆 上。于是问题变成「圆 上一点与椭圆 上一点最远能隔多远」。
所以 (i) 不是一道送分的填空,它是 (ii) 的原料。
第一步:由基本量定出椭圆 (两条路共用)
怎么想到的。 题目给的两个条件(离心率 2 2 3 \dfrac{2\sqrt2}{3} 3 2 2 、∣ A B ∣ = 10 |AB|=\sqrt{10} ∣ A B ∣ = 10 )都不是「方程里的系数」,得先翻译成 a , b a,b a , b 的等式。这就是基本量法 :椭圆 里的每一个几何条件,统统翻成基本量 a , b , c a,b,c a , b , c 的关系,再解方程。
先把 A , B A,B A , B 的坐标读出来。 标准方程 x 2 a 2 + y 2 b 2 = 1 ( a > b > 0 ) \dfrac{x^2}{a^2}+\dfrac{y^2}{b^2}=1\ (a>b>0) a 2 x 2 + b 2 y 2 = 1 ( a > b > 0 ) 的四个顶点是 ( ± a , 0 ) (\pm a,0) ( ± a , 0 ) 与 ( 0 , ± b ) (0,\pm b) ( 0 , ± b ) ,所以下 顶点是 A ( 0 , − b ) A(0,-b) A ( 0 , − b ) 、右顶点是 B ( a , 0 ) B(a,0) B ( a , 0 ) 。这两点一横一竖,∣ A B ∣ |AB| ∣ A B ∣ 就是直角边为 a a a 与 b b b 的斜边:
∣ A B ∣ = a 2 + b 2 = 10 ⟹ a 2 + b 2 = 10 |AB|=\sqrt{a^2+b^2}=\sqrt{10}\ \Longrightarrow\ a^2+b^2=10 ∣ A B ∣ = a 2 + b 2 = 10 ⟹ a 2 + b 2 = 10
再翻译离心率 。 椭圆 的三个基本量满足 a 2 = b 2 + c 2 a^2=b^2+c^2 a 2 = b 2 + c 2 ,而 e = c a e=\dfrac{c}{a} e = a c 。把前式两边同除以 a 2 a^2 a 2 ,就得到只含比值的一句话(这就是椭圆的离心率 那条公式的用法):
e 2 = c 2 a 2 = 1 − b 2 a 2 = ( 2 2 3 ) 2 = 8 9 ⟹ b 2 a 2 = 1 9 ⟹ a 2 = 9 b 2 e^2=\frac{c^2}{a^2}=1-\frac{b^2}{a^2}=\left(\frac{2\sqrt2}{3}\right)^2=\frac89\ \Longrightarrow\ \frac{b^2}{a^2}=\frac19\ \Longrightarrow\ a^2=9b^2 e 2 = a 2 c 2 = 1 − a 2 b 2 = ( 3 2 2 ) 2 = 9 8 ⟹ a 2 b 2 = 9 1 ⟹ a 2 = 9 b 2
代进 a 2 + b 2 = 10 a^2+b^2=10 a 2 + b 2 = 10 得 10 b 2 = 10 10b^2=10 10 b 2 = 10 ,故 b 2 = 1 b^2=1 b 2 = 1 、a 2 = 9 a^2=9 a 2 = 9 :
C : x 2 9 + y 2 = 1 C:\ \frac{x^2}{9}+y^2=1 C : 9 x 2 + y 2 = 1
顺手记下后面一直要用的两件事:A ( 0 , − 1 ) A(0,-1) A ( 0 , − 1 ) ;椭圆 上的点满足 x 2 = 9 − 9 y 2 x^2=9-9y^2 x 2 = 9 − 9 y 2 ,且 − 1 ≤ y ≤ 1 -1\le y\le 1 − 1 ≤ y ≤ 1 。
关键一步:把 R 钉死需要两句话
第 (2) 问的条件只有两句:
R R R 在射线 A P AP A P 上 (这管方向),∣ A R ∣ ⋅ ∣ A P ∣ = 3 |AR|\cdot|AP|=3 ∣ A R ∣ ⋅ ∣ A P ∣ = 3 (这管长度)。
「在射线 A P AP A P 上」说的是 A , R , P A,R,P A , R , P 共线、且 R R R 与 P P P 在 A A A 的同一侧 ;「乘积等于 3 3 3 」说的是 R R R 离 A A A 有多远。方向定出一条射线,长度在这条射线上定出唯一一点——两句话恰好把 R R R 钉死 ,所以 (i) 一定做得出来。
难处在于:「共线」这件事有两种写法 ,而选哪一种,决定了后面算式的丑俗程度。
写成斜率相等 k A R = k A P k_{AR}=k_{AP} k A R = k A P ——最直觉,是解法一;
写成向量成倍数 A R → = λ A P → \overrightarrow{AR}=\lambda\overrightarrow{AP} A R = λ A P ——它顺手把长度条件一起吞掉,是解法二。
两条路都要用到 m ≠ 0 m\neq0 m = 0 :题面那句「P P P 不在 y y y 轴上」给的就是这个(否则 k A P k_{AP} k A P 、k O P k_{OP} k O P 都写不出来)。
解法一:斜率与距离硬解坐标
怎么想到的。 设 R ( x 0 , y 0 ) R(x_0,y_0) R ( x 0 , y 0 ) ,把上面两句条件各写成一个方程,然后把 x 0 , y 0 x_0,y_0 x 0 , y 0 解出来。这是最不需要灵感的做法——条件有几句就列几个方程 ,未知数有两个、方程正好两个。
① 共线 → 斜率相等。 因为 A ( 0 , − 1 ) A(0,-1) A ( 0 , − 1 ) ,
k A P = n + 1 m , k A R = y 0 + 1 x 0 ⟹ y 0 + 1 x 0 = n + 1 m k_{AP}=\frac{n+1}{m},\qquad k_{AR}=\frac{y_0+1}{x_0}\ \Longrightarrow\ \frac{y_0+1}{x_0}=\frac{n+1}{m} k A P = m n + 1 , k A R = x 0 y 0 + 1 ⟹ x 0 y 0 + 1 = m n + 1
「射线」还多给一句 :R R R 与 P P P 在 A A A 的同侧,横坐标同号,即 m x 0 > 0 mx_0>0 m x 0 > 0 (顺带说明 x 0 ≠ 0 x_0\neq0 x 0 = 0 ,上面那个分式才写得出来)。这句话待会儿救命。
② 长度 → 距离乘积。 两段距离都从 A A A 量起:
∣ A R ∣ = x 0 2 + ( y 0 + 1 ) 2 , ∣ A P ∣ = m 2 + ( n + 1 ) 2 |AR|=\sqrt{x_0^2+(y_0+1)^2},\qquad |AP|=\sqrt{m^2+(n+1)^2} ∣ A R ∣ = x 0 2 + ( y 0 + 1 ) 2 , ∣ A P ∣ = m 2 + ( n + 1 ) 2
关键的一手是用 ① 把 y 0 + 1 y_0+1 y 0 + 1 换掉 (y 0 + 1 = ( n + 1 ) x 0 m y_0+1=\dfrac{(n+1)x_0}{m} y 0 + 1 = m ( n + 1 ) x 0 ),让第一个根号里只剩 x 0 x_0 x 0 :
∣ A R ∣ = x 0 2 [ 1 + ( n + 1 m ) 2 ] = ∣ x 0 ∣ 1 + ( n + 1 m ) 2 |AR|=\sqrt{x_0^2\left[1+\left(\frac{n+1}{m}\right)^2\right]}=\left|x_0\right|\sqrt{1+\left(\frac{n+1}{m}\right)^2} ∣ A R ∣ = x 0 2 [ 1 + ( m n + 1 ) 2 ] = ∣ x 0 ∣ 1 + ( m n + 1 ) 2
同理把 ∣ A P ∣ |AP| ∣ A P ∣ 也提出一个 ∣ m ∣ |m| ∣ m ∣ :∣ A P ∣ = ∣ m ∣ 1 + ( n + 1 m ) 2 |AP|=\left|m\right|\sqrt{1+\left(\dfrac{n+1}{m}\right)^2} ∣ A P ∣ = ∣ m ∣ 1 + ( m n + 1 ) 2 。两个根号长得一模一样 ,相乘之后根号整体消失,只留下括号里那一坨的一次方;而 ∣ x 0 ∣ ⋅ ∣ m ∣ = x 0 m \left|x_0\right|\cdot\left|m\right|=x_0m ∣ x 0 ∣ ⋅ ∣ m ∣ = x 0 m (这正是 m x 0 > 0 mx_0>0 m x 0 > 0 的用处,不必分正负讨论):
[ 1 + ( n + 1 m ) 2 ] x 0 m = 3 \left[1+\left(\frac{n+1}{m}\right)^2\right]x_0m=3 [ 1 + ( m n + 1 ) 2 ] x 0 m = 3
括号里通分成 m 2 + ( n + 1 ) 2 m 2 \dfrac{m^2+(n+1)^2}{m^2} m 2 m 2 + ( n + 1 ) 2 ,与外面的 x 0 m x_0m x 0 m 约掉一个 m m m :
[ m 2 + ( n + 1 ) 2 ] x 0 m = 3 ⟹ x 0 = 3 m m 2 + ( n + 1 ) 2 \frac{\left[m^2+(n+1)^2\right]x_0}{m}=3\ \Longrightarrow\ x_0=\frac{3m}{m^2+(n+1)^2} m [ m 2 + ( n + 1 ) 2 ] x 0 = 3 ⟹ x 0 = m 2 + ( n + 1 ) 2 3 m
③ 回代求 y 0 y_0 y 0 。 由 ①:
y 0 = − 1 + ( n + 1 ) x 0 m = − 1 + 3 ( n + 1 ) m 2 + ( n + 1 ) 2 = 3 n + 3 − [ m 2 + ( n + 1 ) 2 ] m 2 + ( n + 1 ) 2 = n + 2 − m 2 − n 2 m 2 + ( n + 1 ) 2 y_0=-1+\frac{(n+1)x_0}{m}=-1+\frac{3(n+1)}{m^2+(n+1)^2}=\frac{3n+3-\left[m^2+(n+1)^2\right]}{m^2+(n+1)^2}=\frac{n+2-m^2-n^2}{m^2+(n+1)^2} y 0 = − 1 + m ( n + 1 ) x 0 = − 1 + m 2 + ( n + 1 ) 2 3 ( n + 1 ) = m 2 + ( n + 1 ) 2 3 n + 3 − [ m 2 + ( n + 1 ) 2 ] = m 2 + ( n + 1 ) 2 n + 2 − m 2 − n 2
故
R ( 3 m m 2 + ( n + 1 ) 2 , n + 2 − m 2 − n 2 m 2 + ( n + 1 ) 2 ) R\left(\frac{3m}{m^2+(n+1)^2},\ \frac{n+2-m^2-n^2}{m^2+(n+1)^2}\right) R ( m 2 + ( n + 1 ) 2 3 m , m 2 + ( n + 1 ) 2 n + 2 − m 2 − n 2 )
④ 顺着这个坐标做 (ii)。 两个坐标的分母一样,相除时直接约掉:
k O R = y 0 x 0 = n + 2 − m 2 − n 2 3 m , k O P = n m k_{OR}=\frac{y_0}{x_0}=\frac{n+2-m^2-n^2}{3m},\qquad k_{OP}=\frac{n}{m} k O R = x 0 y 0 = 3 m n + 2 − m 2 − n 2 , k O P = m n
条件 k O R = 3 k O P k_{OR}=3k_{OP} k O R = 3 k O P 就是 n + 2 − m 2 − n 2 3 m = 3 n m \dfrac{n+2-m^2-n^2}{3m}=\dfrac{3n}{m} 3 m n + 2 − m 2 − n 2 = m 3 n 。两边乘 3 m 3m 3 m (m ≠ 0 m\neq0 m = 0 ):
n + 2 − m 2 − n 2 = 9 n ⟹ m 2 + n 2 + 8 n − 2 = 0 ⟹ m 2 + ( n + 4 ) 2 = 18 n+2-m^2-n^2=9n\ \Longrightarrow\ m^2+n^2+8n-2=0\ \Longrightarrow\ m^2+(n+4)^2=18 n + 2 − m 2 − n 2 = 9 n ⟹ m 2 + n 2 + 8 n − 2 = 0 ⟹ m 2 + ( n + 4 ) 2 = 18
解法二:向量共线数乘
怎么想到的。 上一条路最难看的一步,是把 ∣ A R ∣ |AR| ∣ A R ∣ 从根号里剥出来。根号是哪来的?因为我们先写坐标、再算长度。把次序换过来 :先把「R R R 在射线 A P AP A P 上」写成一个数乘,长度就跟着倍数走,根号根本不出场。
「R R R 在射线 A P AP A P 上」等价于
A R → = λ A P → , λ > 0 \overrightarrow{AR}=\lambda\,\overrightarrow{AP},\qquad \lambda>0 A R = λ A P , λ > 0
(λ > 0 \lambda>0 λ > 0 就是「射线」这两个字;允许 λ < 0 \lambda<0 λ < 0 才是整条直线。)数乘只把向量拉长 λ \lambda λ 倍、不改方向 ,所以 ∣ A R ∣ = λ ∣ A P ∣ |AR|=\lambda|AP| ∣ A R ∣ = λ ∣ A P ∣ ,长度条件立刻塌成一个一元方程:
∣ A R ∣ ⋅ ∣ A P ∣ = λ ∣ A P ∣ 2 = 3 ⟹ λ = 3 ∣ A P ∣ 2 = 3 m 2 + ( n + 1 ) 2 |AR|\cdot|AP|=\lambda\,|AP|^2=3\ \Longrightarrow\ \lambda=\frac{3}{|AP|^2}=\frac{3}{m^2+(n+1)^2} ∣ A R ∣ ⋅ ∣ A P ∣ = λ ∣ A P ∣ 2 = 3 ⟹ λ = ∣ A P ∣ 2 3 = m 2 + ( n + 1 ) 2 3
这里用的是向量的坐标运算 里两条最基本的:终点坐标减起点坐标 给出 A P → = ( m − 0 , n − ( − 1 ) ) = ( m , n + 1 ) \overrightarrow{AP}=(m-0,\ n-(-1))=(m,n+1) A P = ( m − 0 , n − ( − 1 )) = ( m , n + 1 ) ,模长平方等于两个坐标的平方和 给出 ∣ A P ∣ 2 = m 2 + ( n + 1 ) 2 |AP|^2=m^2+(n+1)^2 ∣ A P ∣ 2 = m 2 + ( n + 1 ) 2 ——只用到平方,所以从头到尾没有根号 。
接着把向量坐标化 ,R R R 的坐标直接读出来(O R → = O A → + λ A P → \overrightarrow{OR}=\overrightarrow{OA}+\lambda\overrightarrow{AP} O R = O A + λ A P ):
R = ( 0 , − 1 ) + λ ( m , n + 1 ) = ( λ m , − 1 + λ ( n + 1 ) ) R=(0,-1)+\lambda(m,n+1)=\big(\lambda m,\ -1+\lambda(n+1)\big) R = ( 0 , − 1 ) + λ ( m , n + 1 ) = ( λm , − 1 + λ ( n + 1 ) )
代入 λ = 3 m 2 + ( n + 1 ) 2 \lambda=\dfrac{3}{m^2+(n+1)^2} λ = m 2 + ( n + 1 ) 2 3 :第一个坐标就是 3 m m 2 + ( n + 1 ) 2 \dfrac{3m}{m^2+(n+1)^2} m 2 + ( n + 1 ) 2 3 m ;第二个通分之后与解法一那一串逐字相同:
− 1 + 3 ( n + 1 ) m 2 + ( n + 1 ) 2 = n + 2 − m 2 − n 2 m 2 + ( n + 1 ) 2 -1+\frac{3(n+1)}{m^2+(n+1)^2}=\frac{n+2-m^2-n^2}{m^2+(n+1)^2} − 1 + m 2 + ( n + 1 ) 2 3 ( n + 1 ) = m 2 + ( n + 1 ) 2 n + 2 − m 2 − n 2
这条路真正的红利在 (ii)。 别急着通分——就带着 λ \lambda λ 去算斜率:
k O R = − 1 + λ ( n + 1 ) λ m , k O P = n m k_{OR}=\frac{-1+\lambda(n+1)}{\lambda m},\qquad k_{OP}=\frac{n}{m} k O R = λm − 1 + λ ( n + 1 ) , k O P = m n
条件 k O R = 3 k O P k_{OR}=3k_{OP} k O R = 3 k O P 两边同乘 λ m \lambda m λm ,右边的 m m m 与它约掉:
− 1 + λ ( n + 1 ) = 3 n λ ⟹ λ ( 1 − 2 n ) = 1 -1+\lambda(n+1)=3n\lambda\ \Longrightarrow\ \lambda\,(1-2n)=1 − 1 + λ ( n + 1 ) = 3 nλ ⟹ λ ( 1 − 2 n ) = 1
一整问的条件被压成了这一句。 把 λ = 3 m 2 + ( n + 1 ) 2 \lambda=\dfrac{3}{m^2+(n+1)^2} λ = m 2 + ( n + 1 ) 2 3 代回去:
3 m 2 + ( n + 1 ) 2 = 1 1 − 2 n ⟹ m 2 + ( n + 1 ) 2 = 3 ( 1 − 2 n ) \frac{3}{m^2+(n+1)^2}=\frac{1}{1-2n}\ \Longrightarrow\ m^2+(n+1)^2=3(1-2n) m 2 + ( n + 1 ) 2 3 = 1 − 2 n 1 ⟹ m 2 + ( n + 1 ) 2 = 3 ( 1 − 2 n )
展开整理 m 2 + n 2 + 2 n + 1 = 3 − 6 n m^2+n^2+2n+1=3-6n m 2 + n 2 + 2 n + 1 = 3 − 6 n ,即
m 2 + n 2 + 8 n − 2 = 0 ⟹ m 2 + ( n + 4 ) 2 = 18 m^2+n^2+8n-2=0\ \Longrightarrow\ m^2+(n+4)^2=18 m 2 + n 2 + 8 n − 2 = 0 ⟹ m 2 + ( n + 4 ) 2 = 18
与解法一同一个结论,但全程没出现过分式套分式。还白拿一个信息:λ > 0 \lambda>0 λ > 0 逼着 1 − 2 n > 0 1-2n>0 1 − 2 n > 0 ,即 n < 1 2 n<\dfrac12 n < 2 1 ——下面会看到 P P P 的纵坐标最高只到 − 4 + 3 2 ≈ 0.24 -4+3\sqrt2\approx0.24 − 4 + 3 2 ≈ 0.24 ,这个限制自动满足,不必额外验。
合流:P 在一个圆 上,最远的 |PM| 怎么求
两条路都走到同一个式子:
m 2 + ( n + 4 ) 2 = 18 m^2+(n+4)^2=18 m 2 + ( n + 4 ) 2 = 18
把它读出来。 这是圆 的标准方程:P ( m , n ) P(m,n) P ( m , n ) 到定点 N ( 0 , − 4 ) N(0,-4) N ( 0 , − 4 ) 的距离恒为 18 = 3 2 \sqrt{18}=3\sqrt2 18 = 3 2 。也就是说,那个看起来自由的动点 P P P 只能待在一个圆 上 ——圆 心 N ( 0 , − 4 ) N(0,-4) N ( 0 , − 4 ) 、半径 3 2 3\sqrt2 3 2 (并且要挖掉 m = 0 m=0 m = 0 的两个点 ( 0 , − 4 ± 3 2 ) \left(0,-4\pm3\sqrt2\right) ( 0 , − 4 ± 3 2 ) ,因为 P P P 不在 y y y 轴上)。这是本题最大的一次转折:条件「k O R = 3 k O P k_{OR}=3k_{OP} k O R = 3 k O P 」表面上在说斜率,实质上是一条轨迹。
两个点都在动,怎么下手。 现在 P P P 在圆 上跑、M M M 在椭圆 上跑,∣ P M ∣ |PM| ∣ P M ∣ 有两个自由度,没法直接求最值。诀窍是把圆 心请进来当中转站 :对任意三点,两段折线不短于直线,
∣ P M ∣ ≤ ∣ P N ∣ + ∣ N M ∣ = 3 2 + ∣ N M ∣ |PM|\le |PN|+|NM|=3\sqrt2+|NM| ∣ P M ∣ ≤ ∣ P N ∣ + ∣ N M ∣ = 3 2 + ∣ N M ∣
等号当且仅当 N N N 落在线段 P M PM P M 上。∣ P N ∣ |PN| ∣ P N ∣ 是常数(半径),于是两个自由度塌成一个 :只要求出 M M M 到圆 心 N N N 的最远距离,再加上半径。
求 ∣ M N ∣ |MN| ∣ M N ∣ 的最大值 (∣ N M ∣ |NM| ∣ N M ∣ 与 ∣ M N ∣ |MN| ∣ M N ∣ 是同一段)——这一步用椭圆参数方程求最值 。把椭圆 上的点写成 M ( 3 cos φ , sin φ ) M(3\cos\varphi,\ \sin\varphi) M ( 3 cos φ , sin φ ) (代进 x 2 9 + y 2 = 1 \dfrac{x^2}{9}+y^2=1 9 x 2 + y 2 = 1 恒成立,所以这样写不丢点也不多点):
∣ M N ∣ 2 = 9 cos 2 φ + ( sin φ + 4 ) 2 |MN|^2=9\cos^2\varphi+(\sin\varphi+4)^2 ∣ M N ∣ 2 = 9 cos 2 φ + ( sin φ + 4 ) 2
用 cos 2 φ = 1 − sin 2 φ \cos^2\varphi=1-\sin^2\varphi cos 2 φ = 1 − sin 2 φ 把它化成只含 sin φ \sin\varphi sin φ 的二次式 ——这是整个套路的目的:
∣ M N ∣ 2 = 9 − 9 sin 2 φ + sin 2 φ + 8 sin φ + 16 = − 8 sin 2 φ + 8 sin φ + 25 |MN|^2=9-9\sin^2\varphi+\sin^2\varphi+8\sin\varphi+16=-8\sin^2\varphi+8\sin\varphi+25 ∣ M N ∣ 2 = 9 − 9 sin 2 φ + sin 2 φ + 8 sin φ + 16 = − 8 sin 2 φ + 8 sin φ + 25
记 s = sin φ ∈ [ − 1 , 1 ] s=\sin\varphi\in[-1,1] s = sin φ ∈ [ − 1 , 1 ] ,配方:
∣ M N ∣ 2 = − 8 ( s − 1 2 ) 2 + 27 ≤ 27 |MN|^2=-8\left(s-\frac12\right)^2+27\le 27 ∣ M N ∣ 2 = − 8 ( s − 2 1 ) 2 + 27 ≤ 27
s = 1 2 s=\dfrac12 s = 2 1 落在 [ − 1 , 1 ] [-1,1] [ − 1 , 1 ] 里、真取得到,故 ∣ M N ∣ max = 27 = 3 3 |MN|_{\max}=\sqrt{27}=3\sqrt3 ∣ M N ∣ m a x = 27 = 3 3 ,此时 y M = 1 2 y_M=\dfrac12 y M = 2 1 、x M = ± 3 3 2 x_M=\pm\dfrac{3\sqrt3}{2} x M = ± 2 3 3 。
换个写法也是同一回事:直接设 M ( x M , y M ) M(x_M,y_M) M ( x M , y M ) ,用 x M 2 = 9 − 9 y M 2 x_M^2=9-9y_M^2 x M 2 = 9 − 9 y M 2 消去 x M x_M x M ,得到的正是 − 8 y M 2 + 8 y M + 25 -8y_M^2+8y_M+25 − 8 y M 2 + 8 y M + 25 ,y M ∈ [ − 1 , 1 ] y_M\in[-1,1] y M ∈ [ − 1 , 1 ] 。它与上面不算两条路 ——参数化只是把 y M y_M y M 改名叫 sin φ \sin\varphi sin φ ,同一个二次函数、同一个取值范围。
收口。
∣ P M ∣ max = 3 2 + 3 3 = 3 ( 3 + 2 ) |PM|_{\max}=3\sqrt2+3\sqrt3=3\left(\sqrt3+\sqrt2\right) ∣ P M ∣ m a x = 3 2 + 3 3 = 3 ( 3 + 2 )
下面这张图把几个对象摆在一起:椭圆 、P P P 的轨迹圆 、圆 心(图上只标了坐标 ( 0 , − 4 ) (0,-4) ( 0 , − 4 ) ,就是正文的 N N N ),以及椭圆 上离 N N N 最远 的那个点(图上记作 Q Q Q ,就是本题取到最值时的 M M M )。
图上那条红段不是答案里的那条 ∣ P M ∣ |PM| ∣ P M ∣ 。 它连的是 Q Q Q 与圆 上离 Q Q Q 最近 的那个点,长度只有 3 3 − 3 2 ≈ 0.95 3\sqrt3-3\sqrt2\approx0.95 3 3 − 3 2 ≈ 0.95 ;图的标题写的算式(半径 + + + 圆 心到椭圆 最远)是对的,但画出来的这条段与那个算式不是一回事。按上面的取等条件,N N N 必须落在 P P P 与 M M M 之间 ,所以最优的 P P P 在圆 的另一侧 :把 M ( 3 3 2 , 1 2 ) M\left(\dfrac{3\sqrt3}{2},\dfrac12\right) M ( 2 3 3 , 2 1 ) 与 N N N 的连线过 N N N 往下延长、交圆 于
P ( − 3 2 2 , − 4 − 3 6 2 ) ≈ ( − 2.12 , − 7.67 ) P\left(-\frac{3\sqrt2}{2},\ -4-\frac{3\sqrt6}{2}\right)\approx(-2.12,\,-7.67) P ( − 2 3 2 , − 4 − 2 3 6 ) ≈ ( − 2.12 , − 7.67 )
那一对 P , M P,M P , M 才是 ∣ P M ∣ = 3 2 + 3 3 |PM|=3\sqrt2+3\sqrt3 ∣ P M ∣ = 3 2 + 3 3 的构型。看图只用来认对象(椭圆 、圆 、圆 心、最优的 M M M ),别把图上那个红点当成最优的 P P P 。
被挖掉的那两个点会不会正好是最优的 P P P ? 值得一验,否则最大值取不到、答案就该改成「小于」。取等时 N N N 在线段 P M PM P M 上,即 P P P 是从 M M M 出发穿过 N N N 再走到圆 上的那个点。最优的 M M M 横坐标 x M = ± 3 3 2 ≠ 0 x_M=\pm\dfrac{3\sqrt3}{2}\neq0 x M = ± 2 3 3 = 0 ,所以 M M M 与 N N N 的连线不竖直,延长后落在圆 上的 P P P 横坐标也不为 0 0 0 ——它不是被挖掉的点,最大值确实取得到。
这两条路差在哪。 解法一把「共线」翻成斜率、把「长度」翻成根号,全程在坐标里硬算:好处是不用任何新工具,会写斜率和两点距离就能做;代价是根号、通分、符号(m x 0 > 0 mx_0>0 m x 0 > 0 )都得自己照顾。解法二把「共线 + + + 同侧」一次性打包成 A R → = λ A P → ( λ > 0 ) \overrightarrow{AR}=\lambda\overrightarrow{AP}\ (\lambda>0) A R = λ A P ( λ > 0 ) ,长度随倍数走,于是根号消失、R R R 的坐标一眼读出;更要紧的是它留住了 λ \lambda λ 这个中间量 ,(ii) 里那句 λ ( 1 − 2 n ) = 1 \lambda(1-2n)=1 λ ( 1 − 2 n ) = 1 比解法一的分式约分干净得多。凡是「定比 / 定长乘积 / 同一条射线」这类条件,先试向量数乘。
🕳️ 避坑
椭圆 的基本量关系是 a 2 = b 2 + c 2 a^2=b^2+c^2 a 2 = b 2 + c 2 (a a a 最大);那条 c 2 = a 2 + b 2 c^2=a^2+b^2 c 2 = a 2 + b 2 属于另一族曲线。记反了这道题从第一步就全错,而且会解出负的平方数。
A A A 是下 顶点 ( 0 , − b ) (0,-b) ( 0 , − b ) ,不是 ( 0 , b ) (0,b) ( 0 , b ) 。∣ A B ∣ |AB| ∣ A B ∣ 的值两种取法一样,看不出错——但 (2) 里 k A P = n + 1 m k_{AP}=\dfrac{n+1}{m} k A P = m n + 1 的那个 + 1 +1 + 1 全靠 A ( 0 , − 1 ) A(0,-1) A ( 0 , − 1 ) ,符号错了后面每一步都错。
「射线」不是「直线」:λ > 0 \lambda>0 λ > 0 (解法一里是 m x 0 > 0 mx_0>0 m x 0 > 0 )这一句不能丢。丢了会多出 A A A 另一侧的一支镜像解,R R R 的坐标要带上正负号。
∣ P M ∣ |PM| ∣ P M ∣ 的两个端点都在动 。把 P P P 固定在某个看着特殊的位置(比如轨迹圆 的最高点、或离 M M M 最近的那个点)再让 M M M 动,算出来的只是某一条线段的长,不是最大值——上面那张图里的红段恰好就是这个错误的样子:M M M 取对了,P P P 却取在离它最近的一侧。
取等看的是共线的次序 :∣ P M ∣ ≤ ∣ P N ∣ + ∣ N M ∣ |PM|\le|PN|+|NM| ∣ P M ∣ ≤ ∣ P N ∣ + ∣ N M ∣ 的等号要求 N N N 在 P P P 与 M M M 之间 ,不是「P P P 挨着 M M M 」。次序搞反,算出来的是最小值 ∣ M N ∣ − r |MN|-r ∣ M N ∣ − r 。
配方得到 − 8 ( s − 1 2 ) 2 + 27 -8\left(s-\dfrac12\right)^2+27 − 8 ( s − 2 1 ) 2 + 27 之后要看一眼 s = 1 2 s=\dfrac12 s = 2 1 在不在 [ − 1 , 1 ] [-1,1] [ − 1 , 1 ] 内。顶点落在范围外时最大值在端点取,直接写 ≤ 27 \le27 ≤ 27 就只是碰巧对。
别把 ∣ M N ∣ max = 3 3 |MN|_{\max}=3\sqrt3 ∣ M N ∣ m a x = 3 3 当答案交上去——题目问的是 ∣ P M ∣ |PM| ∣ P M ∣ ,还差一个半径 3 2 3\sqrt2 3 2 。