跳到主要内容

§3.7.8 情形五:完全四边形——解析的最终解决

3.7.8.A​

设圆 ABCD 为单位圆,A/B/C/D 坐标 (Xi,Yi)(X_i, Y_i),i=1,2,3,4i=1,2,3,4。

3.7.8.B​

G(0,a)G(0, a)。

3.7.8.C​

公式卡片 EF:y=a−1EF: y = a^{-1}

因为 OG⊥EF=G1OG \perp EF = G_1,且 G1G_1 是 GG 关于圆 OO 反演的像。

3.7.8.D​

公式卡片 E(−e,a−1),F(f,a−1),ef=a−1(a−1−a)=g1(a)E(-e, a^{-1}),\quad F(f, a^{-1}),\quad ef = a^{-1}(a^{-1} - a) = g_1(a)

3.7.8.E​

设 AC/BD:y=kix+aAC/BD: y = k_i x + a,与单位圆联立:

公式卡片 M/N ⁣[−aki1+ki2, a1+ki2]M/N\!\left[-\frac{ak_i}{1+k_i^2},\ \frac{a}{1+k_i^2}\right] EFEF 中点 L ⁣[f−e2, a−1]L\!\left[\frac{f-e}{2},\ a^{-1}\right]

由牛顿线 LMNLMN 共线,行列式得到 f−e=g2(k1,k2)f - e = g_2(k_1, k_2)。

3.7.8.F​

e/fe/f 被 g1/g2g_1/g_2 约束,进而被 a/k1/k2a/k_1/k_2 决定。代表例题:23 北秋 P3。

3.7.8.G​

过 EE 点的直线 AB/CDAB/CD 与单位圆联立,由 Σxi\Sigma x_i 和 Πxi\Pi x_i 约束 k3/k4k_3/k_4。

3.7.8.H​

BC/ADBC/AD 过 FF 点,类似得到 k5/k6k_5/k_6 的约束。

使用关键:自由度要给两条对角线的斜率,不要给其他的线。