化简求值：
，其中x是不等式
的最大整数解．
如图，已知点E、C在线段BF上，BE=CF，AB∥DE，AB=DE．
求证：AC∥DF．
计算：
在平面直角坐标系中横、纵坐标均是整数的点称为整点，例如点（－1，4）是一个整点．直线y=－x+4与两坐标轴围成△AOB，点P是△AOB的边及其内部的整点，则点P落在以O为圆心，3为半径的圆内的概率为 .
如图，⊙O的直径AB与弦AC的夹角∠A=30°，过点C作⊙O的切线交AB的延长线于点P，PC=
，则图中阴影部分的面积为 （结果保留π）.
