Qué condición hace racional a un número
Un número racional es cualquier número que puede escribirse como p/q, donde p y q son enteros y q no es cero. El conjunto se representa por Q e incluye fracciones positivas y negativas, todos los enteros —por ejemplo 5 = 5/1— y el cero. Diferentes fracciones pueden designar el mismo valor: 1/2, 2/4 y −3/−6 son representaciones equivalentes. “Racional” procede de razón o cociente, no de que el número sea lógico o sensato. La forma elegida no cambia su posición exacta en la recta.
El denominador no puede ser cero porque dividir entre cero no define un valor compatible con las operaciones ordinarias. Una fracción puede simplificarse dividiendo numerador y denominador por factores comunes, pero simplificar no cambia el número. El signo puede colocarse en numerador, denominador o delante; para comparar con claridad suele usarse denominador positivo.
Para decidir si dos fracciones p/q y r/s son iguales puede comprobarse ps = rq, evitando convertirlas primero a decimal. Esta equivalencia reúne muchas parejas de enteros bajo un solo número racional. En una definición formal, una fracción es una representación y el racional es la clase completa de representaciones equivalentes.
Terminar o repetir caracteriza sus expansiones decimales
Todo racional tiene un desarrollo decimal que termina o acaba repitiendo un bloque. 3/8 = 0,375; 1/6 = 0,1666... La razón aparece en la división larga: solo hay un número finito de restos posibles, así que el proceso termina con resto cero o repite un resto y entra en ciclo. El periodo puede empezar después de varias cifras.
La implicación funciona al revés. Un decimal periódico puede convertirse en fracción mediante álgebra. Si x = 0,272727..., entonces 100x = 27,272727...; al restar, 99x = 27 y x = 27/99 = 3/11. Un decimal infinito sin periodo, como el de √2, es irracional. Una pantalla finita no demuestra periodicidad: puede haber truncado las cifras.
El tipo de denominador reducido predice si el decimal termina. En base diez, solo termina cuando sus factores primos son 2 y 5; cualquier otro factor produce periodo. Así, 7/40 termina porque 40 = 2³×5, mientras 1/7 repite. En otra base cambian los factores permitidos, pero no la racionalidad del valor.
Las cuatro operaciones conservan racionalidad con una excepción
Sumar p/q y r/s produce (ps + rq)/qs; multiplicarlos produce pr/qs. Restar es sumar el opuesto y dividir equivale a multiplicar por el inverso, siempre que el divisor no sea cero. Como todos los resultados vuelven a ser cocientes de enteros, Q es un cuerpo ordenado: las operaciones y comparaciones se comportan de forma estable.
Extraer raíces rompe esa clausura. √4 es racional, pero √2 no. Tampoco una potencia con exponente irracional tiene por qué permanecer en Q. Reconocer qué operaciones conservan un conjunto ayuda a decidir cuándo ampliarlo. Los números reales contienen los límites e irracionales que faltan, mientras los complejos permiten raíces de números negativos.
El orden también puede expresarse sin aproximar. Con denominadores positivos, p/q < r/s exactamente cuando ps < rq. Esta comparación resulta útil con fracciones enormes o muy cercanas, donde redondear podría declararlas iguales. La aritmética exacta conserva información que una pantalla limitada descarta.
Entre dos números siempre cabe otra fracción
Si a y b son racionales distintos y a < b, su promedio (a+b)/2 es racional y queda entre ambos. Repitiendo el proceso aparecen infinitos racionales en cualquier intervalo. Incluso entre 0,123 y 0,124 hay fracciones sin fin. La recta no presenta un “siguiente racional” después de otro.
Ser denso no significa llenar la recta. Entre esos racionales también hay irracionales, y existen sucesiones racionales que convergen a valores fuera de Q. La densidad habla de proximidad; la completitud, de contener límites. Confundirlas conduce a pensar que, como siempre hay una fracción tan próxima como se quiera, toda longitud exacta debe ser fraccionaria.
El medianto (p+r)/(q+s) de dos fracciones positivas vecinas en ciertas estructuras queda entre ellas y aparece en árboles que enumeran racionales. No sustituye al promedio en cualquier demostración, pero ofrece otra forma de navegar fracciones sin duplicarlas. La estructura de Q es rica aunque tenga huecos como √2.
Las fracciones expresan relaciones exactas y aproximaciones
Repartir tres litros entre ocho recipientes produce 3/8 de litro por recipiente bajo el modelo ideal. Escalas, porcentajes, tasas y probabilidades discretas se expresan naturalmente con racionales. También aproximan mediciones: 3,14 puede representar una lectura o una aproximación de π, pero 3,14 es exactamente 157/50 y no es π.
En informática, guardar una fracción como dos enteros puede conservar exactitud donde la coma flotante redondea. Sin embargo, numeradores y denominadores pueden crecer al encadenar operaciones. Elegir representación depende de coste y precisión. El número π ofrece un caso claro de aproximaciones racionales útiles que nunca se vuelven igualdad exacta.
Porcentajes y tasas requieren conservar la unidad y el periodo de referencia. Un 5 % anual no es la misma cantidad que 5 puntos porcentuales ni que una variación del 5 % sobre otra tasa. Los racionales expresan el cociente con exactitud; interpretar qué se dividió sigue siendo una cuestión del problema real.
Todas las fracciones pueden organizarse en una lista
Aunque entre dos racionales haya infinitos, Q es numerable. Se pueden recorrer pares de enteros en una cuadrícula, omitir denominadores cero y repeticiones, y acabar encontrando cualquier fracción. Esta construcción muestra que una lista infinita no necesita terminar para contener cada elemento en alguna posición finita.
El dato memorable es que los racionales son densos y numerables a la vez, mientras los reales son no numerables. Hay una fracción arbitrariamente cerca de cualquier real, pero “casi todos” los puntos de la recta no son fracciones en sentido de medida. Los irracionales completan la comparación; esta página permanece dedicada a cocientes exactos, decimales periódicos y propiedades de Q.
La enumeración debe evitar contar 1/2, 2/4 y 3/6 como objetos distintos. Puede conservar solo fracciones irreducibles y recorrer diagonales de la cuadrícula de enteros. Cada paso es finito aunque la lista nunca termine. Esta idea de correspondencia uno a uno define numerabilidad con precisión.
