Diana Olivares

Diana Olivares

 Colombia @olivaresr desde - visto
Preguntar

Actividad pública reciente

Ha valorado "Excelente" la respuesta

Probar que pasa cualquier entero n, n^37-n es divisible por 383838

respondió: La sugerencia ha quedado mal escrita por culpa de la página pero he comprobado que 383838 = 2x3x7x13x19x37 Probablemente tengas en tu libro un teorema o una serie de ellos que hagan casi inmediata la resolución. Pero como yo no tengo tu libro y no sé...
Ha valorado "Excelente" la respuesta

Probar que si 2n+1 es un primo...

respondió: Los cuadrados son las suma de los primeros números impares. Más concretamente n^2 es la suma de los n primeros números impares 1 = 1 4 = 1 + 3 9 = 1 + 3 + 5 16 = 1 + 3 + 5 + 7 n^2 = 1 + 3 + 5 + 7 + ... + 2n-3 + 2n-1 La diferencia entre dos cuadrados...
Ha valorado "Excelente" la respuesta

Probar que son congruentes

respondió: Sean c sub i los coeficientes del polinomio, los escribiré ci. f(a) = c0 + c1·a + c2·a^2 + ... + cn·a^n f(a+tn) = c0 + c1(a+tn) + c2(a+tn)^2 + ... + cn(a+tn)^n Tomamos ahora el desarrollo de uno cualquiera de estos binomios (a+tn)^i = a^i +...
Ha valorado "Excelente" la respuesta

Probar que son congruentes

respondió: a) Tenemos una sucesión aritmética cuya suma se calcula por la fórmula S(n) = n(a1+an)/2 Qua aquí nos da S(p-1) = (p-1)p/2 Como p es impar, p-1 es par y (p-1)/2 es entero sea k = (p-1)/2 S(p-1) = k·p con k € N luego el resto de S(p-1) / p es cero que...
Ha preguntado en el tema en

Demostrar que es un paralelogramo

Sin respuestas
Ha preguntado en el tema en

Deducción Formal (Lógica Matemática) - Reducción al absurdo

Simbolice el siguiente argumento y demuestre que la conclusión se deduce formalmente de las premisas. Teoría: Libro: Elementos de lógica y calculabilidad - Xavier Caicedo F.
Sin respuestas
Ha preguntado en el tema en

Deducción Formal (Lógica Matemática) - Teorema de la Deducción -

Demostrar: Libro: Elementos de lógica y calculabilidad - Xavier Caicedo F.
Sin respuestas
Ha valorado "Buena" la respuesta

Demostrar por inducción en fórmulas - Lógica matemática

respondió: Si fuera posible me gustaría saber el libro que utilizas, tal vez pueda encontrarlo en Internet. Porque de este tema no tengo yo ningún libro de referencia y los artículos que encuentro en internet discrepan algunas veces. Lo mejor sería aplicar la...
Ha valorado "Excelente" la respuesta

Formas normales y funciones booleanas - Lógica matemática

respondió: Nos dicen que x=g(g(x,x),g(x,x)),vamos a comprobarlo g(g(x,x),g(x,x)) = g((1-x)(1-x),(1-x)(1-x)) = Como 1-x es 0 o 1 entonces (1-x)(1-x) = 1-x = g((1-x),(1-x)) = [1-(1-x)][1-(1-x)] = x·x = que de nuevo, como x=0 o 1 tenemos = x De la misma forma...
Ha empezado a seguir a