Si a^2/b^2 es irreducible, no puede ser un número entero a menos que b=1. Cualquier factor primo de b tendría que dividir a.
Ni siquiera recuerdo dónde dejé algo sobre la prueba más simple. Funciona para la irracionalidad en CUALQUIER no cuadrado.
Deberías haber puesto un encabezado en tu comentario en mi página de discusión. Casi no logro verlo. DrHow ( discusión ) 11:41, 16 de septiembre de 2020 (UTC)