テキトーに線分ひいたらだいたい無理数の長さだよ