在直三棱柱ABC-A'B'C'中,AC=4,BC=AA'=2,∠ACB=60度,E、F分别是A1C1,BC的中点.证明