《九章算术》中，将底面为长方形且有一条侧棱与底面垂直的四棱锥称之为阳马，将四个面都为直角三角形的四面体称之为鳖臑．如图，在阳马P﹣ABCD中，侧棱PD⊥底面ABCD，且PD=CD，过棱PC的中点E，作EF⊥PB交PB于点F，连接DE，DF，BD，BE．