跳到正文
几何 · 第 38 章

坐标几何

把图放到坐标网格上:直线变成方程,长度变成平方根,任何多边形的面积都可以用鞋带公式或皮克定理求出。

你需要先会
在 YouTube 上打开
38.10%

坐标平面中的直线

在本节中,你将能够 把直线变成方程:斜率、直线方程的两种形式、距离公式,以及点到直线的距离。

把图放到坐标网格上,几何就变成了代数。每条直线都是一个方程,每段长度都是一个平方根。

两点确定一条直线。它的斜率是竖直变化除以水平变化,也等于 tan⁡θ\tan\theta,其中 θ\theta 是直线与 xx 轴所成的角。

长度来自换了个样子的勾股定理:距离公式。从一点到一条直线,最短的路是沿垂线直走过去,而且有一个公式能直接给出这段长度。

注意:题目给出长方形或直角时,把一个角放在原点,让两条边落在坐标轴上。数字会变小,方程会变简单。

动手探索先玩,再学公式

过 A(1, 1) 和 B(5, 4) 的直线:斜率 3/4,倾斜角 36.9°,3x − 4y + 1 = 0

A(1, 1)B(5, 4)
m=竖直变化水平变化=34m = \dfrac{\text{竖直变化}}{\text{水平变化}} = \dfrac{3}{4}
θ≈36.9∘, tan⁡θ=34\theta \approx 36.9^\circ,\ \tan\theta = \tfrac{3}{4}
y=34x+14y = \tfrac{3}{4}x + \tfrac{1}{4}
3x−4y+1=03x - 4y + 1 = 0
x 轴截距: −13,y 轴截距: 14\text{x 轴截距: } -\tfrac{1}{3},\quad \text{y 轴截距: } \tfrac{1}{4}

过 A(1, 1) 和 B(5, 4) 的直线:斜率 3/4,倾斜角 36.9°,3x − 4y + 1 = 0

认识概念

定义 38.1.1 · 直线的方程

直线的方程是

ax+by+c=0.ax + by + c = 0.

注 38.1.7

注意不要把直线的这个方程和 ax+by=cax + by = c 弄混。在 ax+by=cax + by = c 中,常数在等号的另一边,所以把它移过来时要变号。

定义 38.1.2 · 斜截式

直线方程的斜截式是

y=mx+b,y = mx + b,

其中 mm 是斜率,bb 是 yy 轴上的截距。

定理 38.1.3 · 过两点的直线的斜率

过两点 (x1,y1)(x_1, y_1) 和 (x2,y2)(x_2, y_2) 的直线的斜率是

y2−y1x2−x1.\frac{y_2 - y_1}{x_2 - x_1}.

定理 38.1.4 · 用倾斜角求斜率

与 xx 轴正方向所成的角为 θ\theta 的直线,斜率是

tan⁡θ.\tan\theta.

定理 38.1.5 · 两点间的距离

两点 (x1,y1)(x_1, y_1) 和 (x2,y2)(x_2, y_2) 之间的距离是

(x1−x2)2+(y1−y2)2.\sqrt{(x_1 - x_2)^2 + (y_1 - y_2)^2}.

定理 38.1.6 · 点到直线的距离公式

点 (x0,y0)(x_0, y_0) 到直线 ax+by+c=0ax + by + c = 0 的距离是

∣ax0+by0+c∣a2+b2.\frac{|a x_0 + b y_0 + c|}{\sqrt{a^2 + b^2}}.

注 38.1.9

这个公式有点绕,这里有个记住分子的简单方法:它就是把点的坐标作为 xx 和 yy 的值代入直线方程的左边。

看例题先预测,再揭晓

例 38.3

AMC 10

在长方形 ABCDABCD 中,AB=6AB = 6,BC=3BC = 3。点 EE 在 BB 与 CC 之间,点 FF 在 EE 与 CC 之间,且 BE=EF=FCBE = EF = FC。线段 AE‾\overline{AE} 和 AF‾\overline{AF} 分别与 BD‾\overline{BD} 交于 PP 和 QQ。比 BP:PQ:QDBP : PQ : QD 可以写成 r:s:tr : s : t,其中 rr、ss、tt 的最大公因数是 11。r+s+tr + s + t 等于多少?

坐标平面 (总数在例题最后一步揭晓)

