2.4.2 圆的一般方程

人教 A 版 · 本节 6 页原书扫描(原文)+ 本站重写的讲解与习题详解考过 1 题 ↓

原书扫描页(人教 A 版原文)

原书 page-0090
page-0090
原书 page-0091
page-0091
原书 page-0092
page-0092
原书 page-0093
page-0093
原书 page-0094
page-0094
原书 page-0095
page-0095

本节的知识树

1 概念 · 1 公式 · 最深 2 层。根是引本节作教材出处的实体,长链由 `prereqs` 构建期派生——源里只有最小一步。

考过本节的真题

共 1 道

讲解

本站对这一节的重写(不是原书转写):顺序可重组、推导可补全,目标是易读易学 + 与真题关联。原文以上方扫描图为准。

上一节把圆写成 (x−a)2+(y−b)2=r2(x-a)^{2}+(y-b)^{2}=r^{2}——圆心与半径明摆在式子里。这一节把它展开,换成另一种写法,并回答一个不那么显然的问题:展开后的那种式子,是不是都表示圆?

整节的骨架只有三句:

  • 展开:(x−a)2+(y−b)2=r2 ⟹ x2+y2+Dx+Ey+F=0(x-a)^{2}+(y-b)^{2}=r^{2}\ \Longrightarrow\ x^{2}+y^{2}+Dx+Ey+F=0,这个方向永远成立。
  • 配方回去要带条件:x2+y2+Dx+Ey+F=0x^{2}+y^{2}+Dx+Ey+F=0 只有在 D2+E2−4F>0D^{2}+E^{2}-4F>0 时才是圆。
  • 一般方程的用处是待定系数法:DD、EE、FF 都以一次的身份出现,「过三点求圆」就变成解三元一次方程组。

一、展开:一般方程长什么样

课本的”思考”从一个具体例子起手:(x−1)2+(y+2)2=4(x-1)^{2}+(y+2)^{2}=4 展开、移项,得

x2+y2−2x+4y+1=0.x^{2}+y^{2}-2x+4y+1=0 .

一般地,把标准方程展开:

(x−a)2+(y−b)2=r2  ⟹  x2+y2−2a⏟Dx+(−2b)⏟Ey+a2+b2−r2⏟F=0.(x-a)^{2}+(y-b)^{2}=r^{2} \;\Longrightarrow\; x^{2}+y^{2}\underbrace{-2a}_{D}x+\underbrace{(-2b)}_{E}y+\underbrace{a^{2}+b^{2}-r^{2}}_{F}=0 .

于是任何圆都能写成

x2+y2+Dx+Ey+F=0.(2)x^{2}+y^{2}+Dx+Ey+F=0 . \tag{2}

注意这三个记号的来历:D=−2aD=-2a、E=−2bE=-2b、F=a2+b2−r2F=a^{2}+b^{2}-r^{2}。前两个只跟圆心有关,第三个把半径也裹进去了——这就是为什么反过来读时,半径能不能开出来要看 FF 与 D,ED,E 的搭配。

二、反过来不一定是圆:课本给的反例

课本紧接着问:形如 (2) 的方程一定能变回圆的标准方程吗?答案是不一定,反例就在下一页:

x2+y2−2x−4y+6=0  ⟹  (x−1)2+(y−2)2=−1.x^{2}+y^{2}-2x-4y+6=0 \;\Longrightarrow\; (x-1)^{2}+(y-2)^{2}=-1 .

左边是两个平方之和,永远 ⩾0\geqslant 0,不可能等于 −1-1——没有任何点的坐标满足它,这个方程不表示任何图形。

这一步值得慢半拍:它说明「x2+y2+Dx+Ey+F=0x^{2}+y^{2}+Dx+Ey+F=0」只是一个形式,配方之后右边到底是正、是零、还是负,得算过才知道。先算判据、再说圆心半径,顺序不能颠倒。

三、判据:配方一次,三种情形一次分清

课本的”探究”问:D,E,FD,E,F 满足什么条件时 (2) 表示圆?把左边配方、常数移到右边:

(x+D2)2+(y+E2)2=D2+E2−4F4\left(x+\frac{D}{2}\right)^{2}+\left(y+\frac{E}{2}\right)^{2}=\frac{D^{2}+E^{2}-4F}{4}

右边的符号决定一切:

D2+E2−4FD^{2}+E^{2}-4F图形圆心 / 半径
>0>0圆圆心 (−D2,−E2)\left(-\frac{D}{2},-\frac{E}{2}\right),半径 12D2+E2−4F\frac{1}{2}\sqrt{D^{2}+E^{2}-4F}
=0=0一个点点 (−D2,−E2)\left(-\frac{D}{2},-\frac{E}{2}\right)(“半径为零的圆”,但它不是圆)
<0<0不表示任何图形——

只有第一种情形,我们才把 (2) 叫做圆的一般方程。

三件立刻要记住的事:

  1. 圆心的坐标是”系数除以 −2-2”:(−D2,−E2)\left(-\frac{D}{2},-\frac{E}{2}\right)。别把负号丢了,也别只给一半。
  2. 半径不是 D2+E2−4F\sqrt{D^{2}+E^{2}-4F},而是它的一半。这个 12\frac{1}{2} 是从右边分母的 44 里开出来的。
  3. 判据可以不背:现场配方一次,右边是什么就看什么。考试里配方比背判据更保险——顺带还把圆心一并读出来了。

形式上的两个门槛(拿到一个二元二次方程,先看这两条再动手):x2x^{2} 与 y2y^{2} 的系数必须相同且非零,且不含 xyxy 项。系数不是 11 时先整体除掉,再算判据;否则「2x2+2y2−4x=02x^{2}+2y^{2}-4x=0」这种式子会算出错的圆心。

四、两种写法各自的特点

课本的”思考”问:标准方程与一般方程各有什么特点?把它们摆在一起看最清楚:

标准方程 (x−a)2+(y−b)2=r2(x-a)^{2}+(y-b)^{2}=r^{2}一般方程 x2+y2+Dx+Ey+F=0x^{2}+y^{2}+Dx+Ey+F=0
几何量圆心 (a,b)(a,b)、半径 rr 一眼可读要配方(或用判据)才读得出
待定的量a,b,ra,b,r——rr 以 平方 的身份出现D,E,FD,E,F 全是 一次
是不是圆只要 r>0r>0 就是圆要验 D2+E2−4F>0D^{2}+E^{2}-4F>0
最适合已知圆心 / 半径,或求出圆心半径后写答案已知圆上几个点(尤其三点),用待定系数法

一句话:读几何量用标准方程,解方程组用一般方程。两者只差一步配方,答案写哪种都对,但中间过程选错会多算好几行。

五、待定系数法:例 4 与那三步

课本例 4 求过 O(0,0)O(0,0)、M1(1,1)M_{1}(1,1)、M2(4,2)M_{2}(4,2) 三点的圆。关键在于选一般方程:三个点代进去,每个点给一条关于 D,E,FD,E,F 的一次方程:

