已知一个半圆的周长是51.4