如何推导半圆周长与直径的关系式