①圆内接四边形的对角互补;
②相等的圆周角所对的弧相等;
③正多边形内切圆的半径与正多边形的半径相等;
④同圆中的平行弦所夹的弧相等.
如图,在正方形ABCD中,AB=4,E,F分别是边BC,CD边上的动点,且AE=AF,设△AEF的面积为y,EC的长为x.