尺规作图:作Rt△ABC,使其斜边AB=c,一条直角边BC=a.已知:如图1,正比例函数和反比例函数的
图象分别交于M、N两点.
要求:在y轴上求作点P,使得∠MPN为直角.
小丽的作法如下:如图2,以点O为圆心,以OM长为半径作⊙O,
⊙O与y轴交于P1、P2两点,则点P1、P2即为所求.
老师说:“小丽的作法正确.”
请回答:小丽这样作图的依据是