Álgebra · tema 05
Sistemas de ecuaciones lineales
Rouché-Fröbenius, Gauss y Cramer. El tema que no cae solo y que hace falta en los cuatro ejercicios.
este tema trae un simuladorEste tema tampoco cae solo. Igual que el de matrices, ninguno de los 32 ejercicios de las ocho convocatorias es «un ejercicio de sistemas». Y sin embargo lo estás resolviendo todo el rato sin llamarlo así:
| cuando el examen pide | lo que haces es |
|---|---|
| una base del núcleo de | resolver |
| las coordenadas en una base nueva | resolver |
| la intersección de dos subespacios | resolver el sistema de sus ecuaciones |
| un vector propio de | resolver |
Cuatro de los cuatro huecos del examen. Este tema es el que decide si esas cuentas salen deprisa o se comen el tiempo de los otros ejercicios.
Qué es, y cómo se escribe
Un sistema de ecuaciones y incógnitas se escribe en forma matricial
con la matriz de coeficientes —de orden —, la columna de incógnitas y la de términos independientes. Y hay una matriz más, que es la que lo decide todo:
Homogéneo significa que es toda ceros. Y eso cambia el problema por completo, como se ve enseguida.
Rouché-Fröbenius: la clasificación en dos comparaciones
siempre, porque añadir una columna no puede bajar el rango. Y con esas dos cifras más el número de incógnitas, el sistema queda clasificado:
Dos comparaciones y ya está clasificado. La primera decide si hay solución; la segunda, cuántas. Y el número de parámetros libres no hay que buscarlo: es n − r.
Lo que hace útil el teorema no es clasificar, es que da el número de parámetros gratis. Si un sistema de incógnitas tiene rango , sabes antes de despejar nada que la solución va a depender de dos parámetros — y por tanto que el subespacio que buscas tiene dimensión .
Los sistemas homogéneos son otro problema
Cuando , la columna añadida es de ceros y no puede subir el rango. Por tanto:
Siempre tiene al menos la solución trivial . La pregunta con un homogéneo no es «¿tiene solución?» sino «¿tiene alguna además de la trivial?», y eso lo decide la segunda comparación:
| solo la trivial | |
| infinitas, con parámetros |
Y hay algo más, que es lo que conecta este tema con el 1 y el 2:
El conjunto de soluciones de un sistema homogéneo es un subespacio vectorial. El de uno no homogéneo, no.
Es exactamente el núcleo de la aplicación lineal de matriz . Por eso una condición «igualada a cero» define un subespacio y una con término independiente no: el segundo sistema no tiene al entre sus soluciones.
Decir que un homogéneo es incompatible
No puede serlo. Si al discutir un sistema homogéneo te sale «incompatible», hay un error de cuenta en alguna parte: el siempre lo cumple.
El error suele venir de arrastrar mal una columna de ceros al escalonar, o de aplicar Rouché sin darse cuenta de que la ampliada tiene una columna nula.
Resolverlo: Gauss casi siempre, Cramer casi nunca
Gauss es el método general y el único que sirve cuando la matriz no es cuadrada. Se escalona la ampliada —todas las operaciones sobre las filas enteras, término independiente incluido— y al final se despeja de abajo arriba.
Al escalonar aparecen los tres casos a la vista:
- una fila con : incompatible;
- una fila entera de ceros: sobra una ecuación, y el rango baja;
- tantos pivotes como incógnitas: determinado.
Cramer solo vale si el sistema es cuadrado y . Entonces
donde es con la columna sustituida por .
Es elegante y casi nunca compensa: para un sistema son cuatro determinantes de orden , frente a un escalonado que se hace en seis restas. Merece la pena cuando solo te piden una de las incógnitas, porque entonces son dos determinantes y no hay que resolver el sistema entero.
Escalonar la matriz de coeficientes y olvidar B
Las operaciones de fila hay que hacerlas sobre la fila completa de la ampliada. Si restas dos filas en y no restas los términos independientes correspondientes, el sistema que queda ya no es equivalente al de partida — y la solución que salga no será solución de nada.
La forma de no olvidarlo es dibujar la barra vertical y trabajar siempre con entera, nunca con las dos mitades por separado.
Con parámetro: el guion, siempre el mismo
Es lo que pide el boletín, y es el mismo guion que el rango con parámetro del tema 4:
- Calcula en función del parámetro —si el sistema es cuadrado— o el determinante de la mayor submatriz cuadrada.
- Donde no se anule, el rango es máximo y el sistema es determinado. Un solo caso cubre casi todos los valores.
- Solo en los valores que lo anulan, compara con para separar incompatible de indeterminado.
El orden importa. Ir al revés —abrir un caso por cada valor sospechoso— es lo que hace que estos ejercicios parezcan largos, y no lo son: son un caso general y dos o tres excepciones.
Y un aviso que vale para todo el tema: si el sistema no es cuadrado no hay determinante de que valga, y hay que ir directamente a comparar rangos. Ahí Gauss sobre la ampliada es el camino corto, porque da los dos rangos a la vez.
Lo que hay que llevar sabido
- siempre. Y la primera comparación decide si hay solución.
- Rouché: distintos incompatible; iguales y una solución; iguales y infinitas, con parámetros.
- El número de parámetros es . No hay que contarlo despejando.
- Un homogéneo nunca es incompatible. La pregunta es si tiene algo más que la trivial.
- Las soluciones de un homogéneo forman subespacio; las de uno no homogéneo, no. Ese es el motivo de fondo de que las ecuaciones de un subespacio vayan igualadas a cero.
- El homogéneo es el núcleo de la aplicación de matriz .
- Gauss se hace sobre la ampliada, con el término independiente dentro de la fila.
- Al escalonar, una fila con es incompatible; una fila de ceros solo dice que sobraba una ecuación.
- Cramer solo si es cuadrado y . Compensa cuando piden una incógnita.
- Con parámetro: primero el determinante, y solo se abren casos donde se anula.
Practica lo que acabas de leer
Clasificar un sistema en dos comparaciones
Ejemplo introductorio, para entrar de cero. Cada paso equivocado recibe su diagnóstico, no un «incorrecto».
Hacer el ejercicio →Clasificar un sistema en dos comparaciones
1.er intento a pelo · al 2.º aparece la pista, al 3.º el desarrollo — la solución nunca se da al fallar: se te dice en qué te has ido y por qué.
Enunciado
Clasificar y resolver el sistema
La clasificación por Rouché, y la solución.
- 01
Reconocer el camino
COMP1Antes de escalonar: la tercera ecuación es la suma de las dos primeras. ¿Qué significa eso?
Es al revés: una ecuación que se deduce de las otras nunca puede contradecirlas. Lo que produce la incompatibilidad es una ecuación que choca con las demás, como en lugar de .
Quitarla sí, pero siguen siendo tres incógnitas: , y . Con dos ecuaciones y tres incógnitas queda un parámetro libre.
Con rango y tres incógnitas, la solución no puede ser única: hay parámetro libre y por tanto infinitas soluciones.
Exacto, y esa lectura resuelve medio ejercicio sin cuentas. Que la tercera fila de la ampliada sea suma de las otras dos garantiza que los dos rangos coinciden: no puede ser incompatible.
- 02
El rango de la matriz de coeficientes
COMP2¿Cuánto vale ?
un número entero — vale la forma exacta: pi/4, sqrt(3)/2, (e^2-1)/2…exigiría que las tres filas fuesen independientes, y la tercera es la suma de las dos primeras: .
dejaría las tres filas proporcionales. y no lo son.
El rango solo vale si la matriz es toda ceros.
Suma las dos primeras filas y compárala con la tercera.
Desarrollo
que es exactamente la tercera fila. Así que solo dos son independientes:
Y en la ampliada pasa lo mismo, porque los términos independientes también encajan: . Luego también.
- 03
Cuántos parámetros tendrá la solución
COMP2Con y tres incógnitas, ¿de cuántos parámetros depende la solución?
un número entero — vale la forma exacta: pi/4, sqrt(3)/2, (e^2-1)/2…parámetros es solución única, y eso exige . Aquí el rango es .
es el rango, no el número de parámetros. La fórmula es .
es el número de incógnitas. Si los tres fueran libres, el sistema no diría nada.
El número de parámetros libres es , con las incógnitas.
Desarrollo
Un parámetro, y eso se sabe antes de despejar nada. Es la parte del teorema que más rinde: no solo clasifica, también dice de qué tamaño va a ser la respuesta.
- 04
La solución con z = 1
COMP2Tomando como parámetro, ¿cuál es la solución ?
tres coordenadas entre paréntesis, separadas por comas — componentes separadas por comasLas dos primeras cambiadas. Comprueba con la segunda ecuación: , y debería dar .
La segunda. De y sale , no . Comprueba con la primera: .
La primera. De la segunda ecuación, , y con la primera : sumando, y .
Con , las dos primeras ecuaciones quedan y .
Desarrollo
Con :
Sumando, y ; restando, e .
Y la solución general, con :
Con sale ✓.
- 05
Justificar el argumento
COMP4Ordena la clasificación. Una pieza es falsa.
- Ve eligiendo las piezas en orden.
Solo lo es si el sistema es homogéneo, y este no lo es: sus términos independientes son , y . La prueba es inmediata: no cumple la primera ecuación, y todo subespacio contiene al vector nulo. Lo que sí es subespacio es el conjunto de soluciones del homogéneo asociado, y las soluciones de este sistema son una traslación de él.
El razonamiento, en orden
La tercera fila de la ampliada es la suma de las dos primeras, términos independientes incluidos.
Por tanto , y el sistema es compatible.
Como ese rango es menor que las tres incógnitas, el sistema es indeterminado, con parámetro.
Fijando como parámetro, las dos primeras ecuaciones dan e en función de él.
Resolución completa
La lectura que resuelve medio ejercicio. Antes de escalonar conviene mirar si alguna ecuación se deduce de las otras, y aquí salta a la vista:
La tercera fila de la ampliada entera —términos independientes incluidos— es la suma de las dos primeras. Eso garantiza dos cosas de golpe: que los dos rangos coinciden, y que valen .
Rouché, en dos comparaciones.
| comparación | resultado |
|---|---|
| compatible | |
| indeterminado, con parámetro |
Y la solución. Con :
que con da .
El detalle que decide entre compatible e incompatible. Si la tercera ecuación fuese en lugar de , la matriz tendría el mismo rango pero la ampliada subiría a : sería incompatible. La diferencia entre las dos situaciones está entera en el término independiente, y por eso Rouché mira las dos matrices y no solo una.
¿Esto está mal? Dilo →La resolución es nuestra y puede tener fallos. El enunciado es el original.
Por qué un sistema homogéneo siempre tiene solución
1.er intento a pelo · al 2.º aparece la pista, al 3.º el desarrollo — la solución nunca se da al fallar: se te dice en qué te has ido y por qué.
Enunciado
Sea el sistema homogéneo
a) Clasificarlo sin escalonar, razonando por qué.
b) Resolverlo, y decir qué es geométricamente el conjunto de sus soluciones.
La clasificación razonada, la solución, y qué es el conjunto solución.
- 01
Reconocer el camino
COMP1¿Por qué un sistema homogéneo nunca puede ser incompatible?
aquí ni siquiera es cuadrada, así que no tiene determinante. Y aunque lo tuviera, su valor decide entre solución única e infinitas, no si hay solución.
Exacto, y es la demostración corta. Dicho de otra forma aún más directa: siempre cumple todas las ecuaciones, así que solución hay seguro.
No es cierto: junto con son dos ecuaciones sin ninguna solución. Lo que salva a este es ser homogéneo.
Eso pasa en este ejemplo, pero no es el motivo: un homogéneo con cien ecuaciones y dos incógnitas también es compatible. Lo que lo garantiza es la columna de ceros.
- 02
La dimensión del conjunto de soluciones
COMP2¿De cuántos parámetros depende la solución?
un número entero — vale la forma exacta: pi/4, sqrt(3)/2, (e^2-1)/2…saldría si el rango fuese , es decir, si las dos ecuaciones fuesen proporcionales. y no lo son: el rango es y quedan parámetros.
parámetros es solo la solución trivial, y eso exige rango . Con dos ecuaciones el rango no pasa de .
dejaría todas las incógnitas libres, o sea que las ecuaciones no dirían nada. No es el caso.
Rango y tres incógnitas. Aplica .
Desarrollo
Las dos filas no son proporcionales, luego , y en un homogéneo la ampliada tiene el mismo rango. Con :
Un parámetro. Y como el sistema es homogéneo, eso significa que el conjunto de soluciones es un subespacio de dimensión : una recta que pasa por el origen.
- 03
El generador de la recta
COMP2¿Cuál es el vector que genera el conjunto de soluciones, con la tercera coordenada igual a ?
tres coordenadas entre paréntesis, separadas por comas — componentes separadas por comasComprueba con la primera ecuación: . De las dos ecuaciones sale , así que con la primera coordenada es .
La segunda coordenada. Restando el doble de la primera ecuación a la segunda sale , o sea , positiva.
El vector nulo siempre es solución de un homogéneo, pero no genera nada: un generador tiene que ser distinto de cero. La recta la genera cualquiera de sus vectores no nulos.
Resta el doble de la primera ecuación a la segunda: se va la y queda una relación entre y .
Desarrollo
y sustituyendo en la primera: , luego . Con :
Y se comprueba en las dos: ✓ y ✓.
- 04
Justificar el argumento
COMP4Ordena el razonamiento sobre el conjunto de soluciones. Una pieza es falsa.
- Ve eligiendo las piezas en orden.
«Rango máximo» de una matriz es , y es justo el que tiene: las dos filas son independientes. Lo que hace que haya infinitas soluciones no es que el rango sea pequeño en términos absolutos, sino que sea menor que el número de incógnitas. Con dos ecuaciones y tres incógnitas, eso es inevitable por muchas ecuaciones independientes que haya.
El razonamiento, en orden
La columna de términos independientes es de ceros, así que y el sistema es compatible.
El rango vale y hay tres incógnitas, luego la solución depende de parámetro.
Resolviendo sale e , así que el conjunto solución es .
Y ese conjunto es un subespacio vectorial de , de dimensión : precisamente el núcleo de la aplicación lineal de matriz .
Resolución completa
a) Compatible, y sin escalonar nada. Dos argumentos, y los dos valen:
- La columna de términos independientes es de ceros, así que no puede subir el rango: siempre.
- Más directo todavía: cumple las dos ecuaciones. Solución hay seguro.
Un sistema homogéneo nunca es incompatible. Si al discutir uno te sale «incompatible», hay un error de cuenta.
Y como el rango vale —las dos filas no son proporcionales— frente a incógnitas:
b) La solución. Restando el doble de la primera a la segunda se va la :
Geométricamente es una recta que pasa por el origen, y eso no es una casualidad de este ejemplo: el conjunto de soluciones de un homogéneo es siempre un subespacio vectorial. Contiene al y es cerrado para combinaciones lineales, porque si dos vectores anulan cualquier combinación suya también.
Y es exactamente el núcleo de la aplicación lineal de matriz . Ese es el puente entre este tema y el 2: cada vez que el examen pide una base de , lo que está pidiendo es resolver un homogéneo.
Lo que no es subespacio es el conjunto de soluciones de un sistema con términos independientes no nulos: ahí el se queda fuera, y lo que queda es una variedad afín — el subespacio del homogéneo asociado, trasladado.
¿Esto está mal? Dilo →La resolución es nuestra y puede tener fallos. El enunciado es el original.
Cramer, y el único caso en que compensa
1.er intento a pelo · al 2.º aparece la pista, al 3.º el desarrollo — la solución nunca se da al fallar: se te dice en qué te has ido y por qué.
Enunciado
De este sistema solo se pide :
Calcularla sin resolver el sistema entero.
El valor de , y por qué aquí Cramer gana a Gauss.
- 01
Reconocer el camino
COMP1El tema dice que Cramer «casi nunca compensa». ¿Qué tiene este enunciado para que aquí sí?
Eso es, y es toda la regla. Gauss no sabe dar sin dar también y ; Cramer sí. En cuanto piden las tres, la cuenta se da la vuelta: serían cuatro determinantes de orden tres frente a un escalonado.
Hace falta —sin eso Cramer ni existe—, pero no basta. Casi todos los sistemas de este tema son cuadrados y en casi todos conviene Gauss. Lo que decide es cuántas incógnitas piden.
Al revés de lo que parece: cuando hay parámetro es cuando el determinante se calcula sí o sí, porque es lo que abre los casos. Aquí no hay parámetro y aun así compensa, por otra razón.
Ayuda a hacer la cuenta, pero no cambia qué método conviene: con números pequeños Gauss también es cómodo. Mira otra vez qué es lo que se pide.
- 02
El determinante del sistema
COMP2¿Cuánto vale ?
un número entero — vale la forma exacta: pi/4, sqrt(3)/2, (e^2-1)/2…Un signo. En el desarrollo por la primera fila los signos van , y el menor del medio ya vale : al restarlo, suma.
Ese es el determinante de la matriz con la columna de términos independientes metida por en medio, no el del sistema. se calcula con los coeficientes solos, sin tocar el , el ni el .
Si fuese no habría Cramer que valiera y habría que ir a Rouché. No lo es: las tres filas son independientes. Vuelve a desarrollar por la primera.
Desarrolla por la primera fila. Los tres menores de orden dos salen de cabeza.
Desarrollo
No es cero, así que el sistema es de Cramer y la fórmula se puede usar. Y que valga exactamente es una comodidad del enunciado, no una casualidad con significado: lo único que importa es que no se anule.
- 03
La incógnita que piden
COMP2¿Cuánto vale ?
un número entero — vale la forma exacta: pi/4, sqrt(3)/2, (e^2-1)/2…Has sustituido la primera columna por los términos independientes, y eso da . La incógnita que piden es la segunda, así que la columna que se sustituye es la segunda.
Has cambiado la fila por los términos independientes en vez de la columna. Cramer sustituye columnas: la columna es la de los coeficientes de , y es la que se reemplaza.
Fracción del revés. La fórmula es arriba y abajo; así lo de arriba crece con los términos independientes, que es lo razonable.
, con la segunda columna sustituida por .
Desarrollo
Se sustituye la segunda columna —la de los coeficientes de — por la de términos independientes:
Dos determinantes de orden tres, y ya está: no se ha averiguado cuánto valen ni , y no hacía falta.
- 04
Justificar el argumento
COMP4Ordena el razonamiento. Una pieza es falsa.
- Ve eligiendo las piezas en orden.
Un determinante nulo no dice incompatible: dice que Cramer no se puede aplicar. A partir de ahí hay que ir a Rouché y comparar con , y el resultado puede ser incompatible o compatible indeterminado — las dos cosas pasan en este tema, y varias veces. Confundir «no puedo usar la fórmula» con «no hay solución» es el error clásico de este método.
El razonamiento, en orden
El sistema es cuadrado y , luego es de Cramer: tiene solución y es única.
Como solo piden , basta con el determinante de con su segunda columna cambiada por los términos independientes.
Ese determinante vale , así que , sin haber calculado ni .
Resolución completa
La decisión, que es la mitad del ejercicio. El enunciado pide una sola incógnita de un sistema cuadrado. Gauss no sabe hacer eso: resuelve todo o nada. Cramer sí, y le cuestan dos determinantes.
El determinante del sistema, desarrollado por la primera fila:
No se anula, luego el sistema es compatible determinado y la fórmula vale.
La incógnita, sustituyendo la segunda columna:
Lo que hay que llevarse. Tres cosas, y la primera es la que decide si el ejercicio sale corto o largo.
- Cramer se elige por lo que piden, no por cómo es el sistema. Ser cuadrado y con determinante no nulo es el permiso para usarlo; que pidan una sola incógnita es la razón para hacerlo. Con las tres incógnitas pedidas son cuatro determinantes de orden tres, y Gauss gana sin discusión.
- Se sustituye la columna , no la fila. La columna es la de los coeficientes de : se cambia por los términos independientes y el cociente da esa incógnita. Cambiar una fila da un número que no significa nada.
- Determinante cero no es incompatible. Es «aquí no llega Cramer». Lo que sigue es Rouché, y de ahí puede salir cualquiera de los dos casos malos.
¿Esto está mal? Dilo →La resolución es nuestra y puede tener fallos. El enunciado es el original.
Dos parámetros, y solo tres casos que abrir
1.er intento a pelo · al 2.º aparece la pista, al 3.º el desarrollo — la solución nunca se da al fallar: se te dice en qué te has ido y por qué.
Enunciado
Discute y resuelve el siguiente sistema en función de los parámetros y :
La discusión según a y b, y la solución donde exista.
- 01
Reconocer el camino
COMP1La primera y la cuarta ecuación tienen el mismo miembro izquierdo. ¿Qué se saca de ahí antes de tocar el parámetro ?
Exacto, y eso parte el ejercicio en dos de un plumazo. Con ya no hay nada que discutir; el parámetro solo interviene en la otra rama.
Un sistema de Cramer tiene tantas ecuaciones como incógnitas y matriz inversible. Aquí hay cuatro ecuaciones y tres incógnitas, así que ni siquiera es cuadrada.
Solo sobra si . Si no sobra: contradice a la primera, y eso es justo lo que hace incompatible al sistema.
El es el término independiente de la tercera ecuación, que tiene otro miembro izquierdo. La que se repite es la primera, con término independiente .
- 02
El valor de b que salva el sistema
COMP2¿Para qué valor de puede el sistema ser compatible?
un número entero — vale la forma exacta: pi/4, sqrt(3)/2, (e^2-1)/2…es el término independiente de la tercera ecuación, cuyo miembro izquierdo es , distinto del de la cuarta. La que se repite es la primera, con un .
es el de la segunda ecuación, . Tampoco tiene el mismo miembro izquierdo que la cuarta.
Con la cuarta ecuación diría y la primera : imposible a la vez.
Compara la cuarta ecuación con la primera. Sus miembros izquierdos son iguales.
Desarrollo
La primera y la cuarta ecuación son
y las dos solo pueden cumplirse a la vez si .
Con la cuarta es la primera repetida y se puede tachar: queda un sistema de tres ecuaciones y tres incógnitas.
- 03
El determinante del sistema que queda
COMP2Con , el sistema se reduce a las tres primeras ecuaciones. Para , ¿cuánto vale el determinante de su matriz de coeficientes?
un número entero — vale la forma exacta: pi/4, sqrt(3)/2, (e^2-1)/2…El signo. Desarrollando sale , no : con vale .
Solo se anula en . El determinante vale .
sería el determinante con . Con vale .
Resta la primera fila a las otras dos y desarrolla. El determinante sale .
Desarrollo
Con : .
así que para el sistema reducido es de Cramer: compatible determinado.
- 04
La solución, que no depende de a
COMP2Con y , ¿cuál es la solución ?
tres coordenadas entre paréntesis, separadas por comas — componentes separadas por comasEsos son los términos independientes de las tres ecuaciones, no la solución. Comprueba: .
El signo de la segunda. Comprueba con la primera ecuación: , y debería dar . Con sale ✓.
La tercera. De las dos primeras ecuaciones sale . Comprueba: con la primera daría .
Restando la primera ecuación a la segunda sale . Y a la tercera, .
Desarrollo
Restando la primera ecuación a las otras dos:
Sumando las dos: , y como , . Entonces y, de la primera, .
Y no depende de , lo cual es una comprobación gratis: al sustituir en la tercera ecuación, se cumple para cualquier porque el coeficiente de va multiplicado por .
- 05
Justificar el argumento
COMP4Ordena la discusión completa. Una pieza es falsa.
- Ve eligiendo las piezas en orden.
Determinante nulo no significa incompatible: significa que no hay solución única, y a partir de ahí caben las dos cosas. Es Rouché quien decide, comparando con ; aquí los dos valen y el sistema es compatible indeterminado. Confundir «no determinado» con «incompatible» es el error más caro de este tipo de ejercicio, porque se come el caso más interesante.
El razonamiento, en orden
La primera y la cuarta ecuación tienen el mismo miembro izquierdo, así que si el sistema es incompatible sea cual sea .
Con la cuarta es la primera repetida y se tacha: quedan tres ecuaciones y tres incógnitas.
El determinante de ese sistema vale , así que para es de Cramer: compatible determinado, con solución .
Para el determinante se anula, y hay que comparar los rangos de y de la ampliada: los dos valen , luego es compatible indeterminado con un parámetro.
Resolución completa
Primero , que parte el ejercicio en dos sin tocar . La primera y la cuarta ecuación tienen el mismo miembro izquierdo:
Con la cuarta ecuación es la primera repetida y se tacha. Quedan tres ecuaciones y tres incógnitas, y ahora sí entra .
El determinante decide.
Caso (y ): sistema de Cramer. Determinante no nulo, luego compatible determinado:
Y esa solución no depende de , porque el único sitio donde aparece el parámetro va multiplicado por . Es una comprobación que sale gratis.
Caso (y ). El determinante se anula, pero eso no significa incompatible: significa que hay que mirar los rangos. Restando la primera fila a las otras dos, la ampliada queda
y la tercera fila es la opuesta de la segunda, también en el término independiente. Luego :
con solución , que para recupera .
El resumen, que es lo que se entrega:
| , | , | ||
|---|---|---|---|
| incompatible | determinado | indeterminado |
Tres casos, no diez. El guion —primero lo que no depende del parámetro, luego el determinante, y solo donde se anula, los rangos— es el que evita abrirlos a ciegas.
¿Esto está mal? Dilo →La resolución es nuestra y puede tener fallos. El enunciado es el original.
Un núcleo que es un sistema homogéneo con parámetro
1.er intento a pelo · al 2.º aparece la pista, al 3.º el desarrollo — la solución nunca se da al fallar: se te dice en qué te has ido y por qué.
Enunciado
Se define la siguiente aplicación lineal:
-
Matriz asociada a .
-
Halla el núcleo de la aplicación, , y estudia su dimensión según los valores de .
La matriz asociada, y la dimensión del núcleo según el parámetro.
- 01
Reconocer el camino
COMP1Calcular es resolver un sistema. ¿Cuál, y de qué tipo?
El parámetro está en la matriz de coeficientes, no en los términos independientes: esos son ceros. Por eso el sistema es homogéneo para cualquier .
Exacto, y ese es el puente entre este tema y el de aplicaciones lineales: todo núcleo es un sistema homogéneo. Y como los homogéneos siempre tienen al menos la solución trivial, la pregunta no es si hay solución sino si hay alguna más.
Si la inversa existe, el núcleo es trivial y no hace falta calcularla. Y cuando el núcleo es interesante —dimensión mayor que cero— es precisamente porque la inversa no existe.
Ese es el que da los vectores propios de autovalor , que es otra cosa. El núcleo son los vectores cuya imagen es el vector nulo.
- 02
El determinante en función del parámetro
COMP2Para , ¿cuánto vale el determinante de la matriz asociada?
un número entero — vale la forma exacta: pi/4, sqrt(3)/2, (e^2-1)/2…Solo se anula en y . El determinante sale , y con vale .
es . El determinante completo es , que con da .
es el valor con : . Con sale .
Suma las tres columnas a la primera: queda en toda la primera columna, y se puede sacar factor común.
Desarrollo
El truco que hace corto este determinante: las tres filas suman lo mismo. Sumando las columnas segunda y tercera a la primera, esta queda constante e igual a :
Con : .
Y ese último determinante es exactamente el del ejemplo de entrada del tema 4, que vale .
- 03
La dimensión del núcleo en el caso doble
COMP2Para , ¿cuánto vale ?
un número entero — vale la forma exacta: pi/4, sqrt(3)/2, (e^2-1)/2…es lo que sale para . Con la matriz es toda unos: su rango es , así que el núcleo tiene dimensión .
sería núcleo trivial, y eso solo pasa cuando el determinante no se anula. En sí se anula.
exigiría que la matriz fuese nula, y con es toda unos, no toda ceros.
Sustituye en la matriz y mira cuántas filas distintas quedan.
Desarrollo
Con :
Las tres filas son iguales, así que y
El núcleo es el plano , con base .
Y con pasa otra cosa: la matriz es , cuyas filas suman cero pero no son proporcionales. Rango , y .
- 04
Justificar el argumento
COMP4Ordena la discusión según k. Una pieza es falsa.
- Ve eligiendo las piezas en orden.
La multiplicidad de la raíz no dice cuánto vale la dimensión del núcleo: hay que mirar la matriz. Aquí coinciden por casualidad de los números; el propio ejercicio da el contraejemplo del razonamiento, porque en la raíz es simple y la dimensión vale por cómo es la matriz, no por el exponente. Este mismo error aparece en diagonalización, donde se llama confundir multiplicidad algebraica con geométrica.
El razonamiento, en orden
es el conjunto de soluciones del sistema homogéneo , y por tanto un subespacio.
, que se anula solo en y en .
Para todo distinto de esos dos, el rango es y el núcleo es trivial: .
En la matriz es toda unos, con rango , así que ; y en el rango es y .
Resolución completa
1. La matriz. Cada fila son los coeficientes de una coordenada de la imagen:
2. El núcleo es un sistema homogéneo, y ese es el punto del ejercicio. Calcular es resolver , que por ser homogéneo nunca es incompatible: la pregunta no es si hay solución sino cuántas.
El determinante, con el atajo que la matriz regala. Las tres filas suman lo mismo, así que sumando las columnas segunda y tercera a la primera queda una columna constante:
La discusión, en tres casos.
| qué es el núcleo | |||
|---|---|---|---|
| solo el | |||
| el plano | |||
| la recta |
Con la matriz es toda unos y el sistema se reduce a la única ecuación . Con las tres filas suman cero pero no son proporcionales, así que el rango es y queda una recta — la de los vectores con las tres coordenadas iguales, que es lo que anula cuando .
Y una advertencia que el propio ejercicio ilustra: que sea raíz doble del determinante no es lo que hace que el núcleo tenga dimensión . En la raíz es simple y la dimensión es , pero eso también hay que mirarlo en la matriz. La multiplicidad de la raíz y la dimensión del núcleo son cosas distintas, y confundirlas es el error que reaparece —con otro nombre— en diagonalización.
¿Esto está mal? Dilo →La resolución es nuestra y puede tener fallos. El enunciado es el original.
Un parámetro, y los tres valores que lo rompen
1.er intento a pelo · al 2.º aparece la pista, al 3.º el desarrollo — la solución nunca se da al fallar: se te dice en qué te has ido y por qué.
Enunciado
Discute el sistema en función de .
La discusión del sistema según los valores de α.
- 01
Reconocer el camino
COMP1¿Por dónde se empieza a discutir un sistema cuadrado con un parámetro?
Eso es. El determinante parte el problema en dos: el caso general —que se despacha en una línea— y los pocos valores donde se anula, que son los únicos que hay que mirar uno a uno.
Probar valores puede orientar, pero no demuestra nada: una discusión tiene que cubrir todos los , y para eso hace falta el determinante.
Con un parámetro dentro, Gauss obliga a ir preguntándose en cada paso si el pivote es cero. El determinante da esos casos de golpe y ahorra el rodeo.
- 02
Uno de los valores críticos
COMP2El determinante de la matriz de coeficientes es . ¿Cuál es su raíz positiva?
un número entero — vale la forma exacta: pi/4, sqrt(3)/2, (e^2-1)/2…también anula el determinante, pero no es positivo. Las tres raíces son , y .
es raíz, sí, pero negativa. La pregunta pide la positiva.
En el determinante vale , distinto de cero: ahí el sistema es compatible determinado.
Iguala a cero cada factor de .
Desarrollo
Fuera de esos tres valores el sistema es compatible determinado, con solución única.
- 03
Justificar el argumento
COMP4Ordena la discusión. Una pieza es falsa.
- Ve eligiendo las piezas en orden.
Determinante cero solo dice que no es compatible determinado. A partir de ahí puede ser incompatible o compatible indeterminado, y lo decide comparar el rango de con el de la ampliada. Dar por hecho «incompatible» se salta la mitad de la discusión, que es justo la que puntúa.
El razonamiento, en orden
Se calcula , sacando factor común para no desarrollar del todo.
Si el determinante no es cero, el rango es 3 y el sistema es compatible determinado.
En cada uno de los tres valores críticos hay que sustituir y comparar el rango de con el de la ampliada.
En el sistema queda con la tercera ecuación y el término independiente se anula, así que hay que mirar si el rango baja o no.
Resolución completa
El determinante primero, y sacando factor común para no desarrollar un polinomio de grado 3 a lo bruto:
El caso general. Si , y , el determinante no se anula: y el sistema es compatible determinado. Una sola solución, y se puede dar por Cramer.
Los tres casos críticos, que es donde está el ejercicio. En cada uno se sustituye y se comparan los dos rangos:
| qué pasa con la matriz | |
|---|---|
| la tercera fila se anula entera y el término independiente vale | |
| la segunda columna y el término independiente cambian de forma | |
| los términos independientes primero y tercero se anulan |
Y en cada uno se aplica Rouché-Fröbenius: si los dos rangos coinciden y valen el número de incógnitas, determinado; si coinciden y valen menos, indeterminado, con tantos parámetros como incógnitas menos rango; y si no coinciden, incompatible.
Lo que este ejercicio entrena, y por qué el determinante va primero. Un sistema con parámetro no se resuelve: se discute. Y discutir es partir la recta real en trozos y decir qué pasa en cada uno. El determinante hace esa partición de golpe, y deja un caso general que ocupa una línea y unos pocos casos aislados. Empezar por Gauss obliga a preguntarse en cada pivote si se anula, y eso es la misma discusión pero desordenada.
¿Esto está mal? Dilo →La resolución es nuestra y puede tener fallos. El enunciado es el original.
El mismo sistema, escrito y resuelto con matrices
1.er intento a pelo · al 2.º aparece la pista, al 3.º el desarrollo — la solución nunca se da al fallar: se te dice en qué te has ido y por qué.
Enunciado
Resuelve en forma matricial:
La solución del sistema, resuelto en forma matricial.
- 01
Reconocer el camino
COMP1«Resolver en forma matricial» significa escribirlo como y despejar. ¿Qué hace falta para poder hacerlo?
Da igual lo que valgan. Con el método también funciona, y da la única solución posible: la trivial.
Exacto. La solución es , y eso solo existe si tiene inversa. Por eso el método vale para sistemas cuadrados y compatibles determinados, y no para los demás.
Es necesario para que sea cuadrada, pero no basta: una matriz cuadrada con determinante cero no tiene inversa y el método no arranca.
- 02
El determinante de la matriz
COMP2Para , ¿cuánto vale ?
un número entero — vale la forma exacta: pi/4, sqrt(3)/2, (e^2-1)/2…Signo cambiado. Desarrollando por la primera fila: .
Si fuera cero la matriz no tendría inversa y el método pedido no se podría aplicar. Repasa el desarrollo: el término que sobrevive es el .
es el primer sumando del desarrollo antes de multiplicar por el menor, que aquí vale cero. Falta el término de la tercera columna.
Desarrolla por la primera fila: el término central se anula porque .
Desarrollo
Distinto de cero, así que es invertible y el sistema tiene solución única.
- 03
Justificar el argumento
COMP4Ordena la resolución. Una pieza es falsa.
- Ve eligiendo las piezas en orden.
El producto de matrices no conmuta, así que el lado por el que se multiplica importa. De se pasa a , o sea , multiplicando por la izquierda en los dos lados. ni siquiera se puede calcular aquí: es y es .
El razonamiento, en orden
El sistema se escribe con , y .
, luego es invertible.
Entonces , y basta calcular la inversa y multiplicar.
Sale , , , y se comprueba sustituyendo en las tres ecuaciones.
Resolución completa
Escribirlo como producto, que es lo que pide el enunciado:
Comprobar que se puede despejar. , así que tiene inversa y
La inversa, por la adjunta traspuesta dividida entre el determinante:
Y multiplicando por :
La comprobación, que en este método es especialmente barata porque ya tienes las tres ecuaciones delante:
Cuándo compensa este método y cuándo no. Calcular una inversa cuesta nueve menores; Gauss resuelve el mismo sistema en tres operaciones de fila. Así que para un sistema, Gauss gana. La inversa compensa cuando hay que resolver varios sistemas con la misma matriz y distintos términos independientes: la inversa se calcula una vez y cada solución es una multiplicación.
¿Esto está mal? Dilo →La resolución es nuestra y puede tener fallos. El enunciado es el original.
Cuatro ecuaciones para tres incógnitas
1.er intento a pelo · al 2.º aparece la pista, al 3.º el desarrollo — la solución nunca se da al fallar: se te dice en qué te has ido y por qué.
Enunciado
Estudia la compatibilidad del sistema, y resuélvelo si es compatible:
Si el sistema es compatible y, en su caso, su solución.
- 01
Reconocer el camino
COMP1Hay cuatro ecuaciones y tres incógnitas. ¿Qué se puede anticipar de eso?
No. Si la cuarta ecuación fuera, por ejemplo, la suma de las dos primeras, no aportaría nada y el sistema sería perfectamente compatible. Hay que mirarlo.
Bien dicho. Que sobren ecuaciones no impide que haya solución —si la cuarta es combinación de las otras, no estorba—, pero es justamente donde conviene comprobar antes de ponerse a resolver.
Las infinitas soluciones aparecen cuando faltan ecuaciones —rango menor que el número de incógnitas—, no cuando sobran.
- 02
El rango de la matriz de coeficientes
COMP2El determinante formado por las tres primeras filas vale . ¿Cuánto vale entonces ?
un número entero — vale la forma exacta: pi/4, sqrt(3)/2, (e^2-1)/2…El rango no puede pasar del número de columnas, que aquí son 3. Cuatro filas no dan rango 4 si solo hay tres incógnitas.
Con un menor de orden 3 distinto de cero, el rango es al menos 3. Un ya lo garantiza.
es el determinante, no el rango. El rango es el orden del mayor menor no nulo, o sea 3.
Un menor de orden 3 no nulo garantiza rango 3, y no puede ser mayor porque solo hay tres columnas.
Desarrollo
Y como tiene tres columnas, ese es el máximo posible.
- 03
Justificar el argumento
COMP4Ordena el estudio. Una pieza es falsa.
- Ve eligiendo las piezas en orden.
Las tres primeras sí la tienen, y única: es la que acabamos de calcular. Lo que no hay es una solución que cumpla las cuatro a la vez. Un sistema incompatible puede tener subsistemas perfectamente compatibles, y de hecho es lo normal.
El razonamiento, en orden
El menor de las tres primeras filas vale , luego .
Resolviendo esas tres ecuaciones sale , , .
Sustituyendo en la cuarta: , y el enunciado pide .
Luego la cuarta ecuación no es compatible con las otras tres: y el sistema es incompatible.
Resolución completa
Rouché-Fröbenius, en dos pasos.
1 · El rango de . El menor formado por las tres primeras filas
así que , el máximo posible con tres columnas.
2 · El rango de la ampliada. Con rango 3 en , las tres primeras ecuaciones tienen solución única. Resolviéndolas:
Y ahora la prueba de fuego: ¿cumple la cuarta?
No. Así que la cuarta ecuación no es combinación lineal de las otras tres, y al añadirla el rango sube:
Y el enunciado ya lo avisaba con «resuélvelo si es compatible». Ese «si» condicional es la pista de que la respuesta puede ser que no.
La forma rápida de hacerlo, y por qué funciona. No hace falta calcular el determinante de la ampliada: basta resolver el subsistema de rango máximo y sustituir en la ecuación que sobra. Si cuadra, el sistema es compatible y esa era la solución; si no cuadra, es incompatible y ya está. Un determinante de orden 4 son cuatro menores de orden 3; esto es una suma.
¿Esto está mal? Dilo →La resolución es nuestra y puede tener fallos. El enunciado es el original.
Los tres casos de una discusión, uno de cada tipo
1.er intento a pelo · al 2.º aparece la pista, al 3.º el desarrollo — la solución nunca se da al fallar: se te dice en qué te has ido y por qué.
Enunciado
Discute la compatibilidad en función de :
La compatibilidad del sistema según los valores de a.
- 01
Reconocer el camino
COMP1Las tres ecuaciones empiezan por con coeficiente 1. ¿Qué conviene hacer con eso antes de calcular el determinante?
Ya vale 1, así que no habría nada que dividir. Y ojo: dividir una fila sí cambia el determinante, aunque no cambie las soluciones.
Eso es. Restar filas no altera el determinante, y aquí deja dos ceros en la primera columna: el de orden 3 se reduce a uno de orden 2 sin desarrollar nada.
Se puede, pero es más largo y con un parámetro dentro cada término trae su . Restar filas primero deja la cuenta en dos líneas.
- 02
El valor de a que hace el sistema incompatible
COMP2El determinante vale , así que los casos críticos son y . ¿Cuál de los dos deja el sistema incompatible?
un número entero — vale la forma exacta: pi/4, sqrt(3)/2, (e^2-1)/2…Con la desaparece de las tres ecuaciones y queda un sistema en e que sí tiene solución: es compatible indeterminado, con libre.
no anula el determinante: . Ahí el sistema es compatible determinado.
es el coeficiente de la fórmula del determinante, no un valor crítico de . Los valores críticos son las raíces.
Sustituye y resta la primera ecuación a las otras dos: mira si las dos condiciones sobre se pueden cumplir a la vez.
Desarrollo
Con las tres ecuaciones son
Restando la primera a las otras dos:
Dos valores distintos para la misma incógnita: incompatible.
- 03
Justificar el argumento
COMP4Ordena la discusión. Una pieza es falsa.
- Ve eligiendo las piezas en orden.
Es justo lo contrario, y por eso este ejercicio está bien elegido: los dos valores anulan el determinante y dan resultados opuestos — uno indeterminado y el otro incompatible. El determinante dice dónde mirar, nunca qué se va a encontrar.
El razonamiento, en orden
Restando la primera fila a las otras dos, el determinante queda .
Si y , el determinante no se anula y el sistema es compatible determinado.
Con la incógnita desaparece de las tres ecuaciones: el rango baja a 2 y el sistema es compatible indeterminado, con libre.
Con las dos ecuaciones que salen de restar dan e : incompatible.
Resolución completa
El determinante, restando filas primero. Las tres ecuaciones tienen el mismo coeficiente en , así que y dejan ceros en la primera columna sin cambiar el determinante:
Caso general, y : el determinante no se anula, el rango es 3 y el sistema es compatible determinado.
Caso . Los coeficientes de son y : la desaparece del sistema. Queda
Las dos primeras dan , , y la tercera se cumple: ✓ Los dos rangos valen 2, menor que las tres incógnitas: compatible indeterminado, con libre. Las soluciones son para todo .
Caso . Restando la primera a las otras dos sale por un lado y por otro: incompatible.
Por qué este ejercicio vale por tres. Los dos valores que anula el determinante dan los dos resultados posibles, uno cada uno. Eso deja claro lo que el determinante hace y lo que no: señala dónde mirar, y nunca dice qué vas a encontrar. Un sistema con determinante cero puede tener infinitas soluciones o ninguna, y decidirlo es Rouché-Fröbenius, no el determinante.
¿Esto está mal? Dilo →La resolución es nuestra y puede tener fallos. El enunciado es el original.
El parámetro que hace el núcleo lo más grande posible
1.er intento a pelo · al 2.º aparece la pista, al 3.º el desarrollo — la solución nunca se da al fallar: se te dice en qué te has ido y por qué.
Enunciado
Halla el valor de para el que la dimensión del núcleo del endomorfismo
sea la mayor posible, y encuentra una base.
El valor de a que maximiza dim(ker f), y una base del núcleo.
- 01
Reconocer el camino
COMP1¿Qué relación hay entre la dimensión del núcleo y el rango de la matriz asociada?
Exacto, y eso da la vuelta a la pregunta: buscar el núcleo mayor es buscar el rango menor. La fórmula es el teorema de las dimensiones, .
Se calcula así, sí, pero la dimensión sale del rango sin resolver nada. Por eso conviene mirar el rango primero.
Van al revés. Lo que el rango gana en imagen lo pierde el núcleo: su suma es constante e igual a la dimensión del espacio de partida.
- 02
La dimensión mayor que puede tener el núcleo
COMP2El determinante es , y para la matriz tiene todas sus entradas iguales a 1. ¿Cuánto vale en ese caso?
un número entero — vale la forma exacta: pi/4, sqrt(3)/2, (e^2-1)/2…es lo que sale en , donde el rango baja solo a 2. Con las tres filas son iguales y el rango cae hasta 1, así que el núcleo llega a 2.
Un núcleo de dimensión 3 significaría que manda todo al cero, o sea que la matriz es nula. Con unos en todas las entradas el rango es 1, no 0.
es lo que vale el núcleo cuando el determinante no se anula. Aquí se anula, así que hay núcleo.
Si las tres filas son iguales, ¿cuánto vale el rango? Y menos eso.
Desarrollo
Con ,
- 03
Justificar el argumento
COMP4Ordena el razonamiento. Una pieza es falsa.
- Ve eligiendo las piezas en orden.
Coincide, pero no es la razón, y confundirlas cuesta caro en diagonalización. La multiplicidad de la raíz no determina la dimensión del núcleo: hay que mirar el rango de la matriz sustituida. Aquí la dimensión sale 2 porque las tres filas son iguales, no porque la raíz esté repetida.
El razonamiento, en orden
La matriz asociada es , con determinante .
Si y el rango es 3 y el núcleo es , de dimensión 0.
Con el rango baja a 2 y .
Con las tres filas son iguales, el rango es 1 y : el mayor posible.
Resolución completa
Dar la vuelta a la pregunta. Por el teorema de las dimensiones,
así que buscar el núcleo más grande es buscar el rango más pequeño.
El determinante, sumando las tres filas a la primera —todas suman lo mismo— y sacando factor común:
Se anula en y en , y en cualquier otro caso el rango es 3 y el núcleo es solo el vector nulo.
En las filas son , y : dos son independientes, el rango es 2 y .
En la matriz es toda unos. Las tres filas son la misma, el rango es 1, y
La base. El núcleo es el conjunto de soluciones de —una sola ecuación, porque las tres son idénticas—. Despejando y dando valores:
Dos vectores independientes que cumplen la ecuación: base del núcleo.
Lo que este ejercicio prepara. Es diagonalización con otro nombre. Cuando en el tema 7 se calcule el subespacio propio de un autovalor , lo que se hará es exactamente esto: el núcleo de , y su dimensión saldrá del rango de esa matriz — no de la multiplicidad de en el polinomio característico. La pieza trampa de arriba es el error que allí decide si una matriz diagonaliza o no.
¿Esto está mal? Dilo →La resolución es nuestra y puede tener fallos. El enunciado es el original.
Un sistema homogéneo, y cuándo tiene algo más que el cero
1.er intento a pelo · al 2.º aparece la pista, al 3.º el desarrollo — la solución nunca se da al fallar: se te dice en qué te has ido y por qué.
Enunciado
Discute y resuelve en función de y .
La discusión en función de a y b, y las soluciones.
- 01
Reconocer el camino
COMP1Todos los términos independientes son cero. ¿Qué se sabe antes de calcular nada?
Eso es, y cambia la pregunta: en un homogéneo nunca se discute si hay solución, sino si hay más que la trivial. Y eso pasa exactamente cuando el rango es menor que el número de incógnitas.
Un sistema homogéneo no puede ser incompatible nunca: basta tomar todas las incógnitas iguales a cero. Los dos rangos coinciden siempre, porque la columna añadida es de ceros.
Solo si el rango es menor que 3. Con rango 3 la única solución es la trivial, que también es «una solución».
- 02
El valor de b que permite soluciones no triviales
COMP2Las dos primeras ecuaciones obligan a que la solución sea múltiplo de . Sustituyendo en las otras dos salen y . ¿Cuánto vale ?
un número entero — vale la forma exacta: pi/4, sqrt(3)/2, (e^2-1)/2…Signo cambiado. Restando las dos ecuaciones queda , así que .
Con las dos condiciones darían y , incompatibles entre sí. No hay ningún que valga.
es el coeficiente de en la primera ecuación. La condición sobre sale de restar las dos ecuaciones de abajo.
Resta de .
Desarrollo
Y sustituyendo en la segunda, .
- 03
Justificar el argumento
COMP4Ordena la discusión. Una pieza es falsa.
- Ve eligiendo las piezas en orden.
Un sistema homogéneo nunca es incompatible: el vector nulo siempre lo cumple. Para los demás pares el rango es 3 y la única solución es la trivial — que sigue siendo una solución, no la ausencia de ellas.
El razonamiento, en orden
Las dos primeras ecuaciones son independientes, y resolviéndolas sale , : la solución es .
Sustituyendo ese vector en la tercera: ; y en la cuarta: .
Las dos condiciones a la vez dan y .
Con y el sistema es compatible indeterminado, y sus soluciones son .
Resolución completa
Un homogéneo siempre es compatible, así que la pregunta no es si hay solución sino si hay más que la trivial. Y hay más exactamente cuando el rango baja de 3.
Las dos primeras ecuaciones no llevan parámetros, así que se resuelven de entrada:
Es decir: cualquier solución del sistema completo tiene que ser de la forma . Eso reduce el problema a comprobar si ese vector cumple las otras dos.
Sustituyendo :
Restando, , y de ahí
La discusión completa:
| caso | rango | soluciones |
|---|---|---|
| y | 2 | , infinitas |
| cualquier otro | 3 | solo la trivial |
El atajo que ahorra el trabajo entero. En vez de calcular rangos de una matriz con dos parámetros dentro, se resuelve la parte sin parámetros —que ya deja una sola dirección posible— y se obliga a las otras ecuaciones a contener esa dirección. Dos ecuaciones en y , y listo. Buscar primero lo que no tiene parámetros es la jugada que más veces funciona en este tema.
¿Esto está mal? Dilo →La resolución es nuestra y puede tener fallos. El enunciado es el original.
Un determinante con tres raíces, y qué pasa en cada una
1.er intento a pelo · al 2.º aparece la pista, al 3.º el desarrollo — la solución nunca se da al fallar: se te dice en qué te has ido y por qué.
Enunciado
Discute y resuelve en función de sus parámetros:
La discusión según m, y las soluciones donde las haya.
- 01
Reconocer el camino
COMP1El determinante sale : tres valores críticos. ¿Qué se puede afirmar de los tres antes de mirar ninguno?
No se sabe todavía. De hecho aquí una de las tres raíces da infinitas soluciones y las otras dos ninguna.
Eso es. El determinante nulo descarta la solución única y no decide nada más: cada raíz puede salir incompatible o indeterminada, y aquí van a salir de los dos tipos.
Tampoco: determinante cero significa «no hay solución única», no «hay muchas». Dos de estas tres raíces dejan el sistema sin solución ninguna.
- 02
El valor crítico que se ve sin calcular nada
COMP2Uno de los tres valores críticos se delata solo con mirar las ecuaciones primera y segunda: las deja con el mismo lado izquierdo y lados derechos opuestos. ¿Cuál es?
un número entero — vale la forma exacta: pi/4, sqrt(3)/2, (e^2-1)/2…Con la segunda ecuación pierde la , pero la primera y la segunda no se parecen. La incompatibilidad de existe, pero hay que trabajarla: sale de que la tercera contradice a la suma de las otras dos.
Con los lados derechos se anulan los tres — eso no da contradicción, da un sistema homogéneo de rango 2: infinitas soluciones, justo lo contrario.
Sustituye y escribe las dos primeras ecuaciones completas.
Desarrollo
Con :
El mismo plano no puede valer 2 y a la vez: incompatible, sin tocar la tercera ecuación.
- 03
Justificar el argumento
COMP4Ordena la discusión completa. Una pieza es falsa.
- Ve eligiendo las piezas en orden.
Un homogéneo solo se queda en la trivial cuando su rango es máximo, y aquí en el rango baja a 2: hay una recta entera de soluciones. «Homogéneo» nunca significa «solo el cero».
El razonamiento, en orden
: fuera de el sistema es compatible determinado.
Con , las dos primeras ecuaciones dicen y : incompatible.
Con , sumar las dos primeras da , y la tercera pide : incompatible.
Con , los tres términos independientes se anulan y la tercera ecuación repite la primera: queda un homogéneo de rango 2, compatible indeterminado con soluciones .
Resolución completa
El determinante. Desarrollando y factorizando:
Caso general (): compatible determinado, y la solución sale por Cramer.
. Las dos primeras ecuaciones quedan y : el mismo plano con dos alturas distintas. Incompatible.
. El sistema es , , . La suma de las dos primeras da ; la tercera exige . Incompatible.
. Todos los términos independientes valen : homogéneo. Las ecuaciones son , , — la tercera es la primera. Restando las dos independientes: , o sea , y . Compatible indeterminado:
| caso | qué pasa |
|---|---|
| compatible determinado | |
| incompatible | |
| incompatible | |
| compatible indeterminado, |
Lo que enseña este sistema. Tres raíces del determinante y tres finales distintos de dos tipos. La factorización dice dónde parar a mirar; lo que hay en cada parada —contradicción a simple vista, contradicción escondida, o una recta de soluciones— solo lo dice Rouché-Fröbenius caso a caso.
¿Esto está mal? Dilo →La resolución es nuestra y puede tener fallos. El enunciado es el original.
Cuatro ecuaciones y tres incógnitas, con el parámetro en dos sitios
1.er intento a pelo · al 2.º aparece la pista, al 3.º el desarrollo — la solución nunca se da al fallar: se te dice en qué te has ido y por qué.
Enunciado
Discute y resuelve en función de sus parámetros:
Para qué valores de a hay solución, y cuáles son.
- 01
Reconocer el camino
COMP1Cuatro ecuaciones para tres incógnitas. ¿Por dónde conviene empezar?
Eso es. La primera, la tercera y la cuarta no llevan en los coeficientes, y de hecho la cuarta resulta ser combinación de las otras dos: eso decide media discusión de golpe.
Una matriz no tiene determinante. Se pueden mirar los menores de orden 3, pero con el parámetro dentro es más largo que usar la estructura del sistema.
Se puede, pero arrastra la por todas las cuentas desde el primer paso. Aquí hay tres ecuaciones limpias que hacen la mitad del trabajo solas.
- 02
El único valor de a con solución
COMP2Multiplica la primera ecuación por 3 y súmale la tercera: sale exactamente el lado izquierdo de la cuarta. ¿Qué valor tiene que tomar para que el sistema pueda tener solución?
un número entero — vale la forma exacta: pi/4, sqrt(3)/2, (e^2-1)/2…Signo: , no . La cuenta es tres veces el lado derecho de la primera más el de la tercera.
sería : has sumado el lado derecho de la tercera con el signo cambiado. Es , no .
. Haz la misma cuenta con los lados derechos.
Desarrollo
La cuarta ecuación dice , así que o o no hay nada que hacer.
- 03
Justificar el argumento
COMP4Ordena la discusión. Una pieza es falsa.
- Ve eligiendo las piezas en orden.
El número de ecuaciones no manda: manda el rango. Aquí hay cuatro ecuaciones pero solo dos independientes cuando , y dos ecuaciones con tres incógnitas dejan una recta entera. Un sistema «sobredeterminado» puede acabar en cualquiera de los tres casos.
El razonamiento, en orden
El lado izquierdo de la cuarta ecuación es veces la primera más la tercera, así que sus lados derechos obligan a ; con el sistema es incompatible.
Con quedan tres ecuaciones efectivas, y su determinante se anula justo en : tampoco ahí hay solución única.
Resolviendo la primera y la tercera con libre sale , , y la segunda ecuación con se cumple para todo .
La solución es la recta : compatible indeterminado.
Resolución completa
La dependencia que decide todo. Sin tocar el parámetro:
El lado izquierdo de la cuarta ecuación es exactamente ese. Así que si , la cuarta contradice a las otras: incompatible. Queda por ver qué pasa con .
Con . La cuarta sobra, y el sistema es la 1.ª, la 2.ª (que ahora es ) y la 3.ª. De la 1.ª y la 3.ª, con :
Y la 2.ª, sustituyendo: ✓ — se cumple para todo : también era dependiente.
La sorpresa que conviene esperar. Cuatro ecuaciones y tres incógnitas suenan a «como mucho una solución», y este sistema acaba con infinitas. Las dependencias entre ecuaciones pueden dejar el rango en 2 aunque haya cuatro filas — contar filas no es calcular rangos.
¿Esto está mal? Dilo →La resolución es nuestra y puede tener fallos. El enunciado es el original.
El determinante que solo llega a segundo grado
1.er intento a pelo · al 2.º aparece la pista, al 3.º el desarrollo — la solución nunca se da al fallar: se te dice en qué te has ido y por qué.
Enunciado
Discute y resuelve en función de sus parámetros:
La discusión según a, y las soluciones donde las haya.
- 01
Reconocer el camino
COMP1El parámetro aparece en cuatro coeficientes y el determinante, desarrollado, se queda en — segundo grado, no tercero. ¿Por qué puede pasar eso?
Exacto. El grado que se ve a ojo es solo una cota. Aquí los productos con y se anulan entre sí y quedan dos raíces, no tres.
No hay ninguna regla así. Comprueba con un valor: en el determinante da 3, y en da 3. Casan.
Si lo fueran, el determinante sería idénticamente cero, y no lo es: vale 3 en . La cancelación es de términos, no de filas enteras.
- 02
El caso que sale redundante
COMP2Con el determinante se anula. Comprueba qué relación guarda la tercera ecuación con las dos primeras en ese caso: ¿la suma de las dos primeras da la tercera? Responde con el valor del lado derecho que le sale a esa suma.
un número entero — vale la forma exacta: pi/4, sqrt(3)/2, (e^2-1)/2…Con los lados derechos de las dos primeras son y : su suma es . Y la tercera pide — por eso es redundante y hay infinitas soluciones.
Estás sumando con : eso mezcla la segunda y la tercera. La cuenta es 1.ª + 2.ª, con lados derechos .
Con : la 1.ª es y la 2.ª es . Suma lados izquierdos y derechos y compara con la 3.ª, que es .
Desarrollo
Con :
que es exactamente la tercera. Rango 2 con dos ecuaciones independientes: compatible indeterminado.
- 03
Justificar el argumento
COMP4Ordena la discusión. Una pieza es falsa.
- Ve eligiendo las piezas en orden.
La primera mitad es verdad; la segunda no se sigue de nada. Que haya dos raíces no las hace gemelas: aquí una da infinitas soluciones y la otra ninguna.
El razonamiento, en orden
: fuera de y , compatible determinado.
En la tercera ecuación es la suma de las dos primeras: compatible indeterminado.
En , restar el doble de la 1.ª a la 2.ª da , y restar el triple de la 1.ª a la 3.ª da : dos valores distintos para , incompatible.
Los dos casos críticos salen distintos: uno indeterminado y uno incompatible, y eso no se sabía hasta mirarlos.
Resolución completa
El determinante.
(comprobación rápida: en el desarrollo da 3, y ✓). Fuera de y : compatible determinado.
. El sistema es , , . La tercera es la suma de las otras dos: rango 2. Con : restando la 1.ª de la 2.ª sale , o sea ; y de la 1.ª, . Compatible indeterminado:
. El sistema es , , . (2.ª)(1.ª): . (3.ª)(1.ª): . De la primera y de la segunda : incompatible.
| caso | qué pasa |
|---|---|
| compatible determinado | |
| compatible indeterminado, | |
| incompatible |
El aviso del grado. Cuatro apariciones del parámetro y un determinante de grado dos: el grado visible es una cota, no una promesa. Desarrollar y factorizar es lo único que dice cuántos casos hay que discutir de verdad.
¿Esto está mal? Dilo →La resolución es nuestra y puede tener fallos. El enunciado es el original.
El clásico de la diagonal, con el cuadrado en el lado derecho
1.er intento a pelo · al 2.º aparece la pista, al 3.º el desarrollo — la solución nunca se da al fallar: se te dice en qué te has ido y por qué.
Enunciado
Discute y resuelve en función de sus parámetros:
La discusión según a, y las soluciones donde las haya.
- 01
Reconocer el camino
COMP1La matriz es la del ejercicio 5.7 — en la diagonal, unos fuera— con determinante . ¿Qué cambia aquí respecto a aquel?
Eso es. La matriz decide dónde mirar y el lado derecho decide qué se encuentra: el mismo determinante puede acabar en incompatible o en indeterminado según qué columna se le pegue.
La parte de « es determinado» sí es la misma. Pero en las raíces todo depende del lado derecho, y este no es el homogéneo de 5.7.
El determinante vale exactamente igual: dice dónde el sistema deja de ser determinado. Lo que añade el término independiente es el segundo paso, no invalida el primero.
- 02
La suma que decide el caso a = −2
COMP2Con , suma las tres ecuaciones. El lado izquierdo se anula entero. ¿Cuánto vale el lado derecho, ?
un número entero — vale la forma exacta: pi/4, sqrt(3)/2, (e^2-1)/2…, no cero. Y ahí está la gracia: la izquierda suma cero y la derecha suma 3 — el sistema con es incompatible.
Has puesto . Un cuadrado no es negativo: , y la suma es .
Cada columna de coeficientes suma , que con es cero. El lado derecho suma .
Desarrollo
Sumando las tres ecuaciones:
Con : el lado izquierdo es y el derecho es . Cero no es tres: incompatible.
- 03
Justificar el argumento
COMP4Ordena la discusión. Una pieza es falsa.
- Ve eligiendo las piezas en orden.
es UNA de las soluciones, no LA solución: con cualquier terna que sume 1 vale — también. Decir «única» donde hay un plano entero es el error que el corrector busca.
El razonamiento, en orden
: fuera de y , compatible determinado, con solución por Cramer .
Con las tres ecuaciones son la misma, : compatible indeterminado con dos parámetros libres.
Con , sumar las tres ecuaciones da : incompatible.
La raíz doble y la simple dan resultados opuestos, y no por la multiplicidad: por lo que hace el lado derecho en cada una.
Resolución completa
El determinante es el del ejercicio 5.7:
Caso general (): compatible determinado. Cramer da
(comprobación en : , y en efecto ✓, ✓, ✓).
. Las tres ecuaciones son : un solo plano. Compatible indeterminado con dos libres:
. Sumando las tres: , es decir . Incompatible.
| caso | qué pasa |
|---|---|
| determinado, | |
| indeterminado, el plano | |
| incompatible |
Por qué este sistema es EL clásico. La misma matriz que en diagonalización dará el autovalor doble, el truco de sumar las tres ecuaciones, y los dos finales opuestos en las dos raíces. Si solo se pudiera hacer una discusión del boletín, sería esta.
¿Esto está mal? Dilo →La resolución es nuestra y puede tener fallos. El enunciado es el original.
Un homogéneo que llega desordenado
1.er intento a pelo · al 2.º aparece la pista, al 3.º el desarrollo — la solución nunca se da al fallar: se te dice en qué te has ido y por qué.
Enunciado
Discute y resuelve en función de sus parámetros:
Para qué valores de m hay soluciones no triviales, y cuáles son.
- 01
Reconocer el camino
COMP1Las dos primeras ecuaciones llevan incógnitas en el lado derecho. ¿Qué hay que hacer antes que nada?
Eso es. , , . Homogéneo: compatible siempre, y la única pregunta es cuándo hay algo más que el cero.
Eso mezcla ecuaciones sin ordenarlas primero y es fácil perder un signo. Reordenar cada ecuación es una línea y no se equivoca.
Tal como está escrito, el «» del lado derecho no es un término independiente: si lo tratas como tal, la matriz que montas no es la del sistema.
- 02
La raíz doble del determinante
COMP2Ordenado el sistema, el determinante factoriza como . ¿Cuál es su raíz doble?
un número entero — vale la forma exacta: pi/4, sqrt(3)/2, (e^2-1)/2…es la raíz simple. La doble es la que aparece dos veces en la factorización: .
Signo: el factor es , que se anula en . En el determinante vale .
: ¿qué valor anula el factor que está al cuadrado?
Desarrollo
Raíz doble , raíz simple . (Comprobación en : el desarrollo da , y ✓.)
- 03
Justificar el argumento
COMP4Ordena la discusión. Una pieza es falsa.
- Ve eligiendo las piezas en orden.
La dimensión del espacio de soluciones es y se mira en la matriz, no en la multiplicidad. Aquí en el rango baja a 1, así que salen parámetros: un plano. Que coincida a veces con la multiplicidad no lo convierte en regla — y en diagonalización, fiarse de eso cuesta el ejercicio.
El razonamiento, en orden
Reordenado, el sistema es homogéneo: compatible para todo , y solo hay que decidir cuándo la solución trivial está acompañada.
Fuera de y el determinante no se anula y la única solución es .
En el rango cae a 1 —las tres ecuaciones dicen o su opuesta— y las soluciones forman un plano: .
En el rango es 2 y las soluciones son la recta .
Resolución completa
Primero, ordenar. Pasando e a la izquierda:
Homogéneo: compatible siempre, la pregunta es cuándo hay más que la trivial.
El determinante.
Fuera de : solo la trivial .
. Las ecuaciones quedan , , : la misma condición tres veces. Rango 1, plano de soluciones:
. Queda , , . De la primera ; sustituyendo, . Rango 2, recta:
(comprobación en la tercera: ✓).
Los dos avisos de este sistema. Uno: un sistema no se discute hasta que está ORDENADO — el del lado derecho es coeficiente, no término independiente. Dos: la raíz doble dio un plano y la simple una recta, pero eso lo decidió el rango en cada caso, no la multiplicidad.
¿Esto está mal? Dilo →La resolución es nuestra y puede tener fallos. El enunciado es el original.
La incógnita que queda fijada antes de discutir nada
1.er intento a pelo · al 2.º aparece la pista, al 3.º el desarrollo — la solución nunca se da al fallar: se te dice en qué te has ido y por qué.
Enunciado
Discute y resuelve en función de sus parámetros:
Para qué valores de a hay solución, y cuáles son.
- 01
Reconocer el camino
COMP1Suma la segunda y la tercera ecuación. ¿Qué obtienes?
no es una contradicción: es un dato. Contradicción sería , y aquí la sobrevive a la suma.
Aporta muchísimo: las y las se cancelan y queda . Una incógnita fijada gratis antes de discutir.
Eso es. Dos de las cuatro ecuaciones no llevan parámetro y entre ellas ya fijan . A partir de ahí el resto del sistema son condiciones sobre , y .
- 02
El segundo valor de a que funciona
COMP2Restando la segunda de la primera queda , y con eso obliga a . Uno de los valores buenos es ; ¿cuál es el otro?
un número (o la fracción -1/2) — vale la forma exacta: pi/4, sqrt(3)/2, (e^2-1)/2…Signo: el factor es , que se anula en , no en .
anula pero no la ecuación completa: con queda , y en eso es . Falso: no vale.
. O bien , o bien puedes dividir por y despejar.
Desarrollo
O , o .
- 03
Justificar el argumento
COMP4Ordena la discusión. Una pieza es falsa.
- Ve eligiendo las piezas en orden.
Los dos valores buenos son del PARÁMETRO, no de la solución: para cada válido el sistema tiene UNA solución. Confundir el espacio de parámetros con el de soluciones es un clásico de esta pregunta.
El razonamiento, en orden
La 2.ª y la 3.ª fijan ; con eso, la 2.ª y la 4.ª determinan y en función de : el sistema de las tres últimas ecuaciones siempre tiene solución única.
La 1.ª ecuación es entonces una CONDICIÓN sobre : .
Con la solución es , y con es : compatible determinado en los dos.
Para cualquier otro , el sistema es incompatible.
Resolución completa
Lo gratis primero. (2.ª)(3.ª): , así que para cualquier .
Las otras dos incógnitas. Con , la 2.ª da y la 4.ª da . Sumando y restando:
La primera ecuación decide. con todo sustituido:
Solo dos valores de tienen solución:
y para cualquier otro el sistema es incompatible. (Comprobación de la segunda: ✓.)
La discusión al revés. En los sistemas anteriores el parámetro movía la matriz y casi todo valor de daba solución. Aquí es al contrario: cuatro ecuaciones para tres incógnitas dejan al parámetro una condición que cumplir, y solo DOS valores de sobreviven. La pregunta «¿para qué es compatible?» puede tener como respuesta un conjunto finito.
¿Esto está mal? Dilo →La resolución es nuestra y puede tener fallos. El enunciado es el original.
Un homogéneo con tres valores críticos
1.er intento a pelo · al 2.º aparece la pista, al 3.º el desarrollo — la solución nunca se da al fallar: se te dice en qué te has ido y por qué.
Enunciado
Discute y resuelve en función de sus parámetros:
Para qué valores de m hay soluciones no triviales, y cuáles son.
- 01
Reconocer el camino
COMP1El determinante es . ¿Cuántas rectas de soluciones no triviales va a tener este sistema en total?
Justo al revés: que sea homogéneo garantiza que la trivial existe siempre, y en las raíces del determinante aparecen las no triviales.
El sistema cambia con : en cada valor crítico es OTRO sistema y su recta de soluciones apunta a otro sitio. No hay una recta común.
Eso es. En cada raíz el rango baja de 3 (aquí siempre a 2), y un homogéneo de rango 2 con tres incógnitas deja una recta. Tres raíces, tres rectas distintas.
- 02
La dirección en m = 2
COMP2Con , resuelve el sistema: de la segunda ecuación, . Tomando , ¿cuánto vale ?
un número entero — vale la forma exacta: pi/4, sqrt(3)/2, (e^2-1)/2…Signo: , así que . Con la segunda ecuación daría , no cero.
es el que sale con . Vale como dirección, pero la pregunta fija justamente para que no queden fracciones: .
con : despeja .
Desarrollo
. Y de la primera ecuación, . La dirección es ; la tercera ecuación la confirma: ✓.
- 03
Justificar el argumento
COMP4Ordena la discusión. Una pieza es falsa.
- Ve eligiendo las piezas en orden.
no es «ninguna ecuación»: es la ecuación , tan válida como cualquiera. El rango en sigue siendo 2 ( e ) y las soluciones son una recta, no un plano. Una ecuación no desaparece por quedarse corta.
El razonamiento, en orden
El sistema es homogéneo: compatible para todo , y la discusión es solo cuándo hay más que la trivial.
, con tres raíces: , y .
En las soluciones son ; en , ; en , .
Fuera de esos tres valores, la única solución es la trivial.
Resolución completa
Homogéneo, así que compatible siempre; la pregunta es dónde aparece algo más que .
El determinante.
(comprobación en : el desarrollo da , y ✓).
: queda , , . Rango 2:
: de con : ; y . Rango 2:
: de con : ; y de la primera, . La tercera lo confirma: ✓. Rango 2:
Fuera de : solo la trivial.
La foto que conviene llevarse. Un homogéneo con parámetro es una familia de sistemas, y sus valores críticos son los momentos en que el espacio de soluciones «se enciende»: aquí tres veces, cada una con su recta. Es la misma imagen que en diagonalización darán los autovalores — cada uno con su dirección propia.
¿Esto está mal? Dilo →La resolución es nuestra y puede tener fallos. El enunciado es el original.
El sistema cuyo determinante es cero para todo a
1.er intento a pelo · al 2.º aparece la pista, al 3.º el desarrollo — la solución nunca se da al fallar: se te dice en qué te has ido y por qué.
Enunciado
Discute y resuelve en función de sus parámetros:
La discusión según a, y las soluciones donde las haya.
- 01
Reconocer el camino
COMP1Las dos primeras columnas de la matriz son iguales — las tres ecuaciones empiezan por . ¿Qué consecuencia inmediata tiene?
Va a salir lo contrario: compatible para TODO . El determinante nulo no dice cuál de los dos casos toca; aquí toca siempre el bueno.
Eso es. Dos columnas iguales anulan el determinante sin desarrollar nada, y sin mirar el parámetro. Toda la discusión se juega entre indeterminado e incompatible.
No sobra: es que e solo aparecen COMO SUMA. La incógnita efectiva es , y eso es justo lo que hace que nunca haya solución única — la suma puede repartirse entre las dos de infinitas formas.
- 02
La z que sale para a distinto de 1
COMP2Resta la primera ecuación de la segunda. Para , ¿cuánto vale ?
un número entero — vale la forma exacta: pi/4, sqrt(3)/2, (e^2-1)/2…con permite dividir por , y da , no . Con la segunda ecuación diría y la primera : solo casarían en .
Signo: da . Comprueba con la tercera: ✓.
: .
Desarrollo
Y la tercera queda automáticamente satisfecha: ✓. Con , la primera da .
- 03
Justificar el argumento
COMP4Ordena la discusión. Una pieza es falsa.
- Ve eligiendo las piezas en orden.
Compruébalo en vez de temerlo: con , la segunda menos la primera da () y la tercera menos la primera da — que se cumple siempre, no contradice nada. En pasa lo mismo que en cualquier : , .
El razonamiento, en orden
Dos columnas iguales: para todo , así que el caso «compatible determinado» no existe en este sistema.
Para : , — compatible indeterminado con un parámetro, .
Para : las tres ecuaciones son — compatible indeterminado con dos parámetros.
El sistema es compatible para TODO valor de : solo cambia cuánta libertad queda.
Resolución completa
El determinante, sin desarrollar. Las columnas de y de son iguales:
Nunca hay solución única. La incógnita efectiva es la suma .
Restando la primera a las otras dos:
Si : la primera da y la segunda se cumple sola. Con , la primera ecuación deja :
Si : las tres ecuaciones son la misma, :
Compatible para todo — indeterminado siempre, con un grado de libertad de regalo en .
Lo que rompe el patrón. Después de seis sistemas donde «caso general» significaba solución única, aquí el caso general es una RECTA y el caso especial un PLANO. Cuando el determinante es idénticamente nulo, la discusión no es «único contra otros»: es cuánta libertad hay en cada tramo del parámetro.
¿Esto está mal? Dilo →La resolución es nuestra y puede tener fallos. El enunciado es el original.
El valor crítico que no es entero
1.er intento a pelo · al 2.º aparece la pista, al 3.º el desarrollo — la solución nunca se da al fallar: se te dice en qué te has ido y por qué.
Enunciado
Discute y resuelve en función de sus parámetros:
La discusión según m, y las soluciones donde las haya.
- 01
Reconocer el camino
COMP1La primera y la tercera ecuación solo se diferencian en el coeficiente de y comparten lado derecho. ¿Qué sale de restarlas?
Al contrario: obliga a en cuanto . Ninguna ecuación que relacione una incógnita con el parámetro es gratis.
no es una contradicción: se satisface con . Incompatible saldrá, pero por otra puerta y en otro valor de .
Eso es, y es la bifurcación entera del problema en una línea: con la z muere, y con las dos ecuaciones eran la misma.
- 02
El valor crítico que no es entero
COMP2El determinante factoriza como . Además de , ¿en qué valor se anula?
un número (o la fracción 1/2) — vale la forma exacta: pi/4, sqrt(3)/2, (e^2-1)/2…Signo: da . En el determinante vale .
Has leído como . El factor se anula cuando , no cuando .
: despeja m.
Desarrollo
Raíces y . (Comprobación en : el desarrollo da , y ✓.) Los valores críticos no tienen por qué ser enteros.
- 03
Justificar el argumento
COMP4Ordena la discusión. Una pieza es falsa.
- Ve eligiendo las piezas en orden.
No existe ninguna regla así: el parámetro recorre TODOS los reales, y las raíces del determinante caen donde caen. Saltarse por incómodo es dejarse un caso entero — y es exactamente el caso incompatible de este sistema.
El razonamiento, en orden
Restar la 1.ª de la 3.ª da : para es obligatorio .
Con la 3.ª repite a la 1.ª: quedan dos ecuaciones independientes, rango 2, compatible indeterminado — la recta .
Con : obliga, y las ecuaciones y piden y a la vez: incompatible.
Para : compatible determinado, con y la solución única que dejan las dos primeras.
Resolución completa
La resta que organiza todo. (3.ª)(1.ª):
Caso . La tercera era la primera. Quedan y . Restando: , o sea ; y de la segunda, . Con :
(comprobación en la 1.ª: ✓).
Caso : . Quedan y , con determinante .
- : solución única , (comprobación en : , y ✓, ✓).
- : y — la segunda por 2 es . Incompatible.
| caso | qué pasa |
|---|---|
| determinado, | |
| indeterminado, | |
| incompatible |
El aviso de la fracción. La mitad de los que discuten este sistema encuentran y paran: el se les escapa porque «no parece un valor de examen». Las raíces del determinante no saben lo que parece: hay que factorizar y creerse el resultado.
¿Esto está mal? Dilo →La resolución es nuestra y puede tener fallos. El enunciado es el original.
Dos parámetros, y un determinante que factoriza del todo
1.er intento a pelo · al 2.º aparece la pista, al 3.º el desarrollo — la solución nunca se da al fallar: se te dice en qué te has ido y por qué.
Enunciado
Discute y resuelve en función de sus parámetros:
La discusión según a y b, y las soluciones donde las haya.
- 01
Reconocer el camino
COMP1Con dos parámetros, el determinante se anula sobre TRES rectas del plano : , y . ¿Cómo se organiza una discusión así?
Se puede, y el boletín lo pide así. La factorización hace el trabajo: cada factor nulo es una recta del plano de parámetros, y fuera de ellas todo es un solo caso.
Probar valores no es discutir: te dice qué pasa en los puntos que pruebas y nada más. La factorización da las tres rectas exactas donde algo cambia.
Eso es. Con dos parámetros los casos críticos no son puntos sino rectas enteras, y dentro de una recta puede haber un punto especial (aquí, con ).
- 02
El punto especial dentro de la recta a = 1
COMP2Con , la primera y la segunda ecuación se vuelven idénticas () y la tercera queda . ¿Para qué valor de es compatible el sistema en ese caso?
un número entero — vale la forma exacta: pi/4, sqrt(3)/2, (e^2-1)/2…Con y las dos ecuaciones dicen y : incompatible. El único punto bueno de la recta es .
es la otra raíz del determinante (el factor ), no tiene que ver con esta condición. Aquí el mismo plano tiene que valer y : solo casa si .
El mismo lado izquierdo con dos lados derechos, y : ¿cuándo no se contradicen?
Desarrollo
Con el sistema entero es « vale , vale , y vale ». Compatible solo si , y entonces es UNA ecuación: , plano de soluciones.
- 03
Justificar el argumento
COMP4Ordena la discusión. Una pieza es falsa.
- Ve eligiendo las piezas en orden.
La multiplicidad del factor no reparte soluciones: en casi toda la recta el sistema es INCOMPATIBLE, y solo el punto da el plano. El cuadrado dice cómo se anula el determinante, no qué pasa con el sistema.
El razonamiento, en orden
: fuera de , y , el sistema es compatible determinado.
En (con ): la desaparece, y de , , sale y a la vez: incompatible para todo .
En : incompatible salvo el punto , donde queda el plano con dos parámetros libres.
En (con ): los rangos salen 2 y 3 — incompatible.
Resolución completa
El determinante, desarrollado y factorizado:
(comprobaciones: da 4 y ✓; da 40 y ✓).
Caso general (, , ): compatible determinado.
Recta (con ): las ecuaciones pierden la y quedan , , . De la tercera ; la primera da y la segunda . Sumando: . Incompatible en toda la recta.
Recta : la 1.ª y la 2.ª son la misma, , y la 3.ª es . Si : incompatible. En el punto : una sola ecuación,
Recta (con ): comprobando rangos, el de es 2 y el de la ampliada 3. Incompatible.
| caso | qué pasa |
|---|---|
| compatible determinado | |
| incompatible | |
| incompatible | |
| indeterminado, el plano | |
| incompatible |
El mapa antes que la lista. Con dos parámetros conviene pensar en el PLANO : tres rectas donde el determinante muere, casi todas incompatibles, y un único punto —el cruce — donde el sistema se abre a un plano de soluciones. Discutir es dibujar ese mapa.
¿Esto está mal? Dilo →La resolución es nuestra y puede tener fallos. El enunciado es el original.
El parámetro que ocupa una columna entera
1.er intento a pelo · al 2.º aparece la pista, al 3.º el desarrollo — la solución nunca se da al fallar: se te dice en qué te has ido y por qué.
Enunciado
Discute y resuelve en función de sus parámetros:
La discusión según a y b, y las soluciones donde las haya.
- 01
Reconocer el camino
COMP1Las tres ecuaciones empiezan por : la columna de la es . ¿Qué pasa en cuanto ?
No necesariamente: sin la , quedan tres ecuaciones para y , que pueden ser compatibles o no. De hecho aquí hay valores de donde sí lo son.
Eso es. Una columna de ceros es una incógnita de la que el sistema no dice nada. Por eso el factor del determinante no hay ni que calcularlo: está a la vista.
Se pierde una COLUMNA, no una fila: las tres ecuaciones siguen ahí, pero hablan solo de y de .
- 02
Los b que salvan el caso a = 0
COMP2Con , restar la primera de la tercera da , y el sistema en solo resulta compatible para dos valores de . Uno es ; ¿cuál es el otro?
un número entero — vale la forma exacta: pi/4, sqrt(3)/2, (e^2-1)/2…Con y : la 1.ª dice y la 2.ª , y la 3.ª — tendría que valer y a la vez. Incompatible.
tampoco: la 3.ª menos la 1.ª da , o sea , y entonces la 1.ª pide y la 2.ª . Incompatible. Los buenos son — los que anulan .
El determinante completo es : los valores de b que lo anulan son también los únicos candidatos a salvar el caso a = 0.
Desarrollo
Con y : la 1.ª es , la 2.ª , la 3.ª (repite la 1.ª). De las dos primeras: , . Compatible, con libre. Con cualquier , los rangos no casan y no hay solución.
- 03
Justificar el argumento
COMP4Ordena la discusión. Una pieza es falsa.
- Ve eligiendo las piezas en orden.
Perder una incógnita no mata el sistema: lo reduce. Con y hay solución — infinitas, de hecho, con la de regalo. Lo que decide es el rango del sistema reducido, no la pena por la columna perdida.
El razonamiento, en orden
: fuera de y , compatible determinado.
En : la es libre si el resto es compatible, y el resto solo es compatible cuando (solución ) o (solución ): rectas paralelas al eje x.
En con : la 3.ª ecuación repite a la 1.ª, quedan dos independientes — compatible indeterminado, una recta.
En con : la 3.ª vuelve a ser la 1.ª (porque ), y pasa lo mismo: indeterminado con una recta.
Resolución completa
El determinante. Sacando el factor común de la primera columna:
(comprobaciones: ✓, ✓, ✓).
Caso general (, ): compatible determinado.
, . Las tres ecuaciones son , y . Restando la primera a las otras dos: y — la misma condición. Queda una sola ecuación efectiva, . Compatible indeterminado, la recta .
, . Como , la 3.ª ecuación es exactamente la 1.ª: . Quedan dos independientes; la 2.ª menos la 1.ª da , o sea , y sustituyendo en la 1.ª: . Indeterminado, la recta .
: la desaparece. El sistema en es compatible solo si :
en ambos con libre. Para cualquier otro : incompatible.
| caso | qué pasa |
|---|---|
| compatible determinado | |
| indeterminado, | |
| indeterminado | |
| indeterminado, con libre | |
| incompatible |
La columna delatora. El factor del determinante no salió de desarrollar nada: la columna lo regala. Leer la ESTRUCTURA de la matriz antes de calcular —columnas iguales, columnas proporcionales, factores comunes— ahorra la mitad de los desarrollos de este boletín.
¿Esto está mal? Dilo →La resolución es nuestra y puede tener fallos. El enunciado es el original.
Tres parámetros, y el determinante que solo mira a uno
1.er intento a pelo · al 2.º aparece la pista, al 3.º el desarrollo — la solución nunca se da al fallar: se te dice en qué te has ido y por qué.
Enunciado
Discute y resuelve en función de sus parámetros:
La discusión según a, b y d, y las soluciones donde las haya.
- 01
Reconocer el camino
COMP1Cuatro ecuaciones, cuatro incógnitas y TRES parámetros. El determinante de la matriz solo puede depender de…
La sí está en dos coeficientes (el de la segunda y el de la cuarta), y el determinante la hereda: sale exactamente .
y están en el sistema pero no en la MATRIZ de coeficientes: son términos independientes. El determinante no los ve.
Eso es, y ordena el trabajo: decide si hay solución única; y solo entran en juego cuando el determinante se anula y hay que comparar rangos con la ampliada.
- 02
El valor de b que salva el caso a = 0
COMP2Con , la 2.ª y la 4.ª ecuación tienen el mismo lado izquierdo (), lo que obliga a . Y sumar la 1.ª con la 3.ª da , que contra la 2.ª obliga a un valor concreto de . ¿Cuál?
un número entero — vale la forma exacta: pi/4, sqrt(3)/2, (e^2-1)/2…Signo: la 2.ª dice , o sea . Igualando con : , así que .
saldría de igualar con y equivocar un signo por el camino. La cadena es y : .
(1.ª)+(3.ª): . Y la 2.ª con dice .
Desarrollo
Con , el sistema solo es compatible si y a la vez.
- 03
Justificar el argumento
COMP4Ordena la discusión. Una pieza es falsa.
- Ve eligiendo las piezas en orden.
El signo del determinante no tiene nada que ver con la compatibilidad: lo único que importa es si es CERO o no. Y se anula en , donde este sistema es incompatible para casi todos los .
El razonamiento, en orden
: para el sistema es compatible determinado, SEAN CUALES SEAN y .
Con , la 2.ª y la 4.ª comparten lado izquierdo: hace falta ; y la suma (1.ª)+(3.ª) contra la 2.ª exige .
Con , y : el rango cae a 2 y las soluciones tienen DOS parámetros libres.
Con y cualquier otro par : incompatible.
Resolución completa
El determinante. Solo vive en los coeficientes:
(comprobación: en vale 1, en vale 4, en vale 9 — la parábola entera).
: compatible determinado para cualesquiera .
. Las ecuaciones quedan:
- La 2.ª y la 4.ª comparten lado izquierdo: o incompatible.
- (1.ª)(3.ª): ; la 2.ª dice : o incompatible.
Con y , quedan dos ecuaciones independientes (rango 2) y cuatro incógnitas: indeterminado con dos libres. Tomando , : de la 2.ª, ; de la 1.ª, .
(comprobación en la 3.ª: ✓).
| caso | qué pasa |
|---|---|
| compatible determinado, para todo | |
| , , | indeterminado, dos libres |
| , otro | incompatible |
La jerarquía de los parámetros. Tres letras pero papeles distintos: vive en la matriz y decide la estructura; y viven en el lado derecho y solo hablan cuando la estructura falla. Separarlos ANTES de calcular convierte un monstruo de tres parámetros en una discusión de uno.
¿Esto está mal? Dilo →La resolución es nuestra y puede tener fallos. El enunciado es el original.
El 4×4 simétrico, sumando las cuatro ecuaciones
1.er intento a pelo · al 2.º aparece la pista, al 3.º el desarrollo — la solución nunca se da al fallar: se te dice en qué te has ido y por qué.
Enunciado
Discute y resuelve en función de sus parámetros:
La discusión según a y b, y las soluciones donde las haya.
- 01
Reconocer el camino
COMP1Es la matriz « en la diagonal, unos fuera» del sistema 4, pero en tamaño . ¿Cuál es su determinante?
El determinante depende del tamaño: en las filas suman , no , y el factor repetido aparece tres veces. Comprueba en : el desarrollo da , y ✓.
Eso es. Para el tamaño , esta matriz da : cada fila suma lo mismo (), y ese es siempre uno de los factores.
Se puede: sumar todas las filas a la primera saca el factor de golpe, y restar después la primera columna a las demás deja el . La estructura hace el trabajo.
- 02
El valor de b que salva el caso a = −3
COMP2Con , sumar las cuatro ecuaciones anula el lado izquierdo entero, y el derecho queda . ¿Para qué valor real de se anula esa suma?
un número entero — vale la forma exacta: pi/4, sqrt(3)/2, (e^2-1)/2…Con la suma es . Factoriza: , y nunca se anula en los reales — solo queda .
Con la suma vale . La factorización deja claro que la única raíz real es .
.
Desarrollo
( en los reales.) Con , el sistema solo puede ser compatible si .
- 03
Justificar el argumento
COMP4Ordena la discusión. Una pieza es falsa.
- Ve eligiendo las piezas en orden.
Con y las cuatro ecuaciones piden que valga , , y a la vez. No hay compensación posible: el mismo número no puede ser 1 y −1. Es incompatible, y basta leer los lados derechos para verlo.
El razonamiento, en orden
: fuera de y , compatible determinado para todo .
Con las cuatro ecuaciones comparten lado izquierdo , así que hace falta : solo , y entonces queda un hiperplano con TRES parámetros libres.
Con : sumar las cuatro obliga a , o sea ; en ese caso el rango es 3 y quedan soluciones con UN parámetro libre.
Con y , o con y : incompatible.
Resolución completa
El determinante. Cada fila suma ; sumando todas a la primera y restando columnas:
(comprobación en : ✓, y el desarrollo directo del da ).
Caso general (): compatible determinado, para todo .
. Las cuatro ecuaciones son « vale , , , ». Compatible solo si , es decir :
Cualquier otro : incompatible.
. Sumando las cuatro ecuaciones:
Compatible solo si . En ese caso el rango de es 3 (el menor de la esquina, con , vale ) y sobra exactamente una ecuación: indeterminado con un parámetro.
| caso | qué pasa |
|---|---|
| compatible determinado | |
| indeterminado, ∞³ | |
| incompatible | |
| indeterminado, ∞¹ | |
| incompatible |
El patrón que escala. La matriz « en la diagonal, unos fuera» da en tamaño , y sus dos trucos —sumar todas las ecuaciones, y leer qué pasa cuando todas son la misma— funcionan igual en 3×3, en 4×4 y en el tamaño que traiga el examen. Aprender el patrón vale más que aprender el resultado.
¿Esto está mal? Dilo →La resolución es nuestra y puede tener fallos. El enunciado es el original.
El parámetro que no decide nada
1.er intento a pelo · al 2.º aparece la pista, al 3.º el desarrollo — la solución nunca se da al fallar: se te dice en qué te has ido y por qué.
Enunciado
Discute y resuelve en función de sus parámetros:
La discusión según a y b, y las soluciones donde las haya.
- 01
Reconocer el camino
COMP1Resta la segunda ecuación de la tercera. ¿Qué obtienes, y qué le hace eso al parámetro ?
Eso es. El parámetro solo tocaba al sistema a través de la , y la está condenada a ser cero. Toda la discusión va a ser cosa de .
La resta es : sale , no . Las incógnitas y se cancelan en la resta.
Comparten y con los mismos coeficientes — por eso la resta es tan limpia: mata a las dos de golpe y aísla la .
- 02
El único valor crítico
COMP2Con , el sistema queda y . ¿Para qué valor de deja de tener solución única?
un número entero — vale la forma exacta: pi/4, sqrt(3)/2, (e^2-1)/2…Con el sistema es , : solución única . El problema llega cuando la primera ecuación es proporcional a la segunda, y eso pasa en .
es el lado derecho, no el valor crítico. La primera ecuación se vuelve el doble de la segunda cuando : es .
¿Cuándo es proporcional a ?
Desarrollo
Con , la primera ecuación es : exactamente el doble de . Se pierde una ecuación y queda una recta de soluciones. Con , dos ecuaciones independientes para y : solución única. Y en ningún caso aparece .
- 03
Justificar el argumento
COMP4Ordena la discusión. Una pieza es falsa.
- Ve eligiendo las piezas en orden.
El determinante ES : no tiene dentro, y no hay nada que anular «respecto de ». Un parámetro puede estar escrito en el enunciado y no pintar nada en la discusión — detectarlo y DECIRLO es parte de la respuesta, inventarle casos no.
El razonamiento, en orden
Restar la 2.ª de la 3.ª da : el término del parámetro se anula siempre.
: el cálculo directo confirma que la no aparece — su columna multiplica a una incógnita que el propio sistema fuerza a valer cero.
: compatible determinado, con — la solución es para TODO y todo .
: la 1.ª es el doble de la 2.ª — compatible indeterminado, la recta .
Resolución completa
La resta que deja al parámetro sin trabajo. (3.ª)(2.ª):
El término vale cero sea cual sea : la discusión no depende de .
El sistema restante. Con quedan y . El determinante del sistema completo sale (comprobación directa: con vale , con vale ), que se anula solo en — y no contiene a la .
: de , ; sustituyendo, , o sea , y como : , .
: la 1.ª ecuación es , el doble de la 2.ª. Queda con :
| caso | qué pasa |
|---|---|
| (todo ) | determinado, |
| (todo ) | indeterminado, |
El final perfecto para el 5.9. Catorce discusiones y la última enseña la lección más fina: un parámetro escrito en el enunciado puede no decidir NADA, y darse cuenta —y decirlo— vale más que inventarle una casuística. El examen también sabe poner letras de adorno.
¿Esto está mal? Dilo →La resolución es nuestra y puede tener fallos. El enunciado es el original.