一句话
平面上的点 ↔ 复数,于是:
- 两点距离 ∣Z1Z2∣=∣z1−z2∣,∣z1−z2∣2=∣z1∣2+∣z2∣2−2Re(z1zˉ2);
- 把 AB 绕 A 逆时针转 θ:a+(b−a)(cosθ+isinθ)——旋转就是乘法;
- A,B,C 三点共线 ⟺b−ac−a 是实数;AB⊥AC⟺b−ac−a 是纯虚数;
- 四点共圆(或共线)⟺z4−z1z3−z1/z4−z2z3−z2 是实数。
难的不是公式,而是把要证的几何结论翻译成一个等式。下面四个“站”是四种翻译。
两边上的正方形:BG 与 CE 相等且垂直
第 1 / 4 步 -
图形 在 △ABC 的边 AB、AC 上向外作正方形 ABDE、ACFG。要证 BG=CE 且 BG⊥CE。
BG=CE,BG⊥CE
-
把正方形翻译成乘法
-
算两个向量
-
比值恰好是 i
第 1 站 · 旋转:正三角形
正三角形 ABT 的第三个顶点,就是 B 绕 A 转 ±60∘。上面英雄图里的结论叫拿破仑定理:三边向外作正三角形,三个中心构成正三角形。用复数证明,只需算出三个中心 x,y,z,验证 z−x=(y−x)(cos60∘±isin60∘)——整理时反复用到 ω2+ω+1=0。
先猜后证
以 A=0、B=2 为两个顶点的正三角形,第三个顶点在上半平面。它是哪个复数?
先选定答案,才能看到结论。
✓ 猜对了!✗ 和你想的不一样——这正是值得停一下的地方。
把 B=2 绕 A=0 逆时针转 60∘:2(cos60∘+isin60∘)=1+3i。
第 2 站 · 共圆:一个比值是实数
z4−z1z3−z1 的辐角是有向角 ∠Z4Z1Z3,z4−z2z3−z2 的辐角是 ∠Z4Z2Z3。两角相等(同侧)或相差 180∘(异侧),正是“同弧所对的圆周角相等 / 对角互补”——此时商的辐角是 0∘ 或 180∘,商是实数。
四个点都在格点上。把 Z4 拖到虚线圆上(例如 (−1.5,2) 或 (−2.5,0)),看 λ 的虚部。
第 3 站 · 面积:叉积藏在虚部里
△Z1Z2Z3 的面积是 21Im((z2−z1)(z3−z1))。设 z2−z1=p+qi,z3−z1=r+si,括号里的虚部就是 ps−qr——向量的“叉积”;它为正时三个顶点逆时针排列。
一题多解
求以 1+i、4+2i、2+5i 为顶点的三角形的面积。
复数(叉积)
z2−z1=3+i,z3−z1=1+4i。(3+i)(1+4i)=(3−i)(1+4i)=7+11i,面积 21×11=211。
代价一步到位,适合任意位置的三角形。
割补
外接矩形 [1,4]×[1,5],面积 12。减去三个直角三角形:21⋅3⋅1+21⋅2⋅3+21⋅1⋅4=1.5+3+2=6.5。面积 12−6.5=5.5。
同一个三角形平移了 (−3,−3),面积不变。代价不用新公式,但要画图、减三个直角三角形。
第 4 站 · 共线与定比分点
P 分 AB 为 λ(AP=λPB,λ=−1)时 p=1+λa+λb。三点 A,B,C 共线 ⟺ 存在不全为零的实数 λ1,λ2,λ3,λ1+λ2+λ3=0 且 λ1a+λ2b+λ3c=0——这和向量加减法那一站练习里“AD=xAB+yAC 中 x+y=1”是同一件事。
练一练
正方形 ABCD 的顶点按逆时针排列,A=1+i,B=4+2i。求 D 对应的复数。
提示 · 方法逆时针排列时,
AD 是
AB 逆时针转
90∘:
d−a=i(b−a)。
提示 · 第一步b−a=3+i,i(3+i)=−1+3i。
求以 0、3+i、1+4i 为顶点的三角形的面积。
提示 · 方法p+qi=3+i,r+si=1+4i。
点 0、4、4+2i、yi(y=0)四点共圆。求 y。
提示 · 方法圆心在 0 与 4 的中垂线 x=2 上,也在 4 与 4+2i 的中垂线 y=1 上。
提示 · 第一步圆心 2+i,半径的平方 5。yi 在圆上:(0−2)2+(y−1)2=5。
完整解答(y−1)2=1,y=0 或 y=2;y=0,所以 y=2。(也可以验证交比是实数。)
以 A=0、B=6 为两个顶点向下(在下半平面)作正三角形 ABC,O 是它的中心。求 ∣o∣2。
提示 · 方向先求 C:B 绕 A 转多少度、往哪个方向?
提示 · 方法顺时针转 60∘:c=6(cos60∘−isin60∘)。中心是三个顶点的平均。
提示 · 第一步c=3−33i,
o=30+6+c=3−3i。
完整解答∣o∣2=9+3=12。(检验:正三角形中心到顶点的距离是
36=23,平方也是
12。)