摘要：消元法是数学推理中的一种典型思想，通过消去已知约束关系中的次要因素来获得剩余的主要因素之间的关系。在几何推理中，吴文俊消元法占有重要地位。
本报告从机器人机构分析入手，介绍吴文俊消元法在几何推理中的主要思路和技术，以及后续发展出的若干技巧和改进手段。