坐标平面上的图形:A, B, C, D, E, F

  1. 1

    把 DD 放在原点:D=(0,0)D = (0, 0),C=(6,0)C = (6, 0),B=(6,3)B = (6, 3),A=(0,3)A = (0, 3)。边 BCBC 被三等分。EE 和 FF 在哪里?

在 YouTube 上打开

自己做

习题 38.5.9(补充题)

AMC 10

直线 12x+5y=6012x + 5y = 60 与两条坐标轴围成一个三角形。这个三角形三条高的长度之和是多少?

竞赛角真实竞赛题

习题 38.5.2

AMC 12

一束激光从点 (3,5)(3, 5) 射出,沿直线传播。Larry 希望光束先射到 yy 轴并反射,再射到 xx 轴并反射,最后射到点 (7,5)(7, 5)。光束沿这条路径一共走了多远?

习题 38.5.3

AMC 10/12

xyxy 平面上的点 P(a,b)P(a, b) 先绕点 (1,5)(1, 5) 逆时针旋转 90∘90^\circ,再关于直线 y=−xy = -x 作对称。经过这两次变换后,PP 的像在 (−6,3)(-6, 3)。b−ab - a 等于多少?

P(3, 1) → P′(5, 7) → P′′(−7, −5)

步变换2
P
1. 绕 (1, 5) 逆时针旋转 90°
2. 关于直线 y = −x 作对称
P(3,1)→P′(5,7)→P′′(−7,−5)P(3, 1) \to P'(5, 7) \to P''(-7, -5)

P(3, 1) → P′(5, 7) → P′′(−7, −5)

习题 38.5.4

AMC 10

从 A(1,2)A(1, 2) 到 B(3,3)B(3, 3) 的线段,可以通过一个以点 P(s,t)P(s, t) 为中心的旋转,变成从 A′(3,1)A'(3, 1) 到 B′(4,3)B'(4, 3) 的线段,并把 AA 变到 A′A',BB 变到 B′B'。∣s−t∣|s - t| 等于多少?

A(1, 2). B(3, 3)

AB

A(1, 2). B(3, 3)

习题 38.5.11(补充题)

AMC 10

方程为 ax−2y=cax - 2y = c 和 2x+by=−c2x + by = -c 的两条直线互相垂直,并交于 (1,−5)(1, -5)。cc 等于多少?

习题 38.5.15(补充题)

AMC 12

斜率为 12\frac{1}{2} 和 22 的两条直线交于 (2,2)(2, 2)。这两条直线与直线 x+y=10x + y = 10 围成的三角形面积是多少?

过关检测(第 38.1 节)

3 题中答对 2 题即可掌握本节。每题只有一次机会,没有提示。
1

过 (2,−1)(2, -1) 和 (6,7)(6, 7) 的直线的斜率是多少?

2

点 (1,2)(1, 2) 到直线 3x+4y=13x + 4y = 1 的距离是多少?

3

三角形 ABCABC 的顶点是 A=(3,0)A = (3, 0),B=(0,3)B = (0, 3) 和 CC,其中 CC 在直线 x+y=7x + y = 7 上。△ABC\triangle ABC 的面积是多少?

38.20%

坐标平面中的圆

在本节中,你将能够 由圆心和半径写出圆的方程,并从方程读出圆心和半径。

圆就是到圆心距离为 r 的所有点。把距离公式平方,就得到它的方程。

点 (x,y)(x, y) 在圆心为 (a,b)(a, b)、半径为 rr 的圆上,恰好当 (x−a)2+(y−b)2=r2(x - a)^2 + (y - b)^2 = r^2。

反过来只需一步:对 xx 和 yy 分别配方。然后圆心和半径就能直接读出来。

相切的圆用坐标来做也最容易。把圆心放在距离简单的位置,再把两个圆的方程相减,平方项就消掉了。

动手探索先玩,再学公式

圆心 (3, 2)、半径 3 的圆:x² + y² + (−6)x + (−4)y + (4) = 0

半径 r3
O(3, 2)
(x−3)2+(y−2)2=9(x - 3)^2 + (y - 2)^2 = 9
x2+y2−6x−4y+4=0x^2 + y^2 - 6x - 4y + 4 = 0

圆心 (3, 2)、半径 3 的圆:x² + y² + (−6)x + (−4)y + (4) = 0

认识概念

