Sí.
No solo [matemática] 2 ^ n [/ matemática], sino que todos los enteros positivos son de la forma [matemática] 6m, 6m + 2 [/ matemática] y [matemática] 6m + 4 [/ matemática].
Según el Lema de la División de Euclides [1] si tenemos dos enteros positivos [matemática] a [/ matemática] y [matemática] b [/ matemática], entonces existen enteros únicos [matemática] m [/ matemática] y [matemática] r [/ matemática] que satisfacen la condición [matemática] a = bm + r [/ matemática] donde [matemática] 0 ≤ r ≤ b [/ matemática].
Si ponemos [matemáticas] b = 6 [/ matemáticas], entonces obtenemos la ecuación como [matemáticas] a = 6m + r [/ matemáticas]
Podemos ver claramente que para [matemáticas] r = 0, r = 2 [/ matemáticas] y [matemáticas] r = 4 [/ matemáticas], el número entero [matemáticas] a [/ matemáticas] es par . Y para otros valores de [math] r [/ math] es decir [math] (1,3,5), [/ math] el entero [math] a [/ math] es impar .
Por lo tanto, cada entero par positivo se puede representar como , [matemática] 6m, 6m + 2 [/ matemática] o [matemática] 6m + 4 [/ matemática], donde [matemática] m [/ matemática] es un entero .
Claramente, [matemática] 2 ^ n [/ matemática] no puede tener forma [matemática] 6m [/ matemática] ya que [matemática] 6m [/ matemática] tiene un factor de [matemática] 3 [/ matemática] que no es posible para [matemáticas] 2 ^ n [/ matemáticas].
Además, [matemáticas] 2 ^ n [/ matemáticas] es siempre par. Entonces, [matemática] 2 ^ n [/ matemática] se puede representar como [matemática] 6m + 2 [/ matemática] o [matemática] 6m + 4 [/ matemática] donde [matemática] m [/ matemática] es un número entero.
Saludos 🙂
Notas al pie
[1] Lema de la división de Euclides: una introducción – Las matemáticas de Byju