如图,在正方形ABCD中,已知点F为CD上一点