如图，分别以Rt△ABC的直角边AC及斜边AB向外作等边△ACD、等边△ABE.已知∠BAC＝30°，EF⊥AB，垂足为F，连结DF.
(1)试证明AC＝EF.
(2)求证：四边形ADFE是平行四边形．
解不等式组： 
tan30°+（
+4）0-|-
|
定义：在平面内，我们把既有大小又有方向的量叫做平面向量。平面向量可以用有向线段表示，有向线段的长度表示向量的大小，有向线段的方向表示向量的方向其中大小相等，方向相同的向量叫做相等向量。
如以正方形ABCD的四个顶点中某一点为起点，另一个顶点为终点作向量，可以作出8个不同的向量： 
、
、
、
、
、
、
、
（由于
和
是相等向量，因此只算一个）。如图作两个相邻的正方形。以其中的一个顶点为起点，另一个顶点为终点作向量，可以作出不同向量的个数记为f（2），则f（2）的值为__________。
如图，在圆⊙O内有折线OABC，其中OA=8，AB=12，∠A=∠B=60°，则BC的长为__________。
已知a是关于x的方程x2-4=0的解，代数式（a+1）2+a（a-1）-a的值__________。
