（本文选自河南科技馆，已授权转载）

高考已落下帷幕，我们知道，语文试卷想拿满分几乎不可能，而数学科目中一分不失的学霸们总是有那么几个。可是2015年湖北数学高考试卷（文科）中出现了这样两个古汉语词汇——“鳖臑（biē nào）”和“阳马”，这可难住了数量相当的文科生们。以至于很多考生发出了“老师别闹”的感叹。

鳖臑是啥？
“鳖臑”和“阳马”都是我国古代数学家创造的立体几何名称，出自《九章算术·商功》。该文中这么写道，“斜解立方，得两壍堵。斜解壍堵，其一为阳马，一为鳖臑。阳马居二，鳖臑居一，不易之率也。合两鳖臑三而一，验之以棊，其形露矣。”

其实，什么是鳖臑?其实就是四个面均为直角三角形的三棱锥,两个鳖臑拼在一起就是阳马，而阳马也是中国古代建筑上的一种构建——角梁。

神秘的九章算术

成书于公元一世纪的《九章算术》是我国古代第一部数学专著，是《算经十书》中最重要的一种。该书内容十分丰富，系统总结了战国、秦、汉时期的数学成就。同时《九章算术》在数学上还有其独到的成就，不仅最早提到分数问题，也首先记录了盈不足等问题，《方程》章还在世界数学史上首次阐述了负数及其加减运算法则。《九章算术》的出现标志中国古代数学形成了完整的体系。

和司马懿同时代的数学天才

《九章算术》的其作者已不可考，但现今流传的大多是在三国时期魏元帝景元四年（263年），山东邹平人刘徽为《九章》所作的注本。“阳马居二，鳖臑居一，不易之率也”，今称为刘徽原理。

刘徽关于体积问题的论述已经接触到现代体积理论的核心问题，指出四面体体积的解决是多面体体积理论的关键。三国时期两大谋臣诸葛亮和司马懿，而刘徽与后者还在同一个时代生活过呢。