冷启动:一条中线,把一个角劈成两个;而整张图只有一个自由度
记直角边 a=BC、b=AC,斜边 c=AB,于是 c2=a2+b2。M 是 BC 的中点,CM=MB=2a。再记
β=∠MAC,∠BAC=∠BAM+β.
先看清这道题有多”窄”。 ∠C=90∘ 一钉,图形的形状就只剩直角边之比 a:b 这一个参数——把 a、b 同时放大 k 倍,图形只是放大,所有角一个不变。而
- 待求的 sin∠BAC=ca=a2+b2a 只认 a/b;
- 题给的 sin∠BAM 也只认 a/b。
一个条件、一个未知比,正好把形状定死。所以四条路殊途同归,最后都会收在同一句 a=2b 上。
三个零件先摆好,四条路都要用:
AM=(2a)2+b2=2a2+4b2,tanβ=2ba,tan∠BAC=ba.
分岔就在下一步:"∠BAM=∠BAC−β"这句话,你打算兑现成什么。

解法一:原卷路线——正弦定理算 sin∠AMB,补角把它搬进 Rt△ACM
题给的角在 △ABM 里,待求的角在 △ABC 里,两者不在一处。原卷的接法是先在 △ABM 里把 M 处的角算出来,再把它搬到 △ACM 去。
在 △ABM 中,∠BAM 的对边是 BM=2a,∠AMB 的对边是 AB=c,正弦定理给
sin∠BAMa/2=sin∠AMBc⟹1/3a/2=sin∠AMBc⟹sin∠AMB=3a2c.
M 落在线段 BC 上,∠AMB 与 ∠AMC 互补,正弦相等,于是这个值可以原封不动搬进 △ACM:sin∠AMC=3a2c。而 △ACM 在 C 处是直角,β+∠AMC=2π,所以
cosβ=cos(2π−∠AMC)=sin∠AMC=3a2c.
同一个 cosβ,在 Rt△ACM 里还能直接读出来:cosβ=AMAC=a2/4+b2b。两式相等:
a2/4+b2b=3a2c⟹3ab=ca2+4b2.
两边平方,把 c2=a2+b2 代进去:
9a2b2=(a2+b2)(a2+4b2)=a4+5a2b2+4b4,
a4−4a2b2+4b4=0⟹(a2−2b2)2=0⟹a=2b.
再由勾股定理 c=a2+b2=3b,于是
sin∠BAC=ABBC=ca=3b2b=36.
原卷欠的两句话
一、那个括号少了平方。 原卷印的是 a4−4a2b2+4b4=(a2−2b2)=0——中间应是 (a2−2b2)2。这是原卷自己的笔误(校订层已另记,不改题面)。结论不受影响,因为完全平方等于零和它的底等于零是一回事;但抄这一步的人要知道自己抄的是个错式子。
二、∠AMB 其实是钝角。 △ACM 在 C 处是直角,故 ∠AMC 必为锐角,它的补角 ∠AMB 就必为钝角。原卷从头到尾只用了 ∠AMB 的正弦,所以钝角这件事被绕过去了;可但凡有人顺手写一句”由 sin∠AMB=3a2c 得 cos∠AMB=1−⋯“,符号就错了——那里必须取负号。这是本题唯一一处符号陷阱。
解法二:全程正切——两个小角都写成「对边比邻边」,一步压成完全平方
上一条路要在两个三角形之间来回搬角。其实 ∠BAM 和 β 有一个共同的好处:它们都能放进以 C 为直角顶点的直角三角形里,于是用正切最直接,连 c 都不必出场。
tan∠BAC=ba,tanβ=2ba,
tan∠BAM=tan(∠BAC−β)=1+ba⋅2baba−2ba=2b22b2+a22ba=a2+2b2ab.
左边由题给的正弦定出来。0<∠BAM<∠BAC<90∘,所以 ∠BAM 是锐角,cos∠BAM=322,
tan∠BAM=22/31/3=221=42.
于是
a2+2b2ab=42⟹4ab=2a2+22b2⟹a2−22ab+2b2=0,
(a−2b)2=0⟹a=2b.
这条路一次平方都没有做,方程本身就已经是关于 a 的完全平方(判别式 8b2−8b2=0)。相比之下解法一是先平方成四次、再看出它是二次式的平方,多绕了一圈。
最后 tan∠BAC=ba=2,sin∠BAC=1+22=36。
解法三:面积法——中线平分面积,同一块面积算两遍
△ABM 这一块,有两种算法:
用长度算。 M 是 BC 中点,中线把 △ABC 平分,
S△ABM=21S△ABC=21⋅21ab=4ab.
用角算。 在 △ABM 里,∠BAM 正是 AB 与 AM 的夹角,
S△ABM=21⋅AB⋅AM⋅sin∠BAM=21⋅c⋅AM⋅31=6c⋅AM.
两式相等:
4ab=6c⋅AM⟹3ab=2c⋅AM=ca2+4b2,
和解法一末尾那条方程一字不差,往下平方即得 (a2−2b2)2=0。
但到这里只用了两行。 没有正弦定理、没有诱导公式、不需要判断 ∠AMB 的锐钝——因为面积公式里出现的角自始至终是题目直接给的那一个。凡是”条件给在某个角的正弦上、待求量是边”的题,这条路都值得先试。
解法四:把 31 认成上确界——写出 sin∠BAM 的显式式子,读取等条件,不解方程
前三条路解出来都是完全平方,判别式恰为零。这不是巧合:题目给的 31 正是 sin∠BAM 能达到的最大值。 把这件事直接算出来,方程一个都不用解。
先把 sin∠BAM 写成 a、b 的显式函数。建系最省事:C(0,0)、B(a,0)、A(0,b),于是 M(2a,0),
AB=(a,−b),AM=(2a,−b),
a⋅(−b)−(−b)⋅2a=2ab⟹sin∠BAM=∣AB∣∣AM∣ab/2=a2+b2a2+4b2ab.
令 u=b2a2>0,把分子分母同除 b4:
sin2∠BAM=(a2+b2)(a2+4b2)a2b2=(u+1)(u+4)u=u+u4+51.
分母里 u+u4⩾24=4,当且仅当 u=u4 即 u=2 时取等,于是
sin2∠BAM⩽4+51=91⟹sin∠BAM⩽31.
u=2 落在定义域 u>0 里,这个上界取得到,所以 31 是货真价实的最大值,不只是个上界。题目给的恰是这个值,等号只好成立:
u=b2a2=2⟹a=2b⟹sin∠BAC=ca=36.
这条路顺手回答了两件事
一、为什么前三条路化简出来都是完全平方。 因为条件把变量顶在了唯一的取等点上。给定值小于最大值时,sin∠BAM=k 会有两个不同的 u(一个”瘦”三角形、一个”胖”三角形),方程有两根、两个形状都要写;给定值等于最大值时两根重合,判别式塌成零。所以”算出重根”在这里是题目设计的结果,不是算错。
二、取等那一档的图形长什么样。 u=2 就是 ba=a2b,也就是
ACBC=CMAC⟹Rt△MAC∼Rt△ABC.
于是 ∠AMC=∠BAC、∠MAC=∠ABC。换句话说,AM 把 ∠BAC 劈开的那一刻,小直角三角形恰好是大直角三角形的缩小版——这是本题最漂亮的一句话,原卷一个字没提。
四条路怎么选
| 路 | 起手 | 要不要判角的锐钝 | 平方几次 | 适用面 |
|---|
| 一 原卷 | 在 △ABM 里用正弦定理 | 靠只用正弦绕开 | 一次(四次方程) | 通用,∠C 不是直角也能走 |
| 二 正切 | 两个小角都写成对边比邻边 | 要(∠BAM 锐角) | 零次 | 有直角时最快 |
| 三 面积 | S△ABM 算两遍 | 不要 | 一次 | 条件给在角的正弦、待求是边 |
| 四 上确界 | 写出 sin∠BAM(u) | 不要 | 零次 | 一眼看出给定值是最值时 |
考场上的顺序建议:先按路二落笔(最短、最不容易错),把 (a−2b)2=0 写出来;若时间够,用路四那句”31 是最大值”回头验一遍——比重算一次快得多。路一是原卷路线,∠C 不是直角的同类题只有它还能用。路三则是这类”角给正弦、边待求”的题的通用快手。
一句话带走
∠C=90∘ 把形状压成一个参数 a/b;中线 AM 劈出的 ∠BAM 满足 tan∠BAM=a2+2b2ab,即 sin∠BAM=u+4/u+51⩽31(u=a2/b2)。题目把这个上界原样发给你,等号只好成立,u=2、a=2b、c=3b,于是 sin∠BAC=ca=36。