阅读材料：
如图1，过△ABC的三个顶点分别作出与水平线垂直的三条直线，外侧两条直线之间的距离叫△ABC的“水平宽”（a），中间的这条直线在△ABC内部线段的长度叫△ABC的“铅垂高”（h）．我们可得出一种计算三角形面积的新方法：S△ABC=ah，即三角形面积等于水平宽与铅垂高乘积的一半．

解答下列问题：
如图2，抛物线顶点坐标为点C（1，4），交x轴于点A（3，0），点P是抛物线（在第一象限内）上的一个动点．
（1）求抛物线的解析式；
（2）若点B为抛物线与y轴的交点，求直线AB的解析式；
（3）设点P是抛物线（第一象限内）上的一个动点，是否存在一点P，使S_△PAB=S_△CAB？若存在，求出点P的坐标；若不存在，请说明理由．

阅读与证明：
如图，已知正方形ABCD中，E、F分别是CD、BC上的点，且∠EAF=45°，

求证：BF+DE=EF．
分析：证明一条线段等于另两条线段的和，常用“截长法”或“补短法”，将线段BF、DE放在同一直线上，构造出一条与BF+DE相等的线段．如图1延长ED至点F′，使DF′=BF，连接A F′，易证△ABF≌△ADF′，进一步证明△AEF≌△AEF′，即可得结论．
（1）请你将下面的证明过程补充完整．
证明：延长ED至F′，使DF′=BF，
∵四边形ABCD是正方形
∴AB=AD，∠ABF=∠ADF′=90°，
∴△ABF≌△ADF’（SAS）
应用与拓展：如图建立平面直角坐标系，使顶点A与坐标原点O重合，边OB、OD分别在x轴、y轴的正半轴上．
（2）设正方形边长OB为30，当E为CD中点时，试问F为BC的几等分点？并求此时F点的坐标；
（3）设正方形边长OB为30，当EF最短时，直接写出直线EF的解析式：______