>>126
1つ目:△ABE≡△BCFを言えばよい
2つ目:EF=BE−BF=BE−AE、CF=BE