商功15 · 陽馬，廣五尺，袤七尺，高八尺

按此術，陽馬之形，方錐一隅也。今謂四柱屋隅爲陽馬。假令廣袤各一尺，高一尺，相乘之，得立方積一尺。邪解立方，得兩壍堵。邪解壍堵，其一爲陽馬，一爲鼈臑。陽馬居二，鼈臑居一，不易之率也。合兩鼈臑，成一陽馬，合三陽馬而成一立方，故三而一。驗之以棊，其形露矣。悉割陽馬，凡爲六鼈臑。觀其割分，則體勢互通，蓋易了也。其棊或脩短，或廣狹，立方不等者，亦割分以爲六鼈臑，其形不悉相似，然見數同，積實均也。鼈臑殊形，然陽馬異體，則不純合，不純合，則難爲之矣。何則？按邪解方棊以爲壍堵者，必當以半爲分；邪解壍堵以爲陽馬者，亦必當以半爲分，一從一横耳。設陽馬爲分内，鼈臑爲分外，棊雖或隨脩短廣狹，猶有此分常率。如殊形異體亦同也者，以此而已。其使鼈臑廣袤各高二尺，用壍堵、鼈臑之棊各二，皆用赤棊。又使陽馬之廣袤高各二尺，用立方之棊一，壍堵、陽馬之棊各二，皆用黑棊。棊之赤黑，接爲壍堵，廣袤高各二尺。於是中效其廣，又中分其高，令赤黑、壍堵各自適當一方，高二尺，方二尺，每二分鼈臑，則一陽馬也。其餘兩端，各積本體，合成一方焉。是爲别種而方者率居三，通其體而方者，率居一。雖方隨棊改，而固有常然之勢也。按餘數具而可知者，有一二分之别，卽一二之爲率定矣。其於理也豈虛矣？若爲數而窮之，置餘廣袤高之數各半之，則四分之三又可知也。半之彌少，其餘彌細。至細曰微，微則無形。由是言之，安取餘哉？數而求窮之者，謂以情推，不用籌算。鼈臑之物，不同器用。陽馬之形，或隨脩短廣狹。然不有鼈臑，無以審陽馬之數；不有陽馬，無以知錐亭之數，功實之主也。