(1)证明;：过点E作EG平行CF交AB于G
所以角AGE=角ABC
角PEG=角F
角PGE=角PBF
因为PE=PF
所以三角形PGE和三角形PBF全等（AAS)
所以GE=BF
PG=PB=1/2BG
因为AC=BC
所以角EAG=角ABC
所以角EAG=角AGE
所以AE=GE
所以AE=BF
因为EG平行CF
所以CE/AE=BG/AG
因为角C=90度
AC=BC=2
所以三角形ABC是等腰直角三角形
所以由勾股定理得：
AB^2=AC^2+BC^2
所以AB=2倍根号2
因为AE=x PB=y
CE=AC-AE=2-x
PB=1/2BG
AG=AB-BG=2倍根号2-2y
所以Y=-根号2x/2+根号2
x的定义域是：0