已知三角形ABC中,角C=90度,D为AB的中点,E、F分别在AC、BC上。且DE垂直于DF。求证:AE平方+BF平方=EF平方。