怎么证明两个正比例函数图像相交