若方程
是二元一次方程，则
。
当
时，代数式
比代数式3大1。
由
得到用
表示
的式子为
。
不等式4-x＞0的最大整数解是 。
方程2x－4＝0的解是_______；若x＝1是方程5x－a＝8的解，则a＝______.
阅读下面材料，并解决问题：
（1）如下图1，等边△ABC内有一点P若点P到顶点A，B，C的距离分别为3，4，5则∠APB＝______，由于PA，PB不在一个三角形中，为了解决本题我们可以将△ABP绕顶点A旋转到△ACP′处，此时△ACP′≌_______这样，就可以利用全等三角形知识，将三条线段的长度转化到一个三角形中从而求出∠APB的度数.
（2）请你利用第（1）题的解答思想方法，解答下面问题：已知：如图2，△ABC中，∠CAB＝90°，AB＝AC，E、F为BC上的点且∠EAF＝45°，求证：EF2＝BE2+FC2.
