romiqi

证明由我和konjak_ldx共同完成（其实绝大部分是ldx证的） 一.定义 这些定义并不是很严谨 定义一个任意的常数k，设两个点(x1,y1)(x_1,y_1)(x1​,y1​)，(x2,y2)(x_2,y_2)(x2​,y2​)，若满足过两点的直线经过原点且x12+y12∗x22+y22=k\sqrt{{x_1}^2+{y_1}^2}*\sqrt{{x_2}^2+{y_2}^2}=kx1​2+...