展开 一个半圆的周长是25.7厘米,这个半圆的直径是多少厘米