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