如图,已知边长为4的正方形ABCD,E是BC边上一动点(与B、C不重合),连结AE,作EF⊥AE交∠BCD的外角平分线于F.设,记,则函数的值域是 ;当面积最大时, .
若的最大值为.
的解集为.
在△ABC中,“”是“”的条件.(填“充分”、“必要”、“充分不必要”、“必要不充分”、“充要”、“既不充分也不必要”)
命题“”的否定形式是.