定理 38.2.1 · 圆的方程

圆心为 (a,b)(a, b)、半径为 rr 的圆的方程是

(x−a)2+(y−b)2=r2.(x - a)^2 + (y - b)^2 = r^2.

看例题先预测,再揭晓

例 38.2

AMC 10

一个三角形的三边长为 55、1212 和 1313,它有内切圆和外接圆。这两个圆的圆心之间的距离是多少?

坐标平面 (总数在例题最后一步揭晓)

坐标平面上的图形:C, B, A

  1. 1

    52+122=1325^2 + 12^2 = 13^2,所以这是直角三角形。把直角顶点放在原点:C=(0,0)C = (0, 0),B=(12,0)B = (12, 0),A=(0,5)A = (0, 5)。直角三角形的外心 OO 在哪里?

    先预测一下:
    点击一个选项,或输入它的字母(A–E)。
在 YouTube 上打开

例 38.5

PUMaC

设 ABCDABCD 是边长为 88 的正方形。设 MM 是 BCBC 的中点,ω\omega 是过 MM、AA、DD 的圆。设 OO 是 ω\omega 的圆心,XX 是 ω\omega 与 ABAB 的交点(不同于 AA),YY 是 OXOX 与 AMAM 的交点。求 OYOY 的长度。

坐标平面 (总数在例题最后一步揭晓)

坐标平面上的图形:A, B, C, D, M

  1. 1

    设 A=(0,0)A = (0, 0),B=(8,0)B = (8, 0),C=(8,8)C = (8, 8),D=(0,8)D = (0, 8)。那么 M=(8,4)M = (8, 4)。圆心 OO 到 AA 和 DD 的距离相等。它必须在哪条直线上?

在 YouTube 上打开

竞赛角真实竞赛题

习题 38.5.6

AMC 10

由

x2+y2=3∣x−y∣+3∣x+y∣x^2 + y^2 = 3|x - y| + 3|x + y|

的图像围成的区域面积是 m+nπm + n\pi,其中 mm 和 nn 是整数。m+nm + n 等于多少?

习题 38.5.7

AMC 10

一个半径为 rr 的圆被三个圆围着,这三个圆的半径分别是 11、22、33,它们都与里面的圆外切,并且两两外切,如下图所示。rr 等于多少?

习题 38.5.13(补充题)

AMC 10

线段 AB‾\overline{AB} 是一个圆的直径,AB=24AB = 24。点 CC 在圆上,且不同于 AA 和 BB。当点 CC 绕圆移动时,△ABC\triangle ABC 的重心(质心)描出一条缺了两个点的封闭曲线。这条曲线所围区域的面积四舍五入到最接近的正整数是多少?

习题 38.5.14(补充题)

AMC 12

这道题在书中还以 34.5.33 的编号出现。

直角三角形 ABCABC 的边长为 BC=6BC = 6,AC=8AC = 8,AB=10AB = 10。以 OO 为圆心的圆与直线 BCBC 相切于 BB,并且过 AA。以 PP 为圆心的圆与直线 ACAC 相切于 AA,并且过 BB。OPOP 等于多少?

过关检测(第 38.2 节)

3 题中答对 2 题即可掌握本节。每题只有一次机会,没有提示。
1

圆 x2+y2−6x+4y−12=0x^2 + y^2 - 6x + 4y - 12 = 0 的半径是多少?

2

一个圆的圆心是 (2,−3)(2, -3),且经过 (−4,5)(-4, 5)。它的方程是 (x−2)2+(y+3)2=k(x - 2)^2 + (y + 3)^2 = k。kk 等于多少?

3

一个半径为 rr 的圆被三个圆围着,这三个圆的半径分别是 11、22、33,它们都与里面的圆外切,并且两两外切,如下图所示。rr 等于多少?

38.30%

用鞋带公式求面积

在本节中,你将能够 用鞋带公式由顶点坐标求出任意多边形的面积。

列出各个顶点,交叉相乘,差取一半。一张表就求出任意多边形的面积。

鞋带公式只需要顶点的坐标,按绕多边形一圈的顺序排好。顺时针还是逆时针都没关系,因为最后要取绝对值。

注意:坐标轴放在哪里由你决定。把直角放在原点,表里的很多乘积就会变成 00。

动手探索先玩,再学公式

