求一个半圆的周长就是求圆周长的一半吗?