2の12乗根(2の12じょうこん)formula_1は、代数的無理数である。