5 个顶点的多边形:右下乘积之和为 89,左下乘积之和为 47;面积 = ½ × |89 − 47| = 21

ABCDE
#xy↘ x·y′↙ x′·y
A1117
B71427
C762124
D43243
E1616
A11Σ 89Σ 47
面积 = ½ × |89 − 47| = 21
有向: 21 (逆时针)

5 个顶点的多边形:右下乘积之和为 89,左下乘积之和为 47;面积 = ½ × |89 − 47| = 21

认识概念

定理 38.3.1 · 坐标形式的鞋带公式

设多边形 PP 的顶点按顺时针顺序依次是 (a1,b1),(a2,b2),…,(an,bn)(a_1, b_1), (a_2, b_2), \ldots, (a_n, b_n)。那么 PP 的面积 AA 是

A=12∣(a1b2+a2b3+⋯+anb1)−(b1a2+b2a3+⋯+bna1)∣.A = \frac{1}{2}\left|(a_1 b_2 + a_2 b_3 + \cdots + a_n b_1) - (b_1 a_2 + b_2 a_3 + \cdots + b_n a_1)\right|.

按逆时针顺序也可以,只要最后取绝对值。

鞋带公式的名字来自这样一幅图:把坐标排成一列,在最下面重复写一遍第一组坐标,再把要相乘的坐标连起来,交叉的连线就像鞋带一样。(这就是定理 30.1.12。)

注 38.3.2 · 理解鞋带公式的直观方法

鞋带公式的步骤:

  1. 把多边形的所有顶点坐标竖着排成一列。
  2. 在这一列的最下面重复写一遍第一组坐标。
  3. 设 AA 为所有向右(右下方向)对角线上两数之积的和。
  4. 设 BB 为所有向左(左下方向)对角线上两数之积的和。
  5. 求出
12∣A−B∣.\frac{1}{2}|A - B|.

看例题先预测,再揭晓

例 38.1

AMC 10

设点 A=(0,0)A = (0, 0),B=(1,2)B = (1, 2),C=(3,3)C = (3, 3),D=(4,0)D = (4, 0)。一条过 AA 的直线把四边形 ABCDABCD 分成面积相等的两块。这条直线与 CD‾\overline{CD} 交于点 (pq,rs)\left(\frac{p}{q}, \frac{r}{s}\right),其中两个分数都是最简分数。p+q+r+sp + q + r + s 等于多少?

鞋带公式实验室 (总数在例题最后一步揭晓)

ABCD
#xy↘ x·y′↙ x′·y
A0000
B1236
C33012
D4000
A00Σ 3Σ 18
面积 = ½ × |3 − 18| = ? (例题最后一步揭晓)
有向: −7.5 (顺时针)

4 个顶点的多边形:右下乘积之和为 3,左下乘积之和为 18;面积 = ½ × |3 − 18| = ?

  1. 1

    先求总面积。对 A,B,C,DA, B, C, D 用鞋带公式。[ABCD][ABCD] 是多少?

    先预测一下:
在 YouTube 上打开

例 38.4

AMC 10

在直角三角形 △ACE\triangle ACE 中,AC=12AC = 12,CE=16CE = 16,EA=20EA = 20。点 BB、DD、FF 分别在 AC‾\overline{AC}、CE‾\overline{CE}、EA‾\overline{EA} 上,且 AB=3AB = 3,CD=4CD = 4,EF=5EF = 5。△DBF\triangle DBF 的面积与 △ACE\triangle ACE 的面积之比是多少?

鞋带公式实验室 (总数在例题最后一步揭晓)

24681012141624681012ACEDBF
#xy↘ x·y′↙ x′·y
D40360
B090108
F123012
D40Σ 36Σ 120
面积 = ½ × |36 − 120| = ? (例题最后一步揭晓)
有向: −42 (顺时针)

3 个顶点的多边形:右下乘积之和为 36,左下乘积之和为 120;面积 = ½ × |36 − 120| = ?

  1. 1

    EA=20EA = 20 是最长边,所以直角在 CC。把 CC 放在原点,AA 放在 yy 轴上,EE 放在 xx 轴上。它们的坐标是什么?

在 YouTube 上打开

竞赛角真实竞赛题

习题 38.5.10(补充题)

AMC 12

