如图,已知平面直角坐标系xOy中,点、、、 .
定义:能完全覆盖某平面图形的最小圆称为该平面图形的最小覆盖圆.
探索发现:用大小不同的圆形纸片去覆盖一张三角形纸片,经过多次操作发现:
①锐角三角形(和直角三角形)的最小覆盖圆是其外接圆,
②钝角三角形的最小覆盖圆是以其最长边为直径的圆.
如图1,以斜边AB为直径作圆,刚好是可以把Rt△ABC覆盖的面积最小的圆,称之为该直角三角形的最小覆盖圆.
下面是小明的部分证明过程:
证明:延长PA至点 , 使 , 连接BE.
四边形ABCP是的内接四边形,
是等边三角形,
.
请你补全余下的证明过程.