>>99
代入して√3=有理数の形に変形すればいいんじゃない?