已知 A,B,C,D 是双曲线 xy=k 上的四个点,AD 交 BC 于点 P,BD 交 AC 于点 Q,CD 交 AB 于点 R,O 为坐标原点,求证:O,P,Q,R 四点共圆.
解析
不妨设 k=1,A(a,1a),B(b,1b),C(c,1c),D(d,1d),则 {AB:x+aby−a−b=0,CD:x+cdy−c−d=0,
因此 R(acd+bcd−abc−abdab−cd,a+b−c−dab−cd).类似的,有Q(abc+acd−abd−bcdac−bd,a+c−b−dac−bd),
设 △OQR 的外接圆圆心为 M(m,n),R(x1,y1),Q(x2,y2),则 M 为 OR,OQ 的垂直平分线的交点,有x1(2m−x1)+y1(2n−y1)=x2(2m−x2)+y2(2n−y2)=0,
将 R,Q 的坐标代入,整理,可得m=−14abc(1+∑cyca2b2−2abc∑cyca+∑cyc(a−b)(a−c)(b2c2+1)ad−bc),
且n=14(∑cyc1a−∑cyc(ab2+a2b)−∑cyca2b2c+2abc+∑cyc(a−b)(a−c)(b2c2+1)a(ad−bc)),
因此 M 点的坐标关于 a,b,c 轮换对称,因此 M 为 OP,OQ,OR 的垂直平分线的交点,从而 O,P,Q,R 四点共圆.