立方､堑堵､阳马和鳖臑等这些名词都出自中国古代数学名著《九章算术·商功》，在《九章算术·商功》中有这样的记载：“斜解立方，得两堑堵.斜解堑堵，其一为阳马，一为鳖臑”.意思是说：把一块长方体沿斜线分成相同的两块，这两块叫“堑堵”，如图1.再把一块“堑堵”沿斜线分成两块，其中以矩形为底，另有一棱与底面垂直的四棱锥，称为“阳马”，余下的三棱锥是由四个直角三角形组成的四面体，称为“鳖臑”，如图2.
现有一四面体 
，已知 
，根据上述史料中“鳖臑”的由来，可得这个四面体的体积为；该四面体的外接球的表面积为.
