因为 在正方形ABCD中三角形ABC,DEF,FBC都为直角三角形
所以 BE的平方=AE的平方+BA的平方=20
EF的平方=FC的平方+BC的平方=5
BF的平方=FC的平方+BC的平方=25
所以 BE的平方+EF的平方=BF的平方
即 三角形BCF为直角三角形