>289
(4)で(a3)^(1/2)=2だったときにy=4で有理数だったとするとこのyに対応する
(3)の解のyはy=2*(a3)^(1/2)でa=1としたものだから
y=2*√3であり無理数

すみません。よくわかりません。