質問: x,y,x ́,y ́を有理数とするときx+√3y=x ́+√3y ́ならば、x=x ́かつy=y ́であることを説明せよ
回答: x+√3y=x'+√3y' より x-x'=√3(y'-y) となる y'≠y と仮定すると √3=(x-x')/(y'-y) となる これは矛盾なので y'=y したがって x=x'