已知一个半圆的周长是25.7厘米