三角形 ABCABC 的顶点是 A=(3,0)A = (3, 0),B=(0,3)B = (0, 3) 和 CC,其中 CC 在直线 x+y=7x + y = 7 上。△ABC\triangle ABC 的面积是多少?

习题 38.5.16(补充题)

AMC 12

一个三角形的顶点是 (0,0)(0, 0)、(1,1)(1, 1) 和 (6m,0)(6m, 0),直线 y=mxy = mx 把这个三角形分成面积相等的两个三角形。mm 所有可能取值的和是多少?

习题 38.5.21(补充题)

AIME

考虑顶点为 (10,45)(10, 45)、(10,114)(10, 114)、(28,153)(28, 153) 和 (28,84)(28, 84) 的平行四边形。一条过原点的直线把这个图形分成两个全等的多边形。这条直线的斜率是 m/nm/n,其中 mm 和 nn 是互质的正整数。求 m+nm + n。

4 个顶点的多边形:右下乘积之和为 6282,左下乘积之和为 8766;面积 = ½ × |6282 − 8766| = 1242

102030102030405060708090100110120130140150160PQRS
#xy↘ x·y′↙ x′·y
P10451140450
Q1011415303192
R2815323524284
S28841260840
P1045Σ 6282Σ 8766
面积 = ½ × |6282 − 8766| = 1242
有向: −1242 (顺时针)

4 个顶点的多边形:右下乘积之和为 6282,左下乘积之和为 8766;面积 = ½ × |6282 − 8766| = 1242

习题 38.5.23(补充题)

AIME挑战

三角形 ABCABC 在直角坐标平面上,面积为 7070。BB 和 CC 的坐标分别是 (12,19)(12, 19) 和 (23,20)(23, 20),AA 的坐标是 (p,q)(p, q)。边 BC‾\overline{BC} 上的中线所在直线的斜率是 −5-5。求 p+qp + q 的最大可能值。

过关检测(第 38.3 节)

3 题中答对 2 题即可掌握本节。每题只有一次机会,没有提示。
1

求顶点为 (1,2)(1, 2)、(7,4)(7, 4) 和 (3,9)(3, 9) 的三角形的面积。

2

求依次以 (0,0)(0, 0)、(5,1)(5, 1)、(4,6)(4, 6)、(−1,3)(-1, 3) 为顶点的四边形的面积。

3

你对同一个多边形用两次鞋带公式:一次按逆时针列出顶点,一次按顺时针。在取绝对值之前,12(A−B)\frac12(A - B) 会怎样?

点击一个选项,或输入它的字母(A–E)。
38.40%

皮克定理(选学)

在本节中,你将能够 通过数点求出格点多边形的面积,也能由面积数出点的个数。

在格点上,求面积就是数点:内部的点数,加上边界点数的一半,再减 1。

皮克定理适用于任何顶点都是格点的多边形,不管凸的还是凹的。它也能反过来用:知道面积(由鞋带公式求出)和边界上的点数,就知道内部有多少个格点。

数边界上的点很快:从 (x1,y1)(x_1, y_1) 到 (x2,y2)(x_2, y_2) 的边有 gcd⁡(∣x2−x1∣,∣y2−y1∣)\gcd(|x_2 - x_1|, |y_2 - y_1|) 个格点步长。

动手探索先玩,再学公式

5 个顶点的多边形:右下乘积之和为 84,左下乘积之和为 39;面积 = ½ × |84 − 39| = 22.5. 皮克定理:内部格点 i = 18,边界格点 b = 11,i + b/2 − 1 = 22.5

ABCDE
i = 18 内部, b = 11 边界: 18 + 5.5 − 1 = 22.5
有向: 22.5 (逆时针) · 鞋带公式: 22.5

5 个顶点的多边形:右下乘积之和为 84,左下乘积之和为 39;面积 = ½ × |84 − 39| = 22.5. 皮克定理:内部格点 i = 18,边界格点 b = 11,i + b/2 − 1 = 22.5

认识概念

定理 38.4.1 · 皮克定理

如果一个多边形的顶点坐标都是整数(即顶点都是格点),那么这个多边形的面积是

i+b2−1,i + \frac{b}{2} - 1,

其中 ii 是多边形内部的格点个数,bb 是多边形边界上的格点个数。(这就是定理 30.1.14。)

竞赛角真实竞赛题

习题 38.5.19(补充题)

AIME

