已知正七边形的外接圆半径是4,怎样求它的面积?公式呢?