根据已知可得,x不等于0
x - 1/x = (x^2 - 1) / x
因为x^2 - 根号2x - 1= 0,所以,x^2 = 根号2x + 1,代入上式
x - 1/x = (根号2x + 1 - 1) / x = 根号2
所以是真命题.