Skip to content

自极三角形

2023-03-07

看上去十分简单。

WARNING

需要 极点极线方程 的相关知识。

定义

圆锥曲线任意内接四边形 ABCD,其边交点 M,N 和对角线交点 P 构成自极三角形。

  • MNP 的极线;
  • MPN 的极线;
  • NPM 的极线。

width=280px

证明

引理

Ceva 定理

width=280px

ΔABC 中,AD,BE,CF 共点 O

BDDCCEEAAFFB=1
BDDC=SΔAOBSΔAOC,CECA=SΔBOCSΔAOB,AFFB=SΔAOCSΔBOC

代入即得

BDDCCEEAAFFB=1

Ceva 定理还有角元形式

sinBADsinCADsinCBEsinABEsinACFsinBCF=1

证明过程与边元形式大致相同。

证明过程都是充要的,故 Ceva 定理可逆用。

Pascal 定理

二次曲线任意内接六边形的所有对边交点共线。

width=240px

P,Q,R 共线。

由射影几何知识得,只需要讨论圆,其余二次曲线可由圆推广。

width=240px

P,Q,R 共线 PQ,BC,EF 共点。

ΔADQ 中,由 Ceva 定理

sin1sin2sin3sin4sin5sin6=1

由圆周角定理得

n=n(n=1,2,3,4,5,6)

故在 ΔCFQ 中有

sin1sin2sin3sin4sin5sin6=1

Ceva 定理 逆定理得 PQ,BC,EF 共点。即证。

证明

移动 Pascal 定理 中六个顶点的位置。P,Q,R 始终共线。

width=240px

B,C 重合,E,F 重合时,直线 BR,ER 为椭圆的切线,R 为切线交点。

同理,再将 B,AE,D 移动至重合。

width=160px, display=inlinewidth=160px, display=inline

结合前两图得:椭圆任意内接四边形(如下图)有 M,I,P,J 共线。

width=280px

其中 IAB 极点,JCD 极点。由 极点极线方程 知识得

AB:xIxa2+yIyb2=1CD:xJxa2+yJyb2=1

AB,CD 交于 N,将 N 点坐标代入得

{xIxNa2+yIyNb2=1xJxNa2+yJyNb2=1

I,J 为方程 xNxa2+yNyb2=1 的两解,即 N 的极线过 I,J。故 MPN 的极线。

同理得 MNP 的极线,NPM 的极线。

width=280px

证毕。

例 1

width=280px

P(p,0) 为定点,E 的运动轨迹为 P 的极线。

pxa2+0b2=1x=a2p

例 2

width=280px

P(m,n) 为定点,E 的运动轨迹为 P 的极线。

mxa2+nyb2=1

例 3

width=280px

Q 的运动轨迹为 P 的极线。

P(0,p),则 Q 的轨迹方程为

0a2+pyb2=1y=b2p

OPOQ=(0,p)(xQ,b2p)=b2