啊不就算出正八邊形的邊長，差不多是其外接圓直徑的3.06倍，故得證正八邊形外接圓周長大於直徑的3.06倍...