正方形裁最大正六边形

其最大性感觉是对的，严格证明待补。