1、新建参数t1=1,单位为距离,对参数执行标记距离命令;作长度为1cm的线段AB、AC。
2、对AB2+AC2的和进行开平方计算,得到的值就是线段BC的长度;通过度量三边的距离也可以验证。
3、斜边BC就代表了√2,该线段上的任意点都是无理数点。