九章算術卷第五 〈算經十書之二〉
魏 劉 徽 注
唐朝議大夫行太史令上輕車都尉臣李淳風等奉勅注釋
商功〈以御功程積實〉
今有穿地積一萬尺問爲堅壤各幾何
荅曰
爲堅七千五百尺
爲壤一萬二千五百尺
術曰穿地四爲壤五〈壤謂息土〉爲堅三〈堅爲築土〉爲