EJERCICIO 1 / 5Respuesta comprobable
Tu reto 1.
Verifica el factor complementario de 143 si uno de los factores es 11.
- PISTA 1
Una pista
Divide exactamente.
Un desarrollo posible.
El factor complementario es 143/11.
La división da 13 y se verifica11·13=143.
Ambos son enteros no triviales, así que la comprobación es exacta.
EJERCICIO 2 / 5Respuesta comprobable
Tu reto 2.
Un intervalo certificado [2,5;2,7] tiene ¿qué anchura?
- PISTA 1
Una pista
Resta extremos.
Un desarrollo posible.
La anchura de un intervalo es extremo superior menos inferior.
Esa anchura describe la cota, no un error exacto respecto del punto medio.
EJERCICIO 3 / 5Respuesta comprobable
Tu reto 3.
Un intervalo certificado [−0,1;0,2] demuestra positividad estricta: sí o no.
- PISTA 1
Una pista
Contiene valores negativos y cero.
Un desarrollo posible.
El intervalo contiene valores negativos, cero y positivos.
La inclusión no permite excluir los valores no positivos.
La respuesta es no: no demuestra positividad estricta, aunque el valor real pudiera ser positivo.
EJERCICIO 4 / 5Respuesta comprobable
Tu reto 4.
¿Usar la misma semilla demuestra la validez de un modelo? Sí o no.
- PISTA 1
Una pista
Repetir una ejecución no prueba las hipótesis del modelo.
Un desarrollo posible.
La semilla puede permitir repetir una secuencia pseudoaleatoria bajo el mismo procedimiento.
No comprueba que las hipótesis, parámetros o ecuaciones representen el fenómeno buscado.
La respuesta es no; reproducibilidad y validación del modelo son tareas distintas.
EJERCICIO 5 / 5Razonamiento · revisión personal
Tu reto 5.
Diseña una comprobación independiente para un algoritmo que calcula raíces de un polinomio.
- PISTA 1
Una pista
No repitas solo el mismo algoritmo.
Un desarrollo posible.
Guardaría el polinomio exacto o la incertidumbre de sus coeficientes, precisión, tolerancias y candidatos calculados.
Evaluaría candidatos con control exacto o intervalar del residual, junto con un teorema de inclusión o aislamiento apropiado.
Comprobaría cuántas raíces deben existir y sus multiplicidades en el dominio, conservando certificados para verificar que no se omitieron otras.