《九章算術》提出了長方形、三角形、梯形等多邊形的面積公式。劉徽對長方形的面積公式沒有證明,只給出了面積的定義:「凡廣從相乘謂之冪。」顯然,冪是面積,與今天指乘方是不同的。對其他多邊形的面積公式,都是用出入相補原理證明的。如三角形,《九章算術》的公式是:「半廣以乘正從。」廣即其底,正從即其高。劉徽《九章算術注》記載的方法是:如圖 2,將三角形的Ⅰ、Ⅱ移至Ⅱ′、Ⅱ′處,便構成一個長方形,其底為三角形的底的一半,高為三角形的高,三角形的面積與其相等,完成了證明。
已知三角形的三邊為:小斜 a,大斜 b,中斜 c,秦九韶在《數書九章》提出了三斜求積術:「以小斜冪並大斜冪,減中斜冪,餘半之,自乘於上。以小斜冪乘大斜冪,減上,餘,四約之,為實。一為從隅,開平方得積。」
此即:
將根號下的多項式分解因式,便成為
可見,三斜求積術與古希臘海倫公式是等價的。