系統面積方法(systematic area method)利用面積關係解決幾何問題的一套具有通用性的方法.其主要工具是兩個命題:1.共邊定理:若兩直線AB , PQ交於M，則pPAB與△QAB的面積比等於兩線段PM與QM的比.2.共角定理:若匕ABC和匕XYZ相等或互補，則△ABC與△XYZ的面積比等於線段乘積AB XBC與XY X YZ的比.這套方法，特別是共邊定理的運用，為機器產生可讀證明的第一個有效的算法提供了幾何處理手段.
