如图,已知E为正方形ABCD中,E为AD上一点,BF平分∠EBC交DC于F,求证