用数轴证明:在数轴上取线段OB到原点距离为1的单位,用圆规做线段OA垂直于原点,且OB=OA,连接这两条线段的端点AB,由勾股定理得:线段AB=根号(AO^+BO^)=根号(1^+1^)=根号2A│————│————→OB
