代数证明 证xy+x+y=30没有正整数解