求 ∣x−60∣+∣y∣=∣x4∣|x - 60| + |y| = \left|\frac{x}{4}\right| 的图像所围区域的面积。

习题 38.5.20(补充题)

AIME

求满足 x≤2y≤60x \le 2y \le 60 且 y≤2x≤60y \le 2x \le 60 的正整数有序数对 (x,y)(x, y) 的个数。

过关检测(第 38.4 节)

3 题中答对 2 题即可掌握本节。每题只有一次机会,没有提示。
1

一个格点多边形内部有 1010 个格点,边界上有 88 个格点。它的面积是多少?

2

严格在顶点为 (0,0)(0, 0)、(4,0)(4, 0)、(0,4)(0, 4) 的三角形内部的格点有多少个?

3

一个格点多边形的面积是 2020,边界上有 1414 个格点。它内部有多少个格点?

38.5

练习题

在本节中,你将能够 在竞赛题中综合运用本章的所有坐标工具。

习题集的其余部分,从一道立体的热身题到两道 AIME 题。先问自己:坐标轴该放在哪里?

想在一页上看到本章的全部习题?打开习题集。

竞赛角真实竞赛题

习题 38.5.1

AMC 10

一个四边形的内部由 (x+ay)2=4a2(x + ay)^2 = 4a^2 和 (ax−y)2=a2(ax - y)^2 = a^2 的图像围成,其中 aa 是正实数。用 aa 表示这个区域的面积(对所有 a>0a > 0 都成立),结果是什么?

习题 38.5.5

AMC 10

xyxy 平面上所有形如 (2u−3w,v+4w)(2u - 3w, v + 4w) 的点组成一个区域,其中 0≤u≤10 \le u \le 1,0≤v≤10 \le v \le 1,0≤w≤10 \le w \le 1。这个区域的边界长度是多少?

习题 38.5.8

AIME挑战

设 ABCDABCD 是菱形,它的顶点都在双曲线 x220−y224=1\frac{x^2}{20} - \frac{y^2}{24} = 1 上,并按这个顺序排列。如果它的对角线交于原点,求对所有这样的菱形 ABCDABCD 都小于 BD2BD^2 的最大的数。

习题 38.5.12(补充题)

AMC 12

点 P=(1,2,3)P = (1, 2, 3) 先关于 xyxy 平面作对称,得到像 QQ;再把它绕 xx 轴旋转 180∘180^\circ 得到 RR;最后把 RR 沿 yy 轴正方向平移 55 个单位得到 SS。SS 的坐标是什么?

习题 38.5.17(补充题)

AMC 12

设 AA、BB、CC 是 y=x2y = x^2 的图像上三个不同的点,直线 ABAB 平行于 xx 轴,且 △ABC\triangle ABC 是面积为 20082008 的直角三角形。CC 的 yy 坐标的各位数字之和是多少?

习题 38.5.18(补充题)

AMC 10

在长方形 ABCDABCD 中,A=(6,−22)A = (6, -22),B=(2006,178)B = (2006, 178),D=(8,y)D = (8, y),其中 yy 是某个整数。长方形 ABCDABCD 的面积是多少?

习题 38.5.22(补充题)

AIME

设 LL 是斜率为 512\frac{5}{12} 且经过点 A=(24,−1)A = (24, -1) 的直线,MM 是与直线 LL 垂直且经过点 B=(5,6)B = (5, 6) 的直线。擦掉原来的坐标轴,把直线 LL 作为 xx 轴,直线 MM 作为 yy 轴。在新坐标系中,点 AA 在 xx 轴的正半轴上,点 BB 在 yy 轴的正半轴上。在原坐标系中坐标为 (−14,27)(-14, 27) 的点 PP,在新坐标系中的坐标是 (α,β)(\alpha, \beta)。求 α+β\alpha + \beta。

习题 38.5.24(补充题)

AMC 10

这道题在书中还以 32.2.30 的编号出现。

在长方形 ABCDABCD 中,AB=8AB = 8,BC=9BC = 9,HH 在 BC‾\overline{BC} 上且 BH=6BH = 6,EE 在 ADAD 上且 DE=4DE = 4,直线 ECEC 与直线 AHAH 交于 GG,FF 在直线 ADAD 上且 GF‾⊥AF‾\overline{GF} \perp \overline{AF}。求 GFGF 的长度。