>>7についてですが、
αがp+q*√3(p,qは有理数)の形で表せると仮定して矛盾を導くんですよね？
その導く過程が分かりません。
どなたか教えてください。