论证几何问题的一种模式.引入坐标系,把几何命题的假设和结论转化为代数等式或不等式,从而把几何命题化为代数命题.用这种方法判定几何命题真伪,判定过程也就是代数演算的过程,即符号计算的过程.解析几何方法使命题的判定变得较为有章可循,但仍不能达到初等几何命题判定的机械化.