0001風吹けば名無し垢版 | 大砲2023/01/30(月) 15:44:28.76ID:kmoqROF10 無理数=実数かつp/qで表せない(p,q∈ℤ)なんやから背理法使うならp/qで仮定して矛盾示すだけじゃなくて実数であることを示さなあかんやろがい