Interpretaré esta pregunta en una luz ligeramente diferente, menos ambigua: ¿hay un conjunto de axiomas para los cuales pi es un número racional?
Esto se debe a que la forma en que se plantea la pregunta tiene una respuesta trivial pero insatisfactoria (use la base pi), pero si en su lugar solicitamos que pi se exprese como una razón de dos enteros, su expansión terminaría o se repetiría.
Incluso entonces, la respuesta aún sería insatisfactoria. Se basa en una gran suposición:
¿Cómo se define pi?
- ¿Cuáles son algunas maneras para mejorar en matemáticas?
- ¿Qué tan importante es el cálculo 2 para la ingeniería?
- ¿Cuáles fueron las principales contribuciones de Andrey Kolmogorov en matemáticas?
- ¿Por qué es mejor hacer matemáticas guiadas?
- ¿Cuál fue el problema matemático más difícil y cómo se resolvió?
Hay varias definiciones equivalentes. La más común es la relación entre el diámetro y la circunferencia de un círculo en geometría euclidiana, pero claro, uno puede usar geometría no euclidiana … Pero en otras geometrías, dicha relación no es fija. Hay círculos para los cuales dicha proporción podría ser casi cualquier cosa, por lo que no definirías un solo número de esa manera
Otra posible definición sería la suma 4 * (1 – 1/3 +1/5 – 1/7 + …) (o eso creo, no tengo la serie exacta en la memoria). Pero, bajo los axiomas comúnmente aceptados, ese no es un número racional. Y si tomáramos diferentes axiomas, entonces … Bueno, ¡necesitarías usar diferentes axiomas para definir números racionales! Tendría que redefinir todo el concepto de número para que sea algo irreconocible. Y entonces, ¿qué significado tendría ese lío de símbolos, si el símbolo 4 no significa a lo que estamos acostumbrados?
Hay otras posibles definiciones de este tipo, pero todas se encuentran con el mismo problema: para redefinir el valor de pi, necesitaría tirar de la alfombra y redefinir qué es un número, y entonces no habría importancia para cualquier definición que tengamos actualmente para ello.
En pocas palabras, la forma en que hemos definido esta constante obliga a que no sea miembro de Q, y si tuviera que cambiar los axiomas sin cambiar la definición, podría terminar sin ningún significado.