The equivalent is, √ 2 = can p and Q in P / Q be coprime? The author's answer is: you can't ask such a question. The reason is that, first of all, such a question is not the question under discussion at all, so it is unnecessary; Besides, since the arguer does not know whether √ 2 is a rational number, how can we ensure that this question will not be a complex question?