在rt三角形abc中,∠C等于90° 求证:EF²=AE²+BF²