12 专题 a+b=根号2或根号3问题的证明