表示x和y成正比例关系的式子是什么?