某涵洞是抛物线形，它的截面如图所示、现测得水面宽AB=8米，涵洞顶点O到水面的距离为12米、在图中的平面直角坐标系内，涵洞所在抛物线的函数解析式是________（不需要写出定义域）．
网友回答
y=-x2
解析分析：抛物线的顶点在原点，对称轴为y轴，解析式符合最简形式y=ax2，把点A或点B的坐标代入即可确定抛物线解析式．
解答：依题意设抛物线解析式y=ax2，
把B（4，-12）代入解析式得：
-12=a×42，
解得a=-，
所以，y=-x2．
点评：根据抛物线在坐标系的位置，合理地设抛物线解析式，是解答本题的关键．