{F=0,D+E+F+2=0,4D+2E+F+20=0.  ⟹  {D=−8,E=6,F=0.\left\{ \begin{array}{l} F=0,\\ D+E+F+2=0,\\ 4D+2E+F+20=0 . \end{array} \right. \;\Longrightarrow\; \left\{ \begin{array}{l} D=-8,\\ E=6,\\ F=0 . \end{array} \right.

所以圆的方程是 x2+y2−8x+6y=0x^{2}+y^{2}-8x+6y=0;再按第三节读出圆心 (4,−3)(4,-3)、半径

r=12D2+E2−4F=1264+36=5.r=\frac{1}{2}\sqrt{D^{2}+E^{2}-4F}=\frac{1}{2}\sqrt{64+36}=5 .

与”设标准方程”比一比(课本旁批问的正是这个):若设 (x−a)2+(y−b)2=r2(x-a)^{2}+(y-b)^{2}=r^{2},三个点给出的是三条含平方的方程,得先两两相减把平方消掉——多绕一圈。所以:“过三点”一律设一般方程。

课本随后把待定系数法的步骤明写了出来:

  1. 根据题意,选标准方程或一般方程;
  2. 根据条件列关于 a,b,ra,b,r 或 D,E,FD,E,F 的方程组;
  3. 解出来,回写成方程。

第一步才是真正的技术活。给一个够用的判断表:

  • 给了圆心、或圆心在某条直线上、或给了半径 → 标准方程(未知量少,几何意义直接);
  • 给了圆上的三个点、或”过某两点且……”这类纯”点在圆上”的条件 → 一般方程;
  • 拿不准时想一句:我的条件是”点在圆上”多,还是”圆心半径”多。

六、例 5:轨迹方程,与”代入法”

课本例 5:B(4,3)B(4,3) 固定,AA 在圆 (x+1)2+y2=4(x+1)^{2}+y^{2}=4 上动,求 ABAB 中点 MM 的轨迹方程。

课本走的是相关点法(代入法),三步:

  1. 设两套坐标:M(x,y)M(x,y) 是要求的,A(x0,y0)A(x_{0},y_{0}) 是”带着约束的那个点”;
  2. 用中点关系把老坐标换成新坐标:x=x0+42x=\frac{x_{0}+4}{2}、y=y0+32y=\frac{y_{0}+3}{2},反解得 x0=2x−4x_{0}=2x-4、y0=2y−3y_{0}=2y-3;
  3. 把 AA 的约束代进去:AA 在圆上意味着 (x0+1)2+y02=4(x_{0}+1)^{2}+y_{0}^{2}=4,代入并整理:
(2x−4+1)2+(2y−3)2=4  ⟹  (x−32)2+(y−32)2=1.(2x-4+1)^{2}+(2y-3)^{2}=4 \;\Longrightarrow\; \left(x-\frac{3}{2}\right)^{2}+\left(y-\frac{3}{2}\right)^{2}=1 .

于是 MM 的轨迹是以 (32,32)\left(\frac{3}{2},\frac{3}{2}\right) 为圆心、半径 11 的圆。

这套方法的逻辑要说清:第 2 步的反解是等价变形(中点关系是一对一的),所以”AA 在圆上”与”MM 满足最后那个方程”互为充要——这才叫求出了轨迹方程,而不只是”找到了一个必要条件”。

课本旁边那条注解值得抄一遍:点 MM 的轨迹方程是指点 MM 的坐标 (x,y)(x,y) 满足的关系式;轨迹是指点在运动变化过程中形成的图形。两者一个是式子、一个是图形,答题时问”方程”就给式子、问”轨迹(形状)“就补一句”它是以……为圆心、……为半径的圆”。

顺带记住这个几何解释:中点 MM 把 AA 到 BB 的位移压缩了一半,所以 AA 画圆时 MM 也画圆——半径变成一半(2→12\to 1),圆心落在原圆心与 BB 的中点((−1+42,0+32)=(32,32)\left(\frac{-1+4}{2},\frac{0+3}{2}\right)=\left(\frac{3}{2},\frac{3}{2}\right),与算出来的一致)。这种”看一眼就知道答案该长什么样”的检查点,能挡住一大半代数错误。

七、易错清单(按失分频率排)

  1. 不验判据就报圆心半径。x2+y2−2x−4y+6=0x^{2}+y^{2}-2x-4y+6=0 看着像圆,其实什么都不是。先配方,再说话。
  2. 半径漏掉 12\frac{1}{2}。r=12D2+E2−4Fr=\frac{1}{2}\sqrt{D^{2}+E^{2}-4F};直接开根号会把半径放大一倍。
  3. 圆心的负号。D=−8D=-8 时圆心横坐标是 −D2=4-\frac{D}{2}=4,不是 −4-4。配方写出来最不容易错。
  4. x2x^{2}、y2y^{2} 的系数不是 11 就直接套判据。先整体除以那个系数。
  5. “过三点”还去设标准方程。不是错,是慢:平方项要两两相减才消得掉。
  6. 判据取等时说成”半径为零的圆”。D2+E2−4F=0D^{2}+E^{2}-4F=0 表示一个点;圆的半径必须为正。
  7. 求轨迹方程忘了扣掉不合题意的点。等腰三角形、三角形顶点这类题,退化位置(三点共线、两点重合)要从轨迹里去掉。
  8. 只写方程不说形状。题目问”并说明它是什么图形”时,答案要有”以……为圆心、……为半径的圆”这句话。

八、这一节考过的真题(怎么用它们)

别的节页下方有一块「考过本节的真题」(构建期两跳派生:节 ←\leftarrow 实体 ←\leftarrow 攻略),本节暂时没有这一块——浙江卷的圆题从不单考”一般方程”这个形式,而是把它当中间件:先由条件定出圆心与半径,再接着做位置关系或最值,于是攻略挂的实体多半落在别的节上。下面这两条是自己找来配的:

  • 2019 年第 12 题(直线 2x−y+3=02x-y+3=0 切圆于 A(−2,−1)A(-2,-1),圆心 (0,m)(0,m),求 mm 与 rr):这是本节”待定系数”的最短版本——两个未知量、两条方程。它还给了一条比”相切”更强的条件(切点),于是有一条更快的几何路:圆心在过切点的法线上。做完它再回看第五节那张”选哪种方程”的判断表,会更有体会。
  • 本节的例 5 与习题里的 7、8、9 三道轨迹题是同一套动作(设两套坐标、把约束代进去),而”距离之比为定值”的第 9 题(阿波罗尼斯圆)在各地模拟卷里反复出现,值得单独练熟。

习题详解(本站解答,无官方答案可核)

人教 A 版学生用书不含答案,教师用书与全解不在本站语料里——因此本节习题的解答无官方答案可核,它们是本站写的。每一道都过了独立 verifier 的 refute 优先复核(默认它有问题,找不出问题才放行),但那不等于官方标准答案:拿它对思路,别拿它对分。

这一份收本节这几页上印着的全部习题:第 90 页练习 4 道(那是 §2.4.1 标准方程的练习,但它印在本节这几页里)、第 93 页练习 3 道、习题 2.4 共 10 道(复习巩固 1–4、综合运用 5–8、拓广探索 9–10),一共 17 道。第 94–95 页的「阅读与思考·坐标法与数学机械化」是史料读物,没有要作答的问题,本份不收。

先把两件贯穿全部题目的事摆出来,后面就不重复了:

  • 配方是唯一的动作。x2+y2+Dx+Ey+F=0x^{2}+y^{2}+Dx+Ey+F=0 一律现场配方成 (x+D2)2+(y+E2)2=D2+E2−4F4\left(x+\frac{D}{2}\right)^{2}+\left(y+\frac{E}{2}\right)^{2}=\frac{D^{2}+E^{2}-4F}{4},右边的符号决定它是圆、是一个点,还是什么都不是;圆心与半径也一并读出来,不必背判据。
  • 判断点与圆的位置关系,比的是距离的平方。∣PC∣2|PC|^{2} 与 r2r^{2} 谁大:小于是圆内、等于是圆上、大于是圆外。别开根号——平方比大小又快又不出错。

练习(第 90 页)第 1 题

  1. 写出下列圆的标准方程:

(1) 圆心为 C(−3,4)C(-3, 4) ,半径是 5\sqrt{5} ;

(2) 圆心为 C(−8,3)C(-8, 3) ,且经过点 M(−5,−1)M(-5, -1) .

前提:标准方程是 (x−a)2+(y−b)2=r2(x-a)^{2}+(y-b)^{2}=r^{2},其中 (a,b)(a,b) 是圆心、r>0r>0 是半径。圆心的坐标进式子要变号,这是唯一容易错的地方。

(1) 圆心 (−3,4)(-3,4)、r=5r=\sqrt{5},故 r2=5r^{2}=5:

(x+3)2+(y−4)2=5.(x+3)^{2}+(y-4)^{2}=5 .

(a=−3a=-3 写进去是 x−(−3)=x+3x-(-3)=x+3;b=4b=4 写进去是 y−4y-4。)

(2) 圆心 C(−8,3)C(-8,3),半径是它到 M(−5,−1)M(-5,-1) 的距离,先算 r2r^{2},不必开根号:

r2=(−5−(−8))2+(−1−3)2=32+(−4)2=9+16=25,r^{2}=(-5-(-8))^{2}+(-1-3)^{2}=3^{2}+(-4)^{2}=9+16=25 ,

所以

(x+8)2+(y−3)2=25.(x+8)^{2}+(y-3)^{2}=25 .

自检:把 M(−5,−1)M(-5,-1) 代回,(−5+8)2+(−1−3)2=9+16=25(-5+8)^{2}+(-1-3)^{2}=9+16=25 ✓。

这道题的动作:读出圆心与半径,直接填进标准方程;半径由”圆心到已知点”给出时,只算平方。

练习(第 90 页)第 2 题

  1. 已知圆的标准方程是 (x−3)2+(y+2)2=16(x - 3)^2 + (y + 2)^2 = 16,借助计算工具计算,判断下列各点在圆上、圆外,还是在圆内.

(1) M1(4.30,−5.72)M_{1}(4.30, -5.72); (2) M2(5.70,1.08)M_{2}(5.70, 1.08); (3) M3(3,−6)M_{3}(3, -6).

前提:圆心 C(3,−2)C(3,-2),r2=16r^{2}=16(r=4r=4)。判断标准是 ∣MC∣2|MC|^{2} 与 1616 比大小。

(1) M1(4.30,−5.72)M_{1}(4.30,-5.72):

∣M1C∣2=(4.30−3)2+(−5.72+2)2=1.302+(−3.72)2=1.69+13.8384=15.5284<16,|M_{1}C|^{2}=(4.30-3)^{2}+(-5.72+2)^{2}=1.30^{2}+(-3.72)^{2}=1.69+13.8384=15.5284<16 ,

所以 M1M_{1} 在圆内(∣M1C∣≈3.941<4|M_{1}C|\approx 3.941<4)。

(2) M2(5.70,1.08)M_{2}(5.70,1.08):

∣M2C∣2=(5.70−3)2+(1.08+2)2=2.702+3.082=7.29+9.4864=16.7764>16,|M_{2}C|^{2}=(5.70-3)^{2}+(1.08+2)^{2}=2.70^{2}+3.08^{2}=7.29+9.4864=16.7764>16 ,

所以 M2M_{2} 在圆外(∣M2C∣≈4.096>4|M_{2}C|\approx 4.096>4)。

(3) M3(3,−6)M_{3}(3,-6):

∣M3C∣2=(3−3)2+(−6+2)2=0+16=16,|M_{3}C|^{2}=(3-3)^{2}+(-6+2)^{2}=0+16=16 ,

所以 M3M_{3} 在圆上。

自检:三个点的判定与”离圆心远近”的直觉一致——M1M_{1} 的两个坐标差最小,M2M_{2} 最大。注意 (1)(2) 两个点都很接近圆,差值只有 0.50.5 与 0.80.8,所以必须算,不能看图猜(这也是题目要求”借助计算工具”的原因)。

这道题的动作:代进左边算出来,与 r2r^{2} 比大小;小于在内、等于在上、大于在外。

练习(第 90 页)第 3 题

  1. 已知 P1(4,9)P_{1}(4, 9), P2(6,3)P_{2}(6, 3) 两点, 求以线段 P1P2P_{1}P_{2} 为直径的圆的标准方程, 并判断点 M(6,9)M(6, 9), N(3,3)N(3, 3), Q(5,3)Q(5, 3) 在圆上、圆内, 还是在圆外.

前提:以一条线段为直径的圆,圆心是这条线段的中点、半径是它长度的一半。

圆心(中点公式):

C=(4+62,9+32)=(5,6).C=\left(\frac{4+6}{2},\frac{9+3}{2}\right)=(5,6) .

半径的平方(用 r=12∣P1P2∣r=\frac{1}{2}|P_{1}P_{2}|,故 r2=14∣P1P2∣2r^{2}=\frac{1}{4}|P_{1}P_{2}|^{2}):

∣P1P2∣2=(6−4)2+(3−9)2=4+36=40  ⟹  r2=404=10.|P_{1}P_{2}|^{2}=(6-4)^{2}+(3-9)^{2}=4+36=40 \;\Longrightarrow\; r^{2}=\frac{40}{4}=10 .

所以标准方程是

(x−5)2+(y−6)2=10.(x-5)^{2}+(y-6)^{2}=10 .

更省事的等价做法:r2=∣CP1∣2=(4−5)2+(9−6)2=1+9=10r^{2}=|CP_{1}|^{2}=(4-5)^{2}+(9-6)^{2}=1+9=10,同样的答案,少算一次除法。

三个点(都与 1010 比):

  • M(6,9)M(6,9):(6−5)2+(9−6)2=1+9=10(6-5)^{2}+(9-6)^{2}=1+9=10 → 在圆上;
  • N(3,3)N(3,3):(3−5)2+(3−6)2=4+9=13>10(3-5)^{2}+(3-6)^{2}=4+9=13>10 → 在圆外;
  • Q(5,3)Q(5,3):(5−5)2+(3−6)2=0+9=9<10(5-5)^{2}+(3-6)^{2}=0+9=9<10 → 在圆内。

自检:P1P_{1}、P2P_{2} 必须在圆上——(4−5)2+(9−6)2=10(4-5)^{2}+(9-6)^{2}=10 ✓,(6−5)2+(3−6)2=10(6-5)^{2}+(3-6)^{2}=10 ✓。

这道题的动作:“以某线段为直径”就翻成”中点是圆心、半长是半径”,然后按上一题的办法判点。

练习(第 90 页)第 4 题

  1. 已知 △AOB\triangle AOB 的三个顶点分别是点 A(4,0)A(4,0), O(0,0)O(0,0), B(0,3)B(0,3), 求 △AOB\triangle AOB 的外接圆的标准方程.

先看清这个三角形的形状:OO 是原点,AA 在 xx 轴上、BB 在 yy 轴上,所以 OA⊥OBOA\perp OB——这是一个以 OO 为直角顶点的直角三角形。

于是用一条初中结论最快:直角三角形的外接圆以斜边为直径(直径所对的圆周角是直角,反过来也成立)。斜边是 ABAB,于是回到上一题的模型:

  • 圆心 = ABAB 的中点 =(4+02,0+32)=(2,32)=\left(\frac{4+0}{2},\frac{0+3}{2}\right)=\left(2,\frac{3}{2}\right);
  • ∣AB∣2=(0−4)2+(3−0)2=16+9=25|AB|^{2}=(0-4)^{2}+(3-0)^{2}=16+9=25,故 r2=254r^{2}=\frac{25}{4}(即 r=52r=\frac{5}{2})。

所求外接圆的标准方程是

(x−2)2+(y−32)2=254.(x-2)^{2}+\left(y-\frac{3}{2}\right)^{2}=\frac{25}{4} .

自检(三个顶点都得在圆上):

  • O(0,0)O(0,0):4+94=2544+\frac{9}{4}=\frac{25}{4} ✓
  • A(4,0)A(4,0):(4−2)2+94=4+94=254(4-2)^{2}+\frac{9}{4}=4+\frac{9}{4}=\frac{25}{4} ✓
  • B(0,3)B(0,3):4+(3−32)2=4+94=2544+\left(3-\frac{3}{2}\right)^{2}=4+\frac{9}{4}=\frac{25}{4} ✓

不用巧的做法也行:设圆心 (a,b)(a,b) 到三点等距,由 ∣CO∣=∣CA∣|CO|=|CA| 得 a=2a=2、由 ∣CO∣=∣CB∣|CO|=|CB| 得 b=32b=\frac{3}{2}(这两步就是”到两点等距 ⇒\Rightarrow 在垂直平分线上”),结论相同。

这道题的动作:先看有没有直角;有直角就直接用”斜边为直径”,比解方程组快。

练习(第 93 页)第 1 题

  1. 求下列各圆的圆心坐标和半径: (1) x2+y2−6x=0;x^{2} + y^{2} - 6x = 0; (2) x2+y2+2by=0;x^{2} + y^{2} + 2by = 0; (3) x2+y2−2ax−23ay+3a2=0.x^{2} + y^{2} - 2ax - 2\sqrt{3}ay + 3a^{2} = 0.

动作只有一个:配方。 含字母的题还要交代字母的前提——半径必须为正,否则那个方程根本不是圆。

(1) x2−6x+y2=0x^{2}-6x+y^{2}=0,对 xx 配方:

(x−3)2+y2=9.(x-3)^{2}+y^{2}=9 .

圆心 (3,0)(3,0),半径 33。(这个圆过原点:F=0F=0 就意味着原点在圆上。)

(2) 对 yy 配方:

x2+(y+b)2=b2.x^{2}+(y+b)^{2}=b^{2} .

当 b≠0b\neq 0 时,圆心 (0,−b)(0,-b)、半径 ∣b∣|b|。半径要写绝对值——题目没说 b>0b>0。

若 b=0b=0,方程成为 x2+y2=0x^{2}+y^{2}=0,只表示原点这一个点,不是圆(这正是下一题第 (1) 问)。

(3) 两个变量各自配方:

(x−a)2+(y−3 a)2=a2+3a2−3a2=a2.(x-a)^{2}+\left(y-\sqrt{3}\,a\right)^{2}=a^{2}+3a^{2}-3a^{2}=a^{2} .

当 a≠0a\neq 0 时,圆心 (a,3 a)\left(a,\sqrt{3}\,a\right)、半径 ∣a∣|a|;a=0a=0 时退化成原点一个点。

自检(用判据核一遍 (3)):D=−2aD=-2a、E=−23aE=-2\sqrt{3}a、F=3a2F=3a^{2},则

D2+E2−4F=4a2+12a2−12a2=4a2  ⟹  r=124a2=∣a∣ ✓D^{2}+E^{2}-4F=4a^{2}+12a^{2}-12a^{2}=4a^{2} \;\Longrightarrow\; r=\frac{1}{2}\sqrt{4a^{2}}=|a| \ \checkmark

圆心 (−D2,−E2)=(a,3a)\left(-\frac{D}{2},-\frac{E}{2}\right)=\left(a,\sqrt{3}a\right) ✓。

这道题的动作:配方读圆心与半径;带字母就补一句”何时才是圆”,半径写成绝对值。

练习(第 93 页)第 2 题

  1. 判断下列方程分别表示什么图形,并说明理由: (1) x2+y2=0;x^{2}+y^{2}=0; (2) x2+y2−2x+4y−6=0;x^{2}+y^{2}-2x+4y-6=0; (3) x2+y2+2ax−b2=0.x^{2} + y^{2} + 2ax - b^{2} = 0.

判据:配方后右边 D2+E2−4F4\frac{D^{2}+E^{2}-4F}{4} 为正是圆、为零是一个点、为负什么图形也不是。题目要”说明理由”,所以每问都要把配方(或判据的值)写出来。

(1) x2+y2=0x^{2}+y^{2}=0:两个平方之和为零,必须 x=0x=0 且 y=0y=0。所以它表示一个点——原点 (0,0)(0,0)。(判据:D=E=F=0D=E=F=0,D2+E2−4F=0D^{2}+E^{2}-4F=0。)

(2) 配方:

(x−1)2+(y+2)2=6+1+4=11>0,(x-1)^{2}+(y+2)^{2}=6+1+4=11>0 ,

所以它表示圆:圆心 (1,−2)(1,-2)、半径 11\sqrt{11}。(判据:4+16+24=44>04+16+24=44>0,r=1244=11r=\frac{1}{2}\sqrt{44}=\sqrt{11},一致。)

(3) 只对 xx 配方:

(x+a)2+y2=a2+b2.(x+a)^{2}+y^{2}=a^{2}+b^{2} .

右边 a2+b2⩾0a^{2}+b^{2}\geqslant 0,于是分两种情形:

  • 若 aa、bb 不同时为零,则 a2+b2>0a^{2}+b^{2}>0,表示圆:圆心 (−a,0)(-a,0)、半径 a2+b2\sqrt{a^{2}+b^{2}};
  • 若 a=b=0a=b=0,方程成为 x2+y2=0x^{2}+y^{2}=0,表示一个点(原点)。

这一问的分类不能省:a2+b2a^{2}+b^{2} 只可能 ⩾0\geqslant 0,所以第三种情形(不表示任何图形)在这里不会发生——把这一句写出来,才算把”说明理由”答完。

这道题的动作:配方后看右边的符号;含字母时按”右边是正 / 是零”分类,并说明哪种情形不可能出现。

练习(第 93 页)第 3 题

  1. 如图,在四边形 ABCD 中,AB=6,CD=3,且 AB∥CDAB \parallel CD ,AD=BC,AB 与 CD 间的距离为 3. 求等腰梯形 ABCD 的外接圆的方程,并求这个圆的圆心坐标和半径.

(第3题)

先说清坐标系:这道题的答案依赖建系,而图上已经把坐标系给定了——ABAB 落在 xx 轴上、原点取在 ABAB 的中点、CDCD 在上方与 xx 轴平行。按图建系:

A(−3,0),B(3,0),C(32,3),D(−32,3).A(-3,0),\quad B(3,0),\quad C\left(\tfrac{3}{2},3\right),\quad D\left(-\tfrac{3}{2},3\right) .

(AB=6AB=6 故两端点横坐标 ±3\pm 3;CD=3CD=3 且梯形等腰,故 CC、DD 关于 yy 轴对称、横坐标 ±32\pm\frac{3}{2};两底距离 33 故 CC、DD 的纵坐标是 33。顺带验一下等腰:∣AD∣2=(−32+3)2+9=94+9=∣BC∣2|AD|^{2}=\left(-\frac{3}{2}+3\right)^{2}+9=\frac{9}{4}+9=|BC|^{2} ✓。)

圆心在哪条线上:圆心到 AA、BB 等距 ⇒\Rightarrow 在 ABAB 的垂直平分线即 yy 轴上;到 CC、DD 等距也给出 yy 轴。所以设圆心 E(0,k)E(0,k)——这就是图上 yy 轴上那个点 EE。

定 kk:用 ∣EA∣2=∣ED∣2|EA|^{2}=|ED|^{2}:

9+k2=94+(3−k)2=94+9−6k+k2  ⟹  9=454−6k  ⟹  6k=94  ⟹  k=38.9+k^{2}=\frac{9}{4}+(3-k)^{2}=\frac{9}{4}+9-6k+k^{2} \;\Longrightarrow\; 9=\frac{45}{4}-6k \;\Longrightarrow\; 6k=\frac{9}{4} \;\Longrightarrow\; k=\frac{3}{8} .

半径:

r2=∣EA∣2=9+(38)2=9+964=58564  ⟹  r=5858=3658≈3.02.r^{2}=|EA|^{2}=9+\left(\frac{3}{8}\right)^{2}=9+\frac{9}{64}=\frac{585}{64} \;\Longrightarrow\; r=\frac{\sqrt{585}}{8}=\frac{3\sqrt{65}}{8}\approx 3.02 .

所以外接圆的方程是

x2+(y−38)2=58564,x^{2}+\left(y-\frac{3}{8}\right)^{2}=\frac{585}{64},

圆心 (0,38)\left(0,\frac{3}{8}\right)、半径 3658\frac{3\sqrt{65}}{8}。

自检(四个顶点都要在上面):

  • A(−3,0)A(-3,0)、B(3,0)B(3,0):9+964=585649+\frac{9}{64}=\frac{585}{64} ✓
  • C(32,3)C\left(\frac{3}{2},3\right)、D(−32,3)D\left(-\frac{3}{2},3\right):94+(3−38)2=94+(218)2=14464+44164=58564\frac{9}{4}+\left(3-\frac{3}{8}\right)^{2}=\frac{9}{4}+\left(\frac{21}{8}\right)^{2}=\frac{144}{64}+\frac{441}{64}=\frac{585}{64} ✓

再核一眼图:算出的圆心 (0,38)\left(0,\frac{3}{8}\right) 只比原点高一点(38\frac{3}{8} 相比半径 3.023.02 是很小的一段),与图上 EE 紧贴在 OO 上方的位置相符;半径 ≈3.02\approx 3.02 略大于 AB2=3\frac{AB}{2}=3,所以圆在 AA、BB 处稍微鼓出 xx 轴——图上也是这样画的。

这道题的动作:先按图建系(对称的图形就把对称轴取作坐标轴),圆心落在对称轴上只剩一个未知量,一条等距方程就定住它。

习题 2.4 第 1 题

  1. 求下列各圆的圆心坐标和半径,并画出它们的图形: (1) x2+y2−2x−5=0;x^{2}+y^{2}-2x-5=0; (2) x2+y2+2x−4y−4=0;x^{2}+y^{2}+2x-4y-4=0; (3) x2+y2+2ax=0;x^{2}+y^{2}+2ax=0; (4) x2+y2−2by−2b2=0.x^{2}+y^{2}-2by-2b^{2}=0.

配方即可。图这里不画,但每问都给出画图要用的三个数:圆心、半径,以及一个方便定位的特征(过不过原点、与坐标轴的交点)。

(1) (x−1)2+y2=5+1=6(x-1)^{2}+y^{2}=5+1=6:圆心 (1,0)(1,0)、半径 6≈2.45\sqrt{6}\approx 2.45。它与 xx 轴交于 1±61\pm\sqrt{6},与 yy 轴交于 y2=5y^{2}=5 即 y=±5y=\pm\sqrt{5}。

(2) (x+1)2+(y−2)2=4+1+4=9(x+1)^{2}+(y-2)^{2}=4+1+4=9:圆心 (−1,2)(-1,2)、半径 33。

(3) (x+a)2+y2=a2(x+a)^{2}+y^{2}=a^{2}:当 a≠0a\neq 0 时圆心 (−a,0)(-a,0)、半径 ∣a∣|a|;它过原点(F=0F=0),且与 xx 轴的另一个交点是 (−2a,0)(-2a,0)。a=0a=0 时退化成一个点。

(4) x2+(y−b)2=2b2+b2=3b2x^{2}+(y-b)^{2}=2b^{2}+b^{2}=3b^{2}:当 b≠0b\neq 0 时圆心 (0,b)(0,b)、半径 3 ∣b∣\sqrt{3}\,|b|;b=0b=0 时退化成一个点(原点)。

自检:(2) 用判据核一遍——D=2D=2、E=−4E=-4、F=−4F=-4,D2+E2−4F=4+16+16=36D^{2}+E^{2}-4F=4+16+16=36,r=1236=3r=\frac{1}{2}\sqrt{36}=3 ✓,圆心 (−22,42)=(−1,2)\left(-\frac{2}{2},\frac{4}{2}\right)=(-1,2) ✓。

这道题的动作:配方;含字母就写绝对值并交代 ≠0\neq 0 的前提。

习题 2.4 第 2 题

  1. 求下列各圆的方程,并画出图形:

(1) 圆心为点 C(8,−3)C(8, -3) ,且过点 A(5,1)A(5, 1) ;

(2) 过 A(−1,5)A(-1, 5) , B(5,5)B(5, 5) , C(6,−2)C(6, -2) 三点.

(1) 给了圆心 → 设标准方程。

r2=∣CA∣2=(5−8)2+(1+3)2=9+16=25  ⟹  (x−8)2+(y+3)2=25.r^{2}=|CA|^{2}=(5-8)^{2}+(1+3)^{2}=9+16=25 \;\Longrightarrow\; (x-8)^{2}+(y+3)^{2}=25 .

圆心 (8,−3)(8,-3)、半径 55;它与 xx 轴相交(圆心到 xx 轴距离 3<53<5),与 yy 轴相离(距离 8>58>5)。

(2) 给了三个点 → 设一般方程(D,E,FD,E,F 都是一次的,好解)。设 x2+y2+Dx+Ey+F=0x^{2}+y^{2}+Dx+Ey+F=0,把三点代入:

{1+25−D+5E+F=0,25+25+5D+5E+F=0,36+4+6D−2E+F=0  ⟺  {−D+5E+F=−26,5D+5E+F=−50,6D−2E+F=−40.\left\{ \begin{array}{l} 1+25-D+5E+F=0,\\ 25+25+5D+5E+F=0,\\ 36+4+6D-2E+F=0 \end{array} \right. \;\Longleftrightarrow\; \left\{ \begin{array}{l} -D+5E+F=-26,\\ 5D+5E+F=-50,\\ 6D-2E+F=-40 . \end{array} \right.

第二式减第一式:6D=−246D=-24,故 D=−4D=-4。代回第一式:5E+F=−305E+F=-30;代入第三式:−2E+F=−16-2E+F=-16。两式相减得 7E=−147E=-14,故 E=−2E=-2、F=−20F=-20。所求方程是

x2+y2−4x−2y−20=0  ⟺  (x−2)2+(y−1)2=25.x^{2}+y^{2}-4x-2y-20=0 \;\Longleftrightarrow\; (x-2)^{2}+(y-1)^{2}=25 .

圆心 (2,1)(2,1)、半径 55。

自检(三点回代):A(−1,5)A(-1,5):(−3)2+42=25(-3)^{2}+4^{2}=25 ✓;B(5,5)B(5,5):32+42=253^{2}+4^{2}=25 ✓;C(6,−2)C(6,-2):42+(−3)2=254^{2}+(-3)^{2}=25 ✓。

顺带一个更快的几何解法:AA、BB 的纵坐标都是 55,故 ABAB 的垂直平分线是 x=2x=2;再用 ∣CA′∣|CA'|…… 其实直接用 x=2x=2 上的点 (2,k)(2,k) 到 AA 与到 CC 等距:9+(k−5)2=16+(k+2)29+(k-5)^{2}=16+(k+2)^{2},解得 k=1k=1,同样得到圆心 (2,1)(2,1)。看到两点纵(横)坐标相同,就用它的垂直平分线,能省一个未知量。

这道题的动作:给圆心设标准方程、给三点设一般方程——这就是待定系数法第一步”选方程”。

习题 2.4 第 3 题

  1. 已知圆 C 经过原点和点 A(2, 1),并且圆心在直线 l: x - 2y - 1 = 0 上,求圆 C 的标准方程.

条件盘点:两个”点在圆上” + 一个”圆心在直线上”。圆心 (a,b)(a,b)、半径 rr 三个未知量,正好三条方程;但用几何关系能少解一步。

① 圆心在 ll 上:a−2b−1=0a-2b-1=0,即 a=2b+1a=2b+1。

② 圆心到两点等距(∣CO∣2=∣CA∣2|CO|^{2}=|CA|^{2},这一步把 rr 消掉了):

a2+b2=(a−2)2+(b−1)2=a2−4a+4+b2−2b+1  ⟹  4a+2b=5.a^{2}+b^{2}=(a-2)^{2}+(b-1)^{2}=a^{2}-4a+4+b^{2}-2b+1 \;\Longrightarrow\; 4a+2b=5 .

③ 联立:把 a=2b+1a=2b+1 代入,4(2b+1)+2b=5⇒10b=1⇒b=1104(2b+1)+2b=5\Rightarrow 10b=1\Rightarrow b=\frac{1}{10},于是 a=2⋅110+1=65a=2\cdot\frac{1}{10}+1=\frac{6}{5}。

④ 半径:

r2=a2+b2=(65)2+(110)2=144100+1100=145100=2920.r^{2}=a^{2}+b^{2}=\left(\frac{6}{5}\right)^{2}+\left(\frac{1}{10}\right)^{2}=\frac{144}{100}+\frac{1}{100}=\frac{145}{100}=\frac{29}{20} .

所以

(x−65)2+(y−110)2=2920.\left(x-\frac{6}{5}\right)^{2}+\left(y-\frac{1}{10}\right)^{2}=\frac{29}{20} .

自检:A(2,1)A(2,1) 代入 (2−65)2+(1−110)2=(45)2+(910)2=64100+81100=145100\left(2-\frac{6}{5}\right)^{2}+\left(1-\frac{1}{10}\right)^{2}=\left(\frac{4}{5}\right)^{2}+\left(\frac{9}{10}\right)^{2}=\frac{64}{100}+\frac{81}{100}=\frac{145}{100} ✓,与 r2r^{2} 相等。圆心 (65,110)\left(\frac{6}{5},\frac{1}{10}\right) 代入 ll:65−210−1=65−15−1=0\frac{6}{5}-\frac{2}{10}-1=\frac{6}{5}-\frac{1}{5}-1=0 ✓。

答案不好看不等于算错:这道题的数据本就凑不出整数,最后回代验算比”觉得答案该是整数”可靠得多。

这道题的动作:“过两点”用等距消掉 rr、“圆心在某直线上”直接当一条方程,两条方程定圆心。

习题 2.4 第 4 题

  1. 圆 C 的圆心在 x 轴上,并且过 A(-1, 1) 和 B(1, 3) 两点,求圆 C 的方程.

“圆心在 xx 轴上”就是纵坐标为 00,所以圆心设成 (a,0)(a,0),只剩一个未知量。

由 ∣CA∣2=∣CB∣2|CA|^{2}=|CB|^{2}:

(a+1)2+1=(a−1)2+9  ⟹  a2+2a+2=a2−2a+10  ⟹  4a=8  ⟹  a=2.(a+1)^{2}+1=(a-1)^{2}+9 \;\Longrightarrow\; a^{2}+2a+2=a^{2}-2a+10 \;\Longrightarrow\; 4a=8 \;\Longrightarrow\; a=2 .

半径的平方:r2=(2+1)2+(0−1)2=9+1=10r^{2}=(2+1)^{2}+(0-1)^{2}=9+1=10。所求方程是

(x−2)2+y2=10.(x-2)^{2}+y^{2}=10 .

自检:B(1,3)B(1,3) 代入 (1−2)2+9=1+9=10(1-2)^{2}+9=1+9=10 ✓。

换个角度看:ABAB 的中点是 (0,2)(0,2)、斜率是 3−11+1=1\frac{3-1}{1+1}=1,故 ABAB 的垂直平分线是 y−2=−(x−0)y-2=-(x-0) 即 y=−x+2y=-x+2;它与 xx 轴(y=0y=0)交于 (2,0)(2,0) ✓。“到两点等距”与”在垂直平分线上”是同一句话的两种写法,用哪个都行——前者不必求斜率,通常更省。

这道题的动作:把”圆心在坐标轴上”用掉,未知量降到一个,再用一条等距方程解完。

习题 2.4 第 5 题

  1. 已知圆的一条直径的端点分别是 A(x1,y1)A(x_{1}, y_{1}),B(x2,y2)B(x_{2}, y_{2}),求证此圆的方程是

(x−x1)(x−x2)+(y−y1)(y−y2)=0.(x - x _ {1}) (x - x _ {2}) + (y - y _ {1}) (y - y _ {2}) = 0.

要证的是”两个方程同解”,所以正做法是:把待证方程整理成标准方程,看它是不是以 ABAB 为直径的那个圆。

① 以 ABAB 为直径的圆是什么。 圆心是中点 (x1+x22,y1+y22)\left(\frac{x_{1}+x_{2}}{2},\frac{y_{1}+y_{2}}{2}\right),半径的平方是

r2=∣AB∣24=(x1−x2)2+(y1−y2)24.r^{2}=\frac{|AB|^{2}}{4}=\frac{(x_{1}-x_{2})^{2}+(y_{1}-y_{2})^{2}}{4} .

② 把待证方程展开、配方。

(x−x1)(x−x2)+(y−y1)(y−y2)=x2−(x1+x2)x+x1x2+y2−(y1+y2)y+y1y2=0,(x-x_{1})(x-x_{2})+(y-y_{1})(y-y_{2}) =x^{2}-(x_{1}+x_{2})x+x_{1}x_{2}+y^{2}-(y_{1}+y_{2})y+y_{1}y_{2}=0 ,

对 xx、yy 分别配方:

(x−x1+x22)2+(y−y1+y22)2=(x1+x2)24−x1x2+(y1+y2)24−y1y2.\left(x-\frac{x_{1}+x_{2}}{2}\right)^{2}+\left(y-\frac{y_{1}+y_{2}}{2}\right)^{2} =\frac{(x_{1}+x_{2})^{2}}{4}-x_{1}x_{2}+\frac{(y_{1}+y_{2})^{2}}{4}-y_{1}y_{2} .

右边用 (p+q)24−pq=(p−q)24\frac{(p+q)^{2}}{4}-pq=\frac{(p-q)^{2}}{4} 化简,恰好是

(x1−x2)2+(y1−y2)24=r2.\frac{(x_{1}-x_{2})^{2}+(y_{1}-y_{2})^{2}}{4}=r^{2} .

③ 收口。 于是待证方程与”圆心为 ABAB 中点、半径为 ∣AB∣2\frac{|AB|}{2}“的标准方程逐字相同,即它就是以 ABAB 为直径的圆的方程。又因 A≠BA\neq B(是一条直径的两个端点),r2>0r^{2}>0,它确实表示一个圆。■\blacksquare

这个式子的几何意思(记住它就不用背式子):(x−x1)(x−x2)+(y−y1)(y−y2)(x-x_{1})(x-x_{2})+(y-y_{1})(y-y_{2}) 正是向量 PA→⋅PB→\overrightarrow{PA}\cdot\overrightarrow{PB}(P(x,y)P(x,y))。所以方程说的是

PA→⋅PB→=0  ⟺  PA⊥PB 或 P 与 A、B 之一重合,\overrightarrow{PA}\cdot\overrightarrow{PB}=0 \iff PA\perp PB\ \text{或}\ P\ \text{与}\ A、B\ \text{之一重合},

也就是直径所对的圆周角是直角那条初中定理的坐标版。

这道题的动作:要证”某方程是某圆的方程”,就把它配方,与标准方程逐项对;顺手认出数量积的结构能记得更牢。

习题 2.4 第 6 题

  1. 平面直角坐标系中有 A(0,1)A(0, 1), B(2,1)B(2, 1), C(3,4)C(3, 4), D(−1,2)D(-1, 2) 四点, 这四点是否在同一个圆上? 为什么?

标准做法:先用三点定圆,再验第四点。(三个不共线的点确定唯一的圆,所以只能这么判。)

① 用 AA、BB、CC 定圆。 设 x2+y2+Dx+Ey+F=0x^{2}+y^{2}+Dx+Ey+F=0:

{A: 1+E+F=0,B: 5+2D+E+F=0,C: 25+3D+4E+F=0.\left\{ \begin{array}{l} A:\ 1+E+F=0,\\ B:\ 5+2D+E+F=0,\\ C:\ 25+3D+4E+F=0 . \end{array} \right.

第二式减第一式:4+2D=0⇒D=−24+2D=0\Rightarrow D=-2。代入第一、三式:E+F=−1E+F=-1、4E+F=−194E+F=-19,相减得 3E=−183E=-18,故 E=−6E=-6、F=5F=5。于是过 AA、BB、CC 的圆是

x2+y2−2x−6y+5=0  ⟺  (x−1)2+(y−3)2=5.x^{2}+y^{2}-2x-6y+5=0 \;\Longleftrightarrow\; (x-1)^{2}+(y-3)^{2}=5 .

(判据:D2+E2−4F=4+36−20=20>0D^{2}+E^{2}-4F=4+36-20=20>0,确实是圆;圆心 (1,3)(1,3)、半径 5\sqrt{5}。)

② 验 D(−1,2)D(-1,2):

(−1−1)2+(2−3)2=4+1=5=r2 ✓(-1-1)^{2}+(2-3)^{2}=4+1=5=r^{2}\ \checkmark

所以四点共圆,那个圆是 (x−1)2+(y−3)2=5(x-1)^{2}+(y-3)^{2}=5(圆心 (1,3)(1,3)、半径 5\sqrt{5})。

自检(四点逐个量到圆心的距离平方,都应是 55):AA:1+4=51+4=5;BB:1+4=51+4=5;CC:4+1=54+1=5;DD:4+1=54+1=5 ✓。

顺带一个必要的交代:AA、BB、CC 不共线(ABAB 是水平线 y=1y=1,而 CC 的纵坐标是 44),所以第 ① 步的圆存在且唯一——否则”用三点定圆”这句话就不成立。

这道题的动作:三点定圆 + 第四点回代;结论无论是”共圆”还是”不共圆”,都要把那个圆写出来。

习题 2.4 第 7 题

  1. 已知等腰三角形 ABCABC 的一个顶点为 A(4,2)A(4, 2),底边的一个端点为 B(3,5)B(3, 5),求底边的另一个端点 CC 的轨迹方程,并说明它是什么图形.

先把”等腰”读准:AA 是顶点、BCBC 是底边,所以两腰是 ABAB 与 ACAC,等腰的意思是

∣AC∣=∣AB∣.|AC|=|AB| .

① 算出腰长。

∣AB∣2=(3−4)2+(5−2)2=1+9=10.|AB|^{2}=(3-4)^{2}+(5-2)^{2}=1+9=10 .

② 于是 CC 到定点 AA 的距离是定值——这正是圆的定义。设 C(x,y)C(x,y):

(x−4)2+(y−2)2=10.(x-4)^{2}+(y-2)^{2}=10 .

③ 扣掉不合题意的点(这一步最容易丢分)。要真的构成一个三角形,AA、BB、CC 不能共线:

  • CC 不能与 BB 重合,即 C≠(3,5)C\neq(3,5);
  • CC 不能落在直线 ABAB 与圆的另一个交点上。那一点是 BB 关于 AA 的对称点
C′=(2×4−3, 2×2−5)=(5,−1),C'=(2\times 4-3,\ 2\times 2-5)=(5,-1) ,

此时 BB、AA、C′C' 三点共线(AA 是 BC′BC' 的中点),三角形退化成一条线段。

所以 CC 的轨迹方程是

(x−4)2+(y−2)2=10(除去点 (3,5) 与 (5,−1)).(x-4)^{2}+(y-2)^{2}=10\qquad\left(\text{除去点}\ (3,5)\ \text{与}\ (5,-1)\right) .

它是什么图形:以 A(4,2)A(4,2) 为圆心、10\sqrt{10} 为半径的圆,去掉两个点(与 BB 重合的那点,以及 BB 的对径点)。

自检:(3,5)(3,5) 与 (5,−1)(5,-1) 都在圆上——(3−4)2+(5−2)2=10(3-4)^{2}+(5-2)^{2}=10 ✓,(5−4)2+(−1−2)2=1+9=10(5-4)^{2}+(-1-2)^{2}=1+9=10 ✓,所以它们确实是需要”从圆上抠掉”的点,而不是本就不在轨迹上。

这道题的动作:把几何条件翻成”到定点距离为定值”,写出圆;再回头问一句”哪些位置会让图形退化”,把它们排除。

习题 2.4 第 8 题

  1. 长为 2a2a 的线段 ABAB 的两个端点 AA 和 BB 分别在 xx 轴和 yy 轴上滑动,求线段 ABAB 的中点的轨迹方程,并说明轨迹的形状.

设两套坐标(相关点法):A(x0,0)A(x_{0},0) 在 xx 轴上、B(0,y0)B(0,y_{0}) 在 yy 轴上,中点 M(x,y)M(x,y)。这里 2a>02a>0,故 a>0a>0。

① 约束:∣AB∣=2a|AB|=2a,即

x02+y02=4a2.x_{0}^{2}+y_{0}^{2}=4a^{2} .

② 中点关系反解:x=x0+02x=\frac{x_{0}+0}{2}、y=0+y02y=\frac{0+y_{0}}{2},于是 x0=2xx_{0}=2x、y0=2yy_{0}=2y。

③ 代入约束:

(2x)2+(2y)2=4a2  ⟹  x2+y2=a2.(2x)^{2}+(2y)^{2}=4a^{2} \;\Longrightarrow\; x^{2}+y^{2}=a^{2} .

轨迹的形状:以原点为圆心、半径 aa 的圆(aa 就是线段长的一半)。

几何上一眼可见:∠AOB=90∘\angle AOB=90^{\circ},OMOM 是直角三角形斜边 ABAB 上的中线,所以

∣OM∣=12∣AB∣=a|OM|=\frac{1}{2}|AB|=a

恒成立——中点到原点的距离压根不变,轨迹当然是圆。这条”斜边中线等于斜边一半”的初中结论,比代数推导更快,也解释了为什么答案里 aa 出现得这么干净。

完整性说明(“轨迹”要求不多不少):圆上任一点 MM 都取得到——过 MM 以 ∣OM∣=a|OM|=a 为半径的那个位置,取 A(2x,0)A(2x,0)、B(0,2y)B(0,2y) 即可,且 ∣AB∣=4x2+4y2=2a|AB|=\sqrt{4x^{2}+4y^{2}}=2a ✓。所以轨迹是整个圆,不必去掉任何点(AA 或 BB 落在原点时,MM 落在坐标轴上,仍在圆上)。

这道题的动作:动点由两个”带约束的点”决定 → 设两套坐标、反解、代入;能看出几何不变量的话,验算就有了。

习题 2.4 第 9 题

  1. 已知动点 MM 与两个定点 O(0,0)O(0,0), A(3,0)A(3,0) 的距离的比为 12\frac{1}{2}, 求动点 MM 的轨迹方程, 并说明轨迹的形状.

把”比为 12\frac{1}{2}“写成等式(先去分母,避免讨论分母为零):∣MO∣∣MA∣=12\frac{|MO|}{|MA|}=\frac{1}{2},即

2∣MO∣=∣MA∣.2|MO|=|MA| .

两边平方(两边都非负,平方是等价变形)。设 M(x,y)M(x,y):

4(x2+y2)=(x−3)2+y2.4\left(x^{2}+y^{2}\right)=(x-3)^{2}+y^{2} .

展开、整理:

4x2+4y2=x2−6x+9+y2  ⟹  3x2+3y2+6x−9=0  ⟹  x2+y2+2x−3=0.4x^{2}+4y^{2}=x^{2}-6x+9+y^{2} \;\Longrightarrow\; 3x^{2}+3y^{2}+6x-9=0 \;\Longrightarrow\; x^{2}+y^{2}+2x-3=0 .

配方:

(x+1)2+y2=4.(x+1)^{2}+y^{2}=4 .

轨迹的形状:以 (−1,0)(-1,0) 为圆心、半径 22 的圆。(判据也可:D=2D=2、E=0E=0、F=−3F=-3,D2+E2−4F=4+12=16>0D^{2}+E^{2}-4F=4+12=16>0,r=1216=2r=\frac{1}{2}\sqrt{16}=2 ✓。)

自检(取圆上两个特殊点):

  • (1,0)(1,0):∣MO∣=1|MO|=1、∣MA∣=2|MA|=2,比是 12\frac{1}{2} ✓
  • (−3,0)(-3,0):∣MO∣=3|MO|=3、∣MA∣=6|MA|=6,比是 12\frac{1}{2} ✓

这两点正是 OAOA 所在直线上按 1:21:2 的内分点与外分点,它们是这个圆的一条直径的两端。

这类轨迹有名字:到两定点距离之比为常数 k (k>0, k≠1)k\ (k>0,\ k\neq 1) 的点的轨迹是一个圆,叫阿波罗尼斯圆;k=1k=1 时退化成两点连线的垂直平分线(那时”去分母再平方”得到的是一次方程)。答题时不必用这个名字,但要知道”比为定值”几乎一定通向圆。

这道题的动作:距离之比 → 去分母 → 两边平方 → 配方;最后一定要说清轨迹是什么图形。

习题 2.4 第 10 题

  1. 在平面直角坐标系中,如果点 PP 的坐标 (x,y)(x, y) 满足

{x=a+rcos⁡θ,y=b+rsin⁡θ,\left\{ \begin{array}{l} x = a + r \cos \theta , \\ y = b + r \sin \theta , \end{array} \right.

其中 θ\theta 为参数. 证明:点 PP 的轨迹是圆心为 (a,b)(a, b),半径为 rr 的圆.

要证”轨迹是那个圆”,两个方向都得说:轨迹上的点都在圆上(不多),圆上的点都在轨迹上(不少)。设 r>0r>0。

① 轨迹 ⊆\subseteq 圆。 由参数式,

x−a=rcos⁡θ,y−b=rsin⁡θ,x-a=r\cos\theta,\qquad y-b=r\sin\theta ,

两式平方相加,用 cos⁡2θ+sin⁡2θ=1\cos^{2}\theta+\sin^{2}\theta=1:

(x−a)2+(y−b)2=r2(cos⁡2θ+sin⁡2θ)=r2.(x-a)^{2}+(y-b)^{2}=r^{2}\left(\cos^{2}\theta+\sin^{2}\theta\right)=r^{2} .

所以每个满足参数式的点都在以 (a,b)(a,b) 为圆心、rr 为半径的圆上。

② 圆 ⊆\subseteq 轨迹(这一步不能省,否则只证明了”轨迹在圆上”,也许只是一段弧)。设点 P0(x0,y0)P_{0}(x_{0},y_{0}) 在该圆上,即 (x0−a)2+(y0−b)2=r2(x_{0}-a)^{2}+(y_{0}-b)^{2}=r^{2}。令

u=x0−ar,v=y0−br,u=\frac{x_{0}-a}{r},\qquad v=\frac{y_{0}-b}{r},

则 u2+v2=1u^{2}+v^{2}=1,即点 (u,v)(u,v) 在单位圆上;于是存在 θ0∈[0,2π)\theta_{0}\in[0,2\pi) 使 cos⁡θ0=u\cos\theta_{0}=u、sin⁡θ0=v\sin\theta_{0}=v(单位圆上的点与角一一对应)。取这个 θ0\theta_{0} 代入参数式,得到的正是 x0=a+rcos⁡θ0x_{0}=a+r\cos\theta_{0}、y0=b+rsin⁡θ0y_{0}=b+r\sin\theta_{0},即 P0P_{0} 在轨迹上。

由 ①②,点 PP 的轨迹恰好是圆心 (a,b)(a,b)、半径 rr 的圆。■\blacksquare

这组式子的读法(比证明更值得带走):θ\theta 是转过的角,(a+rcos⁡θ, b+rsin⁡θ)(a+r\cos\theta,\ b+r\sin\theta) 就是”从圆心出发、沿 θ\theta 方向走 rr 步”。它是圆的参数方程,用处是把圆上的点写成一个参数的函数——求圆上点的最值、或需要在圆上取动点时,设 (a+rcos⁡θ, b+rsin⁡θ)\left(a+r\cos\theta,\ b+r\sin\theta\right) 常比设 (x,y)(x,y) 带一条约束更好算。

这道题的动作:参数方程消参用 cos⁡2+sin⁡2=1\cos^{2}+\sin^{2}=1;证”轨迹就是某图形”要正反两个方向都写。

原书转写(OCR,供核对)

共 6 页· 默认折起

机器转写,如有出入以上方扫描图为准。它是原文可搜索、可复制公式、读屏器读得出的形态, 也是教材原文引文的逐字比对靶。

x−3y−3=0.x - 3 y - 3 = 0.

由垂径定理可知,圆心 C 也在线段 AB 的垂直平分线上,所以它的坐标是方程组

{x−3y−3=0,x−y+1=0\left\{ \begin{array}{l} x - 3 y - 3 = 0, \\ x - y + 1 = 0 \end{array} \right.

的解.

解这个方程组,得

{x=−3,y=−2.\left\{ \begin{array}{l} x = - 3, \\ y = - 2. \end{array} \right.

所以圆心 C 的坐标是 (−3,−2)(-3, -2) .

圆的半径

r=∣AC∣=(1+3)2+(1+2)2=5.r = | A C | = \sqrt {(1 + 3) ^ {2} + (1 + 2) ^ {2}} = 5.

所以,所求圆的标准方程是

(x+3)2+(y+2)2=25.(x + 3) ^ {2} + (y + 2) ^ {2} = 2 5.

练习

  1. 写出下列圆的标准方程:

(1) 圆心为 C(−3,4)C(-3, 4) ,半径是 5\sqrt{5} ;

(2) 圆心为 C(−8,3)C(-8, 3) ,且经过点 M(−5,−1)M(-5, -1) .

  1. 已知圆的标准方程是 (x−3)2+(y+2)2=16(x - 3)^2 + (y + 2)^2 = 16,借助计算工具计算,判断下列各点在圆上、圆外,还是在圆内.

(1) M1(4.30,−5.72)M_{1}(4.30, -5.72); (2) M2(5.70,1.08)M_{2}(5.70, 1.08); (3) M3(3,−6)M_{3}(3, -6).

  1. 已知 P1(4,9)P_{1}(4, 9), P2(6,3)P_{2}(6, 3) 两点, 求以线段 P1P2P_{1}P_{2} 为直径的圆的标准方程, 并判断点 M(6,9)M(6, 9), N(3,3)N(3, 3), Q(5,3)Q(5, 3) 在圆上、圆内, 还是在圆外.

  2. 已知 △AOB\triangle AOB 的三个顶点分别是点 A(4,0)A(4,0), O(0,0)O(0,0), B(0,3)B(0,3), 求 △AOB\triangle AOB 的外接圆的标准方程.

2.4.2 圆的一般方程

思考

我们知道,方程 (x−1)2+(y+2)2=4(x - 1)^2 +(y + 2)^2 = 4 表示以(1,-2)为圆心,2为半径的圆.可以将此方程变形为 x2+y2−2x+4y+1=0.x^{2} + y^{2} - 2x + 4y + 1 = 0.

一般地,圆的标准方程 (x−a)2+(y−b)2=r2(x - a)^2 +(y - b)^2 = r^2 可以变形为

x2+y2+Dx+Ey+F=0(2)x ^ {2} + y ^ {2} + D x + E y + F = 0\tag{2}

的形式. 反过来, 形如(2)的方程一定能通过恒等变形变为圆的标准方程吗?

例如,对于方程 x2+y2−2x−4y+6=0x^{2} + y^{2} - 2x - 4y + 6 = 0 ,对其进行配方,得 (x−1)2+(y−2)2=−1(x - 1)^{2} + (y - 2)^{2} = -1 因为任意一个点的坐标 (x,y)(x, y) 都不满足这个方程,所以这个方程不表示任何图形。所以,形如(2)的方程不一定能通过恒等变形变为圆的标准方程。这表明,形如(2)的方程不一定是圆的方程。

探究

方程 x2+y2+Dx+Ey+F=0x^{2} + y^{2} + Dx + Ey + F = 0 中的 D,E,FD, E, F 满足什么条件时,这个方程表示圆?

将方程(2)的左边配方,并把常数项移到右边,得

(x+D2)2+(y+E2)2=D2+E2−4F4.(1◯)\left(x + \frac {D}{2}\right) ^ {2} + \left(y + \frac {E}{2}\right) ^ {2} = \frac {D ^ {2} + E ^ {2} - 4 F}{4}.\tag{\text{\textcircled{1}}}

(1)当 D2+E2−4F>0D^{2} + E^{2} - 4F > 0 时,比较方程①和圆的标准方程,可以看出方程(2)表示以 (−D2,−E2)\left(-\frac{D}{2}, - \frac{E}{2}\right) 为圆心, 12D2+E2−4F\frac{1}{2}\sqrt{D^2 + E^2 - 4F} 为半径的圆;

(2) 当 D2+E2−4F=0D^{2} + E^{2} - 4F = 0 时,方程(2) 只有实数解 x=−D2x = -\frac{D}{2} , y=−E2y = -\frac{E}{2} ,它表示一个点 (−D2,−E2)\left(-\frac{D}{2}, -\frac{E}{2}\right) ;

(3) 当 D2+E2−4F<0D^{2} + E^{2} - 4F < 0 时,方程(2)没有实数解,它不表示任何图形.

因此,当 D2+E2−4F>0D^{2} + E^{2} - 4F > 0 时,方程(2)表示一个圆.我们把方程(2)叫做圆的一般方程(general equation of circle).

思考

圆的标准方程与圆的一般方程各有什么特点?

例 4 求过三点 O(0,0)O(0, 0) , M1(1,1)M_{1}(1, 1) , M2(4,2)M_{2}(4, 2) 的圆的方程,并求这个圆的圆心坐标和半径.

分析:将点 O,M1,M2O, M_{1}, M_{2} 的坐标分别代入圆的一般方程,可得一个三元一次方程组,解方程组即可求出圆的方程.

解:设圆的方程是

x2+y2+Dx+Ey+F=0.(1◯)x ^ {2} + y ^ {2} + D x + E y + F = 0.\tag{\text{\textcircled{1}}}

因为 O,M1,M2O, M_{1}, M_{2} 三点都在圆上,所以它们的坐标都是方程①的解。把它们的坐标依次代入方程①,得到关于 D,E,FD, E, F 的一个三元一次方程组

{F=0,D+E+F+2=0,4D+2E+F+20=0.\left\{ \begin{array}{l} F = 0, \\ D + E + F + 2 = 0, \\ 4 D + 2 E + F + 2 0 = 0. \end{array} \right.

解这个方程组,得

{D=−8,E=6,F=0.\left\{ \begin{array}{l} D = - 8, \\ E = 6, \\ F = 0. \end{array} \right.

所以,所求圆的方程是

x2+y2−8x+6y=0.x ^ {2} + y ^ {2} - 8 x + 6 y = 0.

由前面的讨论可知,所求圆的圆心坐标是(4,-3),半径 r=12D2+E2−4F=5.r = \frac{1}{2}\sqrt{D^2 + E^2 - 4F} = 5.

与例 2 的方法比较, 你有什么体会?

求圆的方程常用待定系数法,其大致步骤是:

(1) 根据题意, 选择标准方程或一般方程;

(2) 根据条件列出关于 a, b, r 或 D, E, F 的方程组;

(3) 解出 a, b, r 或 D, E, F, 得到标准方程或一般方程.

例 5 已知线段 AB 的端点 B 的坐标是 (4,3)(4, 3) ,端点 A 在圆 (x+1)2+y2=4(x+1)^{2}+y^{2}=4 上运动,求线段 AB 的中点 M 的轨迹方程.

分析:如图2.4-4,点 AA 运动引起点 MM 运动,而点 AA 在已知圆上运动,点 AA 的坐标满足方程 (x+1)2+y2=4(x + 1)^2 + y^2 = 4 建立点 MM 与点 AA 坐标之间的关系,就可以利用点 AA 的坐标所满足的关系式得到点 MM 的坐标满足的关系式,求出点 MM 的轨迹方程.

解:设点 M 的坐标是 (x,y)(x, y) ,点 A 的坐标是 (x0,y0)(x_{0}, y_{0}) 。由于点 B 的坐标是 (4,3)(4, 3) ,且 M 是线段 AB 的中点,所以

图2.4-4

x=x0+42,y=y0+32.x = \frac {x _ {0} + 4}{2}, y = \frac {y _ {0} + 3}{2}.

于是有

x0=2x−4,y0=2y−3.(1◯)x _ {0} = 2 x - 4, y _ {0} = 2 y - 3.\tag{\text{\textcircled{1}}}

因为点 A 在圆 (x+1)2+y2=4(x+1)^{2}+y^{2}=4 上运动,所以点 A 的坐标满足圆的方程,即

(x0+1)2+y02=4.(2◯)(x _ {0} + 1) ^ {2} + y _ {0} ^ {2} = 4.\tag{\text{\textcircled{2}}}

把①代入②,得

(2x−4+1)2+(2y−3)2=4,(2 x - 4 + 1) ^ {2} + (2 y - 3) ^ {2} = 4,

整理,得

• •

点 M 的轨迹方程是指点 M 的坐标 (x,y)(x, y) 满足的关系式。轨迹是指点在运动变化过程中形成的图形。在解析几何中,我们常常把图形看作点的轨迹(集合)。

(x−32)2+(y−32)2=1.\left(x - \frac {3}{2}\right) ^ {2} + \left(y - \frac {3}{2}\right) ^ {2} = 1.

这就是点 MM 的轨迹方程,它表示以 (32,32)\left(\frac{3}{2}, \frac{3}{2}\right) 为圆心,半径为1的圆.

练习

  1. 求下列各圆的圆心坐标和半径: (1) x2+y2−6x=0;x^{2} + y^{2} - 6x = 0; (2) x2+y2+2by=0;x^{2} + y^{2} + 2by = 0; (3) x2+y2−2ax−23ay+3a2=0.x^{2} + y^{2} - 2ax - 2\sqrt{3}ay + 3a^{2} = 0.

  2. 判断下列方程分别表示什么图形,并说明理由: (1) x2+y2=0;x^{2}+y^{2}=0; (2) x2+y2−2x+4y−6=0;x^{2}+y^{2}-2x+4y-6=0; (3) x2+y2+2ax−b2=0.x^{2} + y^{2} + 2ax - b^{2} = 0.

  3. 如图,在四边形 ABCD 中,AB=6,CD=3,且 AB∥CDAB \parallel CD ,AD=BC,AB 与 CD 间的距离为 3. 求等腰梯形 ABCD 的外接圆的方程,并求这个圆的圆心坐标和半径.

(第3题)

习题2.4

复习巩固

  1. 求下列各圆的圆心坐标和半径,并画出它们的图形: (1) x2+y2−2x−5=0;x^{2}+y^{2}-2x-5=0; (2) x2+y2+2x−4y−4=0;x^{2}+y^{2}+2x-4y-4=0; (3) x2+y2+2ax=0;x^{2}+y^{2}+2ax=0; (4) x2+y2−2by−2b2=0.x^{2}+y^{2}-2by-2b^{2}=0.

  2. 求下列各圆的方程,并画出图形:

(1) 圆心为点 C(8,−3)C(8, -3) ,且过点 A(5,1)A(5, 1) ;

(2) 过 A(−1,5)A(-1, 5) , B(5,5)B(5, 5) , C(6,−2)C(6, -2) 三点.

  1. 已知圆 C 经过原点和点 A(2, 1),并且圆心在直线 l: x - 2y - 1 = 0 上,求圆 C 的标准方程.

  2. 圆 C 的圆心在 x 轴上,并且过 A(-1, 1) 和 B(1, 3) 两点,求圆 C 的方程.

综合运用

  1. 已知圆的一条直径的端点分别是 A(x1,y1)A(x_{1}, y_{1}),B(x2,y2)B(x_{2}, y_{2}),求证此圆的方程是

(x−x1)(x−x2)+(y−y1)(y−y2)=0.(x - x _ {1}) (x - x _ {2}) + (y - y _ {1}) (y - y _ {2}) = 0.

  1. 平面直角坐标系中有 A(0,1)A(0, 1), B(2,1)B(2, 1), C(3,4)C(3, 4), D(−1,2)D(-1, 2) 四点, 这四点是否在同一个圆上? 为什么?

  2. 已知等腰三角形 ABCABC 的一个顶点为 A(4,2)A(4, 2),底边的一个端点为 B(3,5)B(3, 5),求底边的另一个端点 CC 的轨迹方程,并说明它是什么图形.

  1. 长为 2a2a 的线段 ABAB 的两个端点 AA 和 BB 分别在 xx 轴和 yy 轴上滑动,求线段 ABAB 的中点的轨迹方程,并说明轨迹的形状.

拓广探索

  1. 已知动点 MM 与两个定点 O(0,0)O(0,0), A(3,0)A(3,0) 的距离的比为 12\frac{1}{2}, 求动点 MM 的轨迹方程, 并说明轨迹的形状.

  2. 在平面直角坐标系中,如果点 PP 的坐标 (x,y)(x, y) 满足

{x=a+rcos⁡θ,y=b+rsin⁡θ,\left\{ \begin{array}{l} x = a + r \cos \theta , \\ y = b + r \sin \theta , \end{array} \right.

其中 θ\theta 为参数. 证明:点 PP 的轨迹是圆心为 (a,b)(a, b),半径为 rr 的圆.

? 阅读与思考

坐标法与数学机械化

笛卡儿开创了解析几何思想方法的先河。解析几何坐标法的形成、发展和完善,使几何问题的求解或求证能通过坐标转化为代数方程求解。同时坐标法使计算机应用到几何定理的证明中成为可能。

明确提出机器可以成为推理工具的思想,要追溯到17世纪德国数学家莱布尼茨(Leibniz,1646—1716,微积分创始人之一)。他受笛卡儿思想的启发,认为笛卡儿创立的解析几何,目的是将几何推理转化为计算。遗憾的是,由于当时的条件限制,计算仅仅是手工操作(手摇计算机),无法进行大量复杂的计算,所以用机器实现几何定理证明的想法无法实现。

20世纪以后,计算机迅速发展。计算机的发明使一些数学家又开始探讨几何定理证明机械化的可能性。1950年,波兰数学家塔斯基得到一个引人注目的结论:一切初等几何范畴中的命题都可以用机械方法判定。由于他的判定方法太复杂,在实践中没有太大的进展。1959年,美籍华裔数学家王浩(1921—1995)在这方面做出了鼓舞人心的工作,他在计算机上只用了9分钟就证明了《数学原理》(罗素和怀特海著)中的350多个命题,并第一次明确提出了“走向数学的机械化”的口号。

20世纪70年代以后,我国著名数学家吴文俊在几何定理机器证明上作出了重大贡献,并创立了“吴方法”。吴文俊是我国最具国际影响的数学家之一。他在拓扑学、自动推理、机器证明、代数几何、中国数学史、对策论等研究领域均有杰出的贡献。曾获得首届国家最高科学技术奖(2000年)、首届国家自然科学一等奖(1956年)、首届求是杰出科学家奖(1994年)、邵逸夫数学奖(2006年)、国际自动推理最高奖——埃尔布朗自动推理杰出成就奖(1997年)等。“文华逾九章,拓扑公式彪史册。俊杰胜十书,机器证明誉寰球。”是对他一生工作的高度概括。

吴文俊机器证明的思想,主要是从笛卡儿的坐标法和中国古代解方程的计算方法而来的。他认为,欧氏几何体系的特点是纯粹在空间形式间推理,或说在图形之间,或者是把数量关系归之于空间形式,

吴文俊(1919—2017),中国科学院院士,中国科学院数学与系统科学研究院研究员

或者干脆排除数量关系。另一个体系刚好与之相反,是把空间形式转化成数量关系来处理。这种考虑方式就是中国的传统,早在11世纪左右就已产生,当时引进的概念叫天元、地元等,用现在的符号就相当于引进了 xx,yy 等。用天元、地元表示某一个几何事实,那么几何对象之间的相互关系就表示成天元、地元之间的一种方程(即 xx,yy 之间的一种方程),即17世纪解析几何的坐标法。

吴文俊认为,欧氏几何体系是非机械化的,把空间形式数量化是机械化的。吴文俊说:“我从事几何定理证明时,首先取适当的坐标,于是几何定理的假设与终结通常都成为多项式方程,称之为假设方程与终结方程。满足定理假设的几何图象,就相当于假设方程组的一个解答或零点。要证明定理成立,就是要证明假设方程的零点也使终结多项式为零。”由于计算机的发展与众多数学家(特别是以吴文俊为首的一批中国数学家)的努力,在1976年与1977年之交,几何定理机器证明的梦想终于实现了。提出用计算机证明几何定理的“吴方法”,被认为是自动推理领域的先驱性工作。进入20世纪80年代以后,吴文俊和他的同行把几何定理机器证明的方法发展成为数学机械化方法。

请你查阅有关资料,进一步了解吴文俊的事迹,了解我国数学家在数学机械化方面的卓越贡献。