正八边行对角线为80,求他的面积,怎么算.