旁要是先秦“九数”之一,西汉张苍、耿寿昌补充了解勾股形等内容后改称勾股,成为《九章》勾股章。根据贾宪、杨辉的提示,上述勾股容方、容圆及八个测望问题是旁要的内容。现在介绍这类测望问题。有一正方形城邑,不知大小,城门都在城墙正中。出北门20步有一株树。出南门14步拐向正西1775步,恰能看到此树。问城邑每边长多少?设城邑边长x,出北门a1,出南门k,折西b,如图21(1),考虑两个相似勾股形,小勾股形股,大勾股形勾。由于,或,故。这是刘徽推导此公式的第一种方法。第二种方法是:如图21(2),宽为DF=x,长为BC=x+a1+k的长方形DEGF,其面积x(x+a1+k),再考虑宽BC=x+a1+k,长为AC=b的长方形BCAI,它被对角线平分,由于勾股形AA1J与AA1G相等,故BC1JI与BCGF面积相等。DEGF的面积是BCGF的两倍,即BC1JI的两倍,BC1JI的面积为a1b,故x(x+a1+k)=2a1b。
图21 出邑南北门
第二种方法的关键是长方形BC1JI与BCGF面积相等,它们有公共部分BC1A1F,则长方形FA1JI与C1CGA1面积相等。这是一个重要原理,后来贾宪、杨辉将其概括为:将一长方形斜解为二勾股形,两勾股形所容的以公共弦上任一点为公共点的两长方形的面积相等,见图22。这一原理在测望问题的出入相补中作用特别大。《九章》立四表望远、因木望山及测井径问题,都可以这样解决。如因木望山问是:有一树高9丈5尺,距山53里,人目高7尺。距树3里处望山,人目、树顶、山顶成一直线。问山高多少?如图23。由上述原理,阴影部分相等,故ab1=a1b,故。
图22 容横容直原理
图23 因木望山
(穷奇网 www.71101.net)