证明k1*k2=y1*y2 x1*x2