2019-04-29 2019年(平成31年)京都大学-数学(理系)[1]問1 2025.04.20記 [1] 問1 とする. は有理数ではないが, と がともに有理数となるような の値を求めよ.ただし, が素数のとき, が有理数でないことは証明なしに用いてよい.2025.04.29記 の値を求めるのだから有名角になると考えると が題意を満たすことがわかる. [解答] とおくと , が成立する. が有理数であることから は有理数であり,よって は有理数である. が無理数で が有理数となるので となり, は有理数であるから , は有理数である.ここで は鋭角であるから となる.ここで は素数であるから は無理数となり,よって は無理数となる.よって となる.