如图,四边形ABCD中,AD=DC,∠ADC=∠ABC=90°,DE⊥AB,若四边形ABCD面积为16,则DE的长为( )
①OA=OD;
②AD⊥EF;
③AE+DF=AF+DE;
④当∠BAC=90°时,四边形AEDF是正方形.
其中一定正确的是( )
如图,分别以△ABC的两边AB和AC为边向外作正方形ANMB和正方形ACDE,NC、BE交于点P.