質問＜３８０８＞２０１１／１／２１
from=kjh
「数学A集合と論理」

下の証明は正しいのでしょうか。
問題　a,bが有理数で√3が無理数であるとき、
      a + b*√3 = 0  ならば a=b=0
解答　a≠0またはb≠0と仮定
　　　a≠0のとき
　　　0=-√3
      0は有理数で√3は無理数だから矛盾する
　　　b≠0のとき
　　　a/b=-√3
      a,bは有理数で√3は無理数だから矛盾する
　　　以上のことから、
　　　a,bが有理数で√3が無理数であるとき、
      a + b*√3 = 0  ならば a=b=0

★希望★完全解答★

お返事２０１０／／
from=武田