Problema

UNAC – 2017, Matemática para Economistas II

Ejercicio
Resolver la siguiente ecuación en diferencias:

−7 + 15 −3 =0
(1.1)
= −1, = 2, = 17

El polinomio característico asociado a (1.1) es:

( )= ( −7 + 15 − 3) = 0 (1.2)

como ≠ 0 queda finalmente:

( )= −7 + 15 − 3 = 0 (1.3)

La ecuación (1.3) no es factorizable en ℚ; esto es, no tiene ceros racionales1. Se

hace necesario aplicar la fórmula de Cardano-Ferrari. Esta ecuación podemos ex-
presarla en forma general de la siguiente manera:

( )= + + + =0 (1.4)

donde = −7, = 15 y = −3. Con estos datos, aplicamos las fórmulas dadas en
(2.4), (2.5) encontrando que:

(−7) 4
= 15 − =− (1.5)
3 3

1 178
= 2(−7) − 9(−7)(15) + 27(−7) = (1.6)
27 27

Aplicando ahora las fórmulas dadas en (2.7) y (2.8) tenemos:

178 √97 (1.7)

= − +
54 3

1Un conocido teorema del álgebra establece la existencia de ceros racionales. Del polinomio de
grado n, ( ) = + + ⋯+ + . Si ⁄ es un cero racional, entonces debe
ser divisor de y divisor de . Para su demostración, véase Kurosh (1968).
1
Problema UNAC – 2017, Matemática para Economistas II

178 √97 (1.8)

= − −
54 3

178 4 √97 (1.9)

= + − =
54 9 3

Finalmente, utilizando las fórmulas dadas en (2.6), obtenemos las raíces de la

ecuación (1.3), las cuales son:

7
= + + ≈ 0.2223362 (1.10)
3

1 7 √3
=− ( + )+ + ( − ) ≈ 3.388832 + 1.417356 (1.11)
2 3 2

1 7 √3
=− ( + )+ − ( − ) ≈ 3.388832 − 1.417356 (1.12)
2 3 2

Entonces, la solución homogénea de la ecuación en diferencia (1.1) es:

= ( ) + ( ) + ( ̅) (1.13)

Donde = y = ̅. Una solución de esta forma es de poca utilidad puesto que

pertenece a ℂ. Sin embargo, podemos expresar esta fórmula en el campo reales
utilizando el teorema de Moivre, el cual establece que:

= | | (cos + sin ) = | | (cos + sin ) (1.14)

Donde | | es el módulo del complejo y es el ángulo que forma la parte real e

imaginaria del mismo:

| |= Re + Im ⇒ | ̂| = 3.388832 + 1.417356 ≈ 3.673293 (1.15)

Im 1.417356
= arctan ⇒ = arctan ≈ 22.696789 (1.16)
Re 3.388832

2
Problema UNAC – 2017, Matemática para Economistas II

Con esta información, (1.13) puede ser expresada mediante una combinación li-
neal de senos y cosenos2:

= ( ) + | ̂| cos + sin (1.17)

Podemos apreciar que, al ser | ̂ | > 1, la solución (1.17) diverge, esto es, explota o
es inestable conforme lim → +∞, independientemente de los valores que ,
y puedan tomar.
Por último, usando las condiciones iniciales, tenemos:

= −1 = + cos 0 + sin 0 = + (1.18)

=2 = + | ̂| cos + sin (1.19)

= 17 = + | ̂| cos 2 + sin 2 (1.20)

De (1.18) encontramos que = − (1 + ), remplazando este resultado en

(1.19) y (1.20) obtenemos un sistema de ecuaciones lineales en y

+ | ̂ | −( 1 + ) cos + sin =2 (1.21)

+ | ̂ | −(1 + ) cos 2 + sin 2 = 17 (1.22)

que puede expresarse en forma matricial:

− | ̂ | cos | ̂ | sin 2 + | ̂ | cos

= (1.23)
− | ̂ | cos 2 | ̂ | sin 2 17 + | ̂ | cos 2

∗ ∗ ∗
del cual obtenemos , y posteriormente . Constantes que están en función
de , , , , | ̂| y . Finalmente, la solución particular es:

∗ ∗( ) + | ̂| ∗ ∗
= cos + sin (1.24)

2 Para una demostración rigurosa véase Elaydi (2005), capítulo I y Cull et al. (2005), capítulo II.
3
Problema UNAC – 2017, Matemática para Economistas II

Referencias
Cull, P., Flahive, M. and Robson, R. (2005). Difference Equations, From Rabbits to
Chaos. Springer Science+Business Media, Inc. Springer, New York.
Elaydi, S. (2005). An Introduction to Difference Equations (3th ed.). Springer-Ver-
lag New York.
Espinoza R., E. (2000). Números Complejos y Ecuaciones Polinómicas. Servicios
Gráficos JJ, Lima, Perú.
Kurosh, A. G. (1968). Curso de Algebra Superior. Editorial MIR, Moscú.

4
Problema UNAC – 2017, Matemática para Economistas II

Anexo
Una ecuación cúbica de la forma:

( )= + + + =0 (2.1)

con el siguiente cambio de variable

= − (2.2)
3

puede ser re-expresada de la siguiente manera:

( )= + + =0 (2.3)

siendo, además:

= − (2.4)
3

1
= (2 −9 + 27 ) (2.5)
27

Cardano probó que las raíces de (2.1) pueden ser obtenidas por medio de la reso-
lución de (2.3), de la siguiente manera3:

= + −
3

1 1
= −1 + √3 + −1 − √3 − (2.6)
2 2 3

1 1
= −1 − √3 + −1 + √3 −
2 2 3

donde

= − +√ (2.7)
2

3 Para su demostración véase Espinoza (2000).

5
Problema UNAC – 2017, Matemática para Economistas II

= − −√
2

Y el factor

= + (2.8)
2 3

es conocido como discriminante de la ecuación cúbica. Los números complejos:

1
= −1 ± √3 (2.9)
2

son las raíces cúbicas de la unidad.