超级画板动态几何的启发——数形结合新发现

如图1，在平面直角坐标系中，点A、B的坐标分别是（0，5）和（8，0）。连结AB，得Rt△OAB。在OB上取一点P（动点），四边形OPMN是Rt△OAB的内接矩形，求矩形面积y与OP长度x之间的函数关系式；并求矩形面积的最大值。