西安电子科技大学S2.5.4全称推广规则软件学院【例题】证明线段中垂线上所有的点到线段两端点距离相等，证明：从线段AB的中垂线上任意选取一点X。连接点x到线段两个端点，则XA/和XB即为X到两端点的距离。由于线段的中垂线过线段的中点O，并且与线段垂直，则有OA/-OBI。图2.5-1根据勾股定理知：[XA=V/OA +IOX P=V/OB2 +[OX 2 =XB西安电子科技大学 §2.5.4 全称推广规则 软件学院