附录1 归谬法和2的平方根