为什么正比例函数是一条过原点的直线?怎么证明?