一涵洞的横截面是半径为5m的半圆,则该半圆的方程是