CÁLCULO DEL TIPO DE INTERÉS DE LA

ECUACIÓN DE LA CUOTA PERIÓDICA DEL

PRÉSTAMO AMORTIZABLE SEGÚN EL SISTEMA
FRANCÉS

S
O
R
IE
EN
G
Autor: José Manuel Gómez Vega, ingeniero industrial en mecánica de máquinas
(1 versión en noviembre 2.001, 2 revisión corregida en febrero de 2.014).
N
Resumen: Se trata de un artículo sobre métodos numéricos de análisis para calcular la
-I

tasa o tipo de interés en la fórmula de la amortización periódica de un préstamo mediante el

sistema francés, que es el que rige la ecuación de la amortización de un préstamo en el
sistema financiero español, explicando pormenorizadamente la aplicación de los teoremas y
técnicas matemáticas con ejemplos para la comprensión clara del lector interesado en estas
EK

materias.

Abstract: This is an article about numerical analysis methods for calculating the rate or
interest rate formula in the periodic repayment of a loan by the French system, which is the
governing equation for the repayment of a loan in the financial Spanish system, explaining
EM

in detail the application of mathematical theorems and techniques with examples for clear
understanding of the reader interested in these issues.

El sistema de préstamos francés es el que rige las transacciones financieras españolas

G

desde su introducción en los años 80 por el gobierno de España. Tras estudiar Contabilidad
y Finanzas hace años, llegué a la conclusión que no existía una forma directa de cálculo del
tanto efectivo equivalente de la periodicidad (tanto efectivo de interés  ). El sistema bancario
IN
 opera con listas de tipos de interés sin cálculo directo, pues es imposible su obtención de una
forma convencional dado que se llega a una ecuación del tipo  = ( ) con expresiones
logarítmicas imposibles de resolución directa tras intentar obtener el valor de la expresión
dada en 1 al despejar. Se van a ver procedimientos para el cálculo de las cuotas periódicas
en la ecuación 1, partiendo de la fórmula que relaciona la cuota  con las demás variables
intervinientes:

S
 (1 +  ) 
 = (1)
(1 +  ) − 1

O
donde hemos sustituido:

R
 =  (2)
y recordando las variables:

IE
 = cuota periódica
 = tanto efectivo de interés equivalente a la periodicidad

EN
 = tanto efectivo de interés anual
 = número de años
 = periodicidad
 = capital préstamo
G
teniendo también presente que:
N
1
 = (1 + )  − 1 (3)
-I

Tomaremos los datos del ejemplo de la página 1.605 del fascículo 67 de Contabilidad y
Finanzas - Curso Deusto de Planeta Agostini estudiado por el autor de este blog hace años:
EK

 = 5 años.
 = 3000000 ptas.
 = 1 periodicidad anual.
 = 95933333
EM

Sin embargo, para calcular directamente las tasas, tipos de interés o tanto efectivo de
interés partiendo de la fórmula anterior observaremos como la presencia de expresiones loga-
rítmicas en las cuales hay adiciones y sustracciones nos impiden llegar a despejar  respecto
G

a las demás variables. Únicamente podremos llegar a obtener una relación de cálculo para 
aplicando técnicas matemáticas avanzadas recurriendo a lo que se conoce como MÉTODOS
NUMÉRICOS.
IN

2
 Dichas técnicas fueron desarrolladas hace tres siglos y medio cuando los matemáticos
encontraban frecuentemente ecuaciones en las que en ambos miembros de la igualdad aparecía
una misma variable la cual era imposible de despejarse directamente debido a la presencia
de expresiones exponenciales o logarítmicas.

En los primeros balbuceos del Cálculo Infinitesimal descubierto por Newton (aunque
paralelamente Leibnitz lo descubriera un poco después pero lo publicó mientras Newton

S
lo mantuvo sin editar, lo que dio lugar a una gran controversia entre estos dos científicos),
se había prestado mucha atención al problema de cómo encontrar una línea tangente a un

O
punto de una función en el plano  para cualquier valor de dicha función. La introducción
newtoniana del concepto del número real que tiende a elementos infinitésimos (tendentes a

R
cero) o elementos que tienden al infinito, hace descubrir una potente herramienta de cálculo
no conocida hasta entonces que posibilitó el arranque de la ciencia después de siglos de igno-
rancia, superstición y decadencia. Analizando la diferencia de los valores de una función de

IE
una variable en dos puntos dividido por la sustracción de dichos valores, es decir:

() − ()

EN
−
posibilitó a Newton la deducción de que tomando valores en el límite de dicha función
(que exigía continuidad), representaba el valor de la pendiente a la recta tangente en cada
punto de dicha función (y lo que es equivalente, el valor de la función derivada en dicho
G
punto).
N
De ahí a la deducción de la ecuación de la recta tangente hay pocos pasos:

 − 0 =  ( − 0 ) (4)
-I

donde, evidentemente,  representa geométricamente la pendiente mencionada anterior-

mente que no es más que la derivada en dicho punto, que viene también a ser el coeficiente
angular respecto de dicha recta con una paralela al eje 
EK

 ³´
= () =  0 ()() =  0 () = 
 
Después de lo anterior, se llega a uno de los dos procedimientos para resolver el problema.
EM

1. MÉTODO DE NEWTON (O DE LAS TANGENTES).

G

Se trata de un proceso de cálculo numérico que mediante iteración asegura la convergencia

de un valor tras la introducción repetitiva en la fórmula siguiente
IN

3
  ( )
+1 =  − (5)
 0 ( )
Para ello necesitamos un condicionante, como es elegir un valor 0 apropiado (algunos no
efectúan bien la convergencia). Por lo tanto, se necesita probar ciertos valores. Generalmente,
para valores tendentes a 0 o en su proximidad, la convergencia está asegurada para un grado
de iteración muy pequeño (menos de 10 iteraciones).

S
Las condiciones de este proceso no son tan selectivas como el siguiente método que nece-

O
sita el cumplimiento de las hipótesis de cierto teorema y además, asegura una convergencia
si cumple ciertas hipótesis que definiremos a continuación tras estudiar diversos conceptos

R
introductorios que aparecen en dicho teorema que deben quedar claros previamente.

IE
2. MÉTODO DE APLICACIÓN DEL TEOREMA DEL PUNTO
FIJO.

EN
El teorema del punto fijo hace uso de una técnica matemática conocida con el nombre
de método de las aproximaciones sucesivas (M.A.S.) Dicho teorema lo formuló Banach. Defi-
namos algunos conceptos introductorios para aclarar los diferentes términos que aparecen en
G
el teorema.
N
2.1. Definición de correspondencia.
-I

Dados dos conjuntos:  e  , y una función  , que determina alguna relación binaria
entre algún elemento de  con algún elemento de  , diremos que esa función , define
una correspondencia entre  e  , que representaremos:  :  −→  cuando al menos un
EK

elemento de  está relacionado con al menos un elemento de  .

Una vez se ha definido el concepto de correspondencia vamos a definir lo que es una

función matemática (se aplica al análisis matemático) o una aplicación (se aplica a la
teoría de conjuntos) cuando ambos conceptos son equivalentes.
EM

2.2. Definición de Aplicación o Función Matemática.

Dada una correspondencia matemática entre todos los elementos del conjunto  con los
G

elementos del conjunto  , diremos que esta correspondencia  es una aplicación entre 
e  , que suele llamarse función matemática si los conjuntos inicial y final son numéricos
IN

4
 y se representa:  :  −→  cuando todos los elementos del conjunto origen tienen una y
sólo una imagen, aunque puedan existir elementos imagen sin correspondencia con elementos
origen.

S
O
R
IE
EN
G
Fig. 1. Ejemplos de aplicaciones y no aplicaciones.
1. No es aplicación porque hay en  un elemento que no tiene imagen.
N
2. No es aplicación porque en  hay un elemento con dos imágenes.
3. Es una aplicación por cumplir las dos condiciones exigidas:
- Todos los elementos de  han de tener imagen.
-I

- Cada elemento de  ha de tener una sola imagen.

Vulgarmente: todos los elementos del conjunto origen tienen flecha y sólo una.
EK

Esto es, una correspondencia matemática es una aplicación, si todos los elementos del
conjunto inicial tienen una imagen y solo una imagen.

2.3. Definición de Espacio Métrico.

EM

Un espacio métrico es un conjunto  (a cuyos elementos se les denomina puntos) con

una función distancia asociada (también llamada una métrica)  :    −→ R (donde R
es el conjunto de los números reales).
G

Decir que  es una distancia sobre  es decir que ∀    ∈ , esta función debe
satisfacer las siguientes condiciones o propiedades de una distancia:
IN

5
 1.( ) º 0 (positividad)
2.( ) = 0, (reflexividad)
3.( ) = 0 ⇐⇒  =  ∀   ∈  (identidad de los indiscernibles)
4.( ) = ( ), (simetría)
5.( ) ≤ ( ) + ( ) ∀    ∈  (desigualdad triangular).

Un espacio métrico se puede definir como ( ) es decir, un par ordenado entre el con-

S
junto  donde están definidos los puntos y  la distancia con la métrica de definición de la
misma.

O
2.4. Definición de Sucesión de Cauchy

R
Una sucesión { } de elementos de un espacio métrico  es una sucesión de Cauchy

IE
si ∀   0 ∃  ∈ N  ∀     =⇒ (   )  

EN
Para números reales, sea { }∈N una sucesión. Diremos que { }∈N es de Cauchy,
si ∀   0  ∈ R ∃  ∈ Z+  ∀   ∈ N =⇒    
G
Toda sucesión convergente es una sucesión de Cauchy.
Toda sucesión de Cauchy está acotada.
N
Por ejemplo, el conjunto de los números reales R es un espacio métrico completo, pues toda
sucesión de Cauchy encuentra que su límite está contenido en dicho conjunto. No sucede lo
-I

mismo en el conjunto de los números racionales Q, pues podría darse que el límite estuviese
fuera de dicho conjunto, por ejemplo ser un número irracional que como sabemos no está
contenido en Q
EK

2.5. Definición de Espacio Métrico Completo.

En análisis matemático, un espacio métrico ( ) se dice que es completo si toda sucesión
de Cauchy converge en dicho espacio, es decir, existe un elemento del espacio que es el límite
EM

de la sucesión. Es más fácil demostrar que una sucesión de Cauchy converge que hallar el
límite de dicha convergencia. Para que el espacio métrico sea completo, es fundamental que
dicho espacio esté acotado y que esté definido en un conjunto cerrado, es decir, que los límites
superiores e inferiores de dicho conjunto de valores [ ] ∈  pertenezcan al espacio métrico
G

pues en caso contrario podría darse que si la sucesión de Cauchy convergiera en dichos puntos
extremales al no pertenecer esos puntos al dominio de definición, es decir, al no converger la
sucesión de Cauchy en dicho conjunto, el espacio sería incompleto.
IN

6
 2.6. Definición de Intervalo.
Un intervalo es un espacio métrico comprendido entre dos valores. Específicamente, un
intervalo real es un subconjunto conexo de la recta real R, es decir, una porción de recta
entre dos valores dados. La unión de dos intervalos conexos no es un subconjunto conexo en
la recta real R

S
El intervalo real  es la parte de R que verifica la siguiente propiedad :

O
Si   ∈  con  ≤  =⇒ ∀    ≤  ≤  =⇒  ∈ 

R
2.7. Definición de Intervalo Abierto.

IE
Es aquél que no incluye los extremos.

EN
Se nota: ( ) o bien ] [
Notación conjuntista o en términos de desigualdades:
 = ( ), ∀  ∈  :     

2.8. Definición de Intervalo Cerrado e Intervalo Semiabierto o Semicerrado.

G
Intervalo cerrado es aquél que incluye los extremos.
N
Se indica: [ ]
Notación conjuntista o en términos de desigualdades
-I

Incluye únicamente uno de los extremos.

Con la notación ( ] o bien ] ] indicamos.
En notación conjuntista, un intervalo semiabierto (o semicerrado) en este caso se denomi-
naría intervalo abierto por la izquierda y cerrado por la derecha:
EK

 = ( ] ∀ ∈  :    ≤ 

Y con la notación [ ) o bien [ [

EM

En notación conjuntista, se denominaría intervalo semiabierto (o semicerrado) en este

caso se denominaría intervalo cerrado por la izquierda y abierto por la derecha:

 = [ ) ∀ ∈  :  ≤   
G
IN

7
 2.9. Definición de Aplicación Lipschitziana y Aplicación Contractiva.
Sea la aplicación  entre dos espacios métricos ( ) y ( 0 )  es decir  :  −→  . Se
dice que dicha aplicación es lipschitziana de grado o razón   0 si 0 ( () ()) ≤  ( )
∀  ∈  f ∀  ∈ 
La aplicación se dice que es contractiva si es lipschitziana de grado 0 ≤   1

S
2.10. Teorema del Valor Medio.

O
Para funciones de una variable, dada cualquier función  continua en el intervalo [ ]

R
y diferenciable en el intervalo abierto ( ) entonces existe al menos algún punto  en el
intervalo ( ) tal que la tangente a la curva en  es paralela a la recta secante que une los
puntos ( ()) y ( ()). Es decir:

IE
() − ()
=  0 ()
−

EN
Si observamos el teorema del valor medio y comprobamos la analogía al definir la apli-
cación contrativa anterior, vemos como la igualdad se establece a la hora de fijar al menos
un punto en el cual la tangente en dicho punto  es paralela al trazo de unión de una recta
G
entre  () y ()
N
-I
EK
EM

Fig. 2. Teorema del Valor Medio. Interpretación geométrica

Entonces podríamos establecer para resolver problemas con el teorema del punto fijo que
la derivada de la función en el punto es el valor  en la definición de la aplicación contractiva:
G

| 0 ()| = , con  ∈ [0 1) ∈ R

IN

8
 2.11. Teorema del punto fijo.

Sea ( ) un espacio métrico completo y  una aplicación. Se dice que  es contractiva
si ∃ una constante  con 0 ≤   1  ( () ()) ≤  ( ) para cualesquiera   ∈ .

Un punto fijo 0 de  es un punto de    (0 ) = 0 y además, su existencia es única,

S
es decir, ∃! 0  (0 ) = 0 

Obsérvese que las condiciones del teorema para la existencia y unicidad de un

O
punto fijo (0 ) = 0 son necesarias, pero no suficientes. Luego aclararemos ese con-
cepto que es fundamental en matemáticas.

R
Esto es, para cierto valor de dicha aplicación el valor del punto es igual al valor sustituido

IE
en la aplicación, o dicho de otra forma, se asegura la existencia de un punto para el cual la
aplicación converge a dicho punto tras un proceso iterativo.

EN
La forma de iterar sería la siguiente: se busca un punto inicial arbitrario para , es decir,
0 , y se itera repetidamente sobre la función, quedando:

0 −→ (0 ) = 1
1 −→ (1 ) = 2
G
2 −→ (2 ) = 3
..
.
N
 −→  ( ) = 
-I

Otra forma de expresar el anterior método de iteración sería el siguiente:

 =  ( ( ((0 )1 )2 ) )

EK

O en modo abreviado:

 =   (0 ), donde   denota la función obtenida al componer  veces  con ella misma.
EM
G
IN

9
 S
O
R
IE
Fig. 3. Interpretación geométrica de la convergencia hacia el punto fijo de aplicaciones
contractivas

EN
2.12. Definición de contracción para aplicaciones diferenciables.
G
Sea  ⊂ R abierto y convexo. Si  :  −→ R es una aplicación diferenciable (es de
clase 1 y continua) tal que | 0 ()| ≤   1 para una cierta constante  y todo  ∈  , por la
N
desigualdad del valor medio se cumple para cualesquiera   ∈  que
|() − ()| ≤  | − |
-I

entonces  es una contracción.

Si  es una contracción la aplicación es uniformemente continua.
EK

Hecho este análisis introductorio de los métodos empleados para realizar el cálculo, vamos
a proceder a despejar en la fórmula (1) para encontrar una función manejable que incorpore
las técnicas descritas en los parágrafos anteriores:
EM

 (1 +  ) 
 = (1)
(1 +  ) − 1

Vamos a realizar dos caminos para establecer una relación partiendo de la fórmula anterior
en los cuales lleguemos a:
G

 =  ( )
IN

10
 2.13. Camino 1

Paso 1: pasamos el denominador a la izquierda de la ecuación:

h i h³ ´i
 (1 +  ) − 1 =  (1 +  )  

S
Paso 2: llevamos  al otro miembro y reagrupamos variables:

O
h i  

(1 +  ) − 1 = (1 +  ) 

R

Paso 3: reagrupamos la ecuación para factorizar:

IE
 
(1 +  ) − (1 +  ) = 1


EN
Paso 4: factorizamos:
µ ¶ µ ¶
     −  
(1 +  ) 1− = 1 =⇒ (1 +  ) =1
 
G
Paso 5: pasamos al otro miembro:
N
µ ¶
 
(1 +  ) =
-I

 −  

Paso 6: despejamos el miembro de la izquierda:

sµ
EK

¶ µ ¶ 1

 
(1 +  ) = =⇒ (1 +  ) =
 −    −  

Paso 7: dejamos sola  en la expresión:

EM

µ ¶ 1

 = −1 (6)
 −  
donde efectivamente hemos llegado a una expresión en la cual:
G

 = ( )
IN

11
 De esta forma podemos definir la función:
µ ¶ 1 Ã r !
  
1 () =  − +1 =− +1 (7)
 −   − 

donde hemos sustituido  por  en el segundo miembro y 1 () en el primero, por lo

que estamos en condiciones de determinar el dominio de 1 que representa los valores en las

S
cuales  está definida, teniendo valores reales donde no está el infinito ∞ es decir, el campo
de definición donde 1 es continua.

O
Sabemos que la continuidad no implica la derivabilidad en funciones de una variable, pero
evidentemente es condición indispensable (necesaria) que lo sea.

R
Es decir:

IE
si () es derivable =⇒  () es continua,

EN
es decir, es condición necesaria (=⇒) pero no suficiente (⇐=)

Todos sabemos que en una raíz de tipo par (por ejemplo cuadrada) sólo existe solución
en el cuerpo de los reales cuando las variables subradicales son mayores o iguales que 0.
G
Igualmente sabemos que sí existirían soluciones en el cuerpo de los números complejos, pero
no nos interesa para nuestro problema pues no vamos a trabajar con números imaginarios.
N
p
Esto es,  () para  par, o sea  = 2 , ∀ ∈ N =⇒  =⇒ ()  0
-I

Sabemos que  y  pertenecen a los naturales (N). Por lo tanto, su producto que es el
índice de la raíz es, o bien par o bien impar, pero siempre será un número natural.
¡  ¢ 1 q¡ ¢

Como en la expresión (7) existe el término  − =    − ,tenemos:
EK

⎧ © ª
⎨ si  impar =⇒ 1 = R − ½  pues  −  = 0 =⇒  =  , valor que anula el denominador
   0, siempre © ª
⎩ si  par =⇒  − ≥ 0 =⇒ =⇒ 1 =  ∈ R :  ≤ 
EM


 −  ≥ 0 =⇒  ≤ 

Como en los valores del ejemplo  = 5, resulta que el índice de la expresión es impar,
por lo que el dominio del caso práctico es:
G

© ª © 95933333 ª
1 = R − 
=⇒ 1 = R − 3000000
IN

12
 0
Calculamos la derivada 1 () y observamos su dominio:
" µ ¶ 1 #

1 () =  − +1 (7)
 − 

µ ¶ 1 −1 µ ¶
0  1  
1 () = (1 ()) = 1 − =⇒

S
   −  ( − )2
µ ¶  −1 µ ¶
1  −    

O
0
1 () = 1 − =⇒
  ( − )2
µ ¶ 1

R

 ( −  ) + 
0  − 
1 () = (8)

IE
 ( −  )
0
El dominio de 1 () lo hacen:

EN
 0 © ª
1. el valor que anula el denominador que es  = 
=⇒ 1 = R − 
¡

¢ 1
2. el valor que anula la expresión  − , que es como antes:
½ © ª
G
0
si  impar =⇒ 1 = R ©− ª © ª
0 0
si  par =⇒ 1 = R −  =⇒ 1 =  ∈ R :  ≤ 

N
En el ejemplo resulta que  = 5 Por lo tanto el dominio es:
0 © ª 0 © ª
1 = R −  =⇒ 1 = R − 95933333
-I

3000000
0
por lo que los dominios de 1 y de 1 son los mismos
0
Por lo tanto, la derivada 1 () es continua en el mismo campo de definición que 1 ()
EK

2.14. Camino 2.
EM

Partimos nuevamente de la misma expresión (1):

 (1 +  ) 
 = (1)
(1 +  ) − 1
G

Expresamos directamente  y cambiamos el primer miembro por el segundo. Simple-

mente multiplicamos y dividimos en cruz para despejar:
IN

13
 h i

 (1 +  ) − 1
 = =⇒
 (1 +  ) 
µ ¶
 1
 = 1− (9)
 (1 +  )

S
Por lo que tenemos otra relación que verifica:

 =  ( )

O
para su posterior tratamiento mediante los procesos iterativos enunciados.

R
Si procedemos análogamente a como hemos hecho sobre el camino anterior y definimos:
µ ¶

IE
 1
2 () =  − 1− (10)
 (1 + ) 

EN
vemos claramente como 2 es continua en R, excepto para  = −1

2 = {(−∞ −1) ∪ (−1 ∞)} ⇔ 2 = R − {1}

Estudiemos la derivada:
G
µ ¶
0  
2 () = 1 − (11)
(1 + )+1
N


0
-I

observando cómo el dominio de 2 () es el mismo que para 2 ()

3. APLICANDO EL MÉTODO DE NEWTON.

EK

3.1. Camino 1.

Recordemos la fórmula de iteración (5):

EM

 ( )
+1 =  − (5)
 0 ( )

Introduciendo los valores de 1 () y 10 () en (5):

G

" µ ¶ 1 #

1 () =  − +1 (7)
 − 
IN

14
 µ ¶ 1

 ( −  ) + 
0  − 
1 () = (8)
 ( −  )
resulta: " µ ¶ 1 #

 − +1
 −  

S
+1 =  − ⎡ µ ¶ 1 ⎤ (13)

⎢  ( −  ) +   −  ⎥
⎢ ⎥

O
⎢ ⎥
⎣  ( −  ) ⎦

R
IE
3.2. Cálculo de la iteración con los datos:

EN
∙ Función 1 : ¸
³ ´ 15
95933333
1 ( ) =  − 95933333−3000000 + 1
G
⎡ Derivada da la función 1 :
³ ´ 15 ⎤
95933333
0 ⎢ 5 · 1 (3000000 − 95933333) + 3000000 95933333−3000000 ⎥
1 ( ) = ⎣ ⎦
N
5 · 1 (3000000 − 95933333)
Construcción de la función para iterar:
-I

³ ´ 15
95933333
 − +1
EK

95933333−3000000
+1 =  − ⎡ ³ ´ 15 ⎤ (14)
95933333
⎢ 5 · 1 (3000000 − 95933333) + 3000000 95933333−3000000 ⎥
⎣ ⎦
5 · 1 (3000000 − 95933333)
EM

Los valores para los que son válidos los resultados (dominio de la función) verifican:

 
,
95933333
es decir, para los valores del problema,   = 0319 78 =⇒ tipos de interes
G

3000000
inferiores al 31,98 %, pero como los tipos no pueden ser inferiores a 0, realmente el campo de
definición de valores de  sería:
IN

15
 0 ≤   0319 78 ∈ R ⇐⇒  ∈ [0  0319 78)   ∈ R

Vamos a empezar las iteraciones:

0 = 025 =⇒
³ ´ 15
95933333
025 − +1

S
95933333−3000000(025)
1 = 025 − ⎡ ³ ´ 15 ⎤
95933333
⎢ 5 · 1 (3000000 · 025 − 95933333) + 3000000

O
95933333−3000000·025 ⎥
⎣ ⎦
5 · 1 (3000000 · 025 − 95933333)

R
1 = 0213 31 =⇒

IE
³ ´ 15
95933333
0213 31 − 95933333−3000000(0213 31)
+1
2 = 0213 31− ⎡ ³ ´ 15 ⎤

EN
95933333
⎢ 5 (3000000 · 0213 31 − 95933333) + 3000000 95933333−3000000·0213 31 ⎥
⎣ ⎦
5 (3000000 · 0213 31 − 95933333)
G
2 = 0188 91 =⇒
³ ´ 15
95933333
N
0188 91 − 95933333−3000000(0188 91)
+1
3 = 0188 91− ⎡ ³ ´ 15 ⎤
95933333
⎢ 5 (3000000 · 0188 91 − 95933333) + 3000000
-I

95933333−3000000·0188 91 ⎥
⎣ ⎦
5 (3000000 · 0188 91 − 95933333)
EK

3 = 0180 77 =⇒
³ ´ 15
95933333
0180 77 − 95933333−3000000(0180 77)
+1
4 = 0180 77− ⎡ ³ ´ 15 ⎤
EM

95933333
⎢ 5 (3000000 · 0180 77 − 95933333) + 3000000 95933333−3000000·0180 77 ⎥
⎣ ⎦
5 (3000000 · 0180 77 − 95933333)
G

4 = 0180 01 =⇒
IN

16
 ³ ´ 15
95933333
0180 01 − 95933333−3000000(0180 01)
+1
5 = 0180 01− ⎡ ³ ´ 15 ⎤
95933333
⎢ 5 (3000000 · 0180 01 − 95933333) + 3000000 95933333−3000000·0180 01 ⎥
⎣ ⎦
5 (3000000 · 0180 01 − 95933333)

S
5 = 018000

Por lo que hemos llegado al resultado esperado:  = 018

O
Comprobemos qué ocurre si escogemos una 0 inicial que no esté definida en su dominio

R
de definición, por ejemplo 0 = 031979 ∈
 (0 ≤   0319 78)  ¿existirá convergencia?

IE
0 = 0319 79 =⇒
³ ´ 15
95933333
0319 789 − 95933333−3000000(0319 789) + 1

EN
1 = 0319 789− ⎡ ³ ´ 15 ⎤
95933333
⎢ 5 (3000000 · 0319 789 − 95933333) + 3000000 95933333−3000000·0319 789 ⎥
⎣ ⎦
5 (3000000 · 0319 789 − 95933333)

1 = 0319 84 + 5596 1 × 10−6  −→ 1 ∈ C g 1 ∈

R
G
donde observamos como empiezan a obtenerse números no pertenecientes al cuerpo de los
N
reales y que divergen pues  va aumentando progresivamente (término positivo sumándose a
otro término). Efectivamente al estar iniciando la iteración en un valor de  que no pertenece
-I

al domino de definición ni de la función ni de su derivada comienzan a aparecer números

complejos, como acabamos de demostrar.
EK

3.3. Camino 2.

 ( )
+1 =  − (5)
 0 ( )
EM

Introduciendo los valores de 2 () y 20 () en (5):

µ ¶
 1
2 () =  − 1− (10)
 (1 + ) 
G

µ ¶
0  
2 () = 1 − (11)
 (1 + )+1
IN

17
 ∙ µ ¶¸
 1
 − 1−
 (1 +  )
+1 =  − ∙ µ ¶¸ (5)
 
1−
 (1 +  )+1
Tomamos inicialmente el valor 0 = 2 Observamos que en este caso, cualquier valor en

S
R valdría para tomar como valor inicial, salvo donde no existe continuidad.

O
Procedemos a iterar.
∙ µ ¶¸
95933333 1

R
 − 1−
3000000 (1 +  )5
+1 =  − ∙ µ ¶¸
95933333 5

IE
1−
3000000 (1 +  )6

EN
∙ 0 =µ2 =⇒ ¶¸
95933333 1
2− 1−
3000000 (1 + 2)5
1 = 2 − ∙ µ ¶¸ = 0314 77
95933333 5
1−
G
3000000 (1 + 2)6

∙ 1 = 0314µ
77 =⇒ ¶¸
N
95933333 1
0314 77 − 1−
3000000 (1 + 0314 77)5
2 = 0314 77 − ∙ µ ¶¸ = 0204 14
-I

95933333 5
1−
3000000 (1 + 0314 77)6

∙ 2 = 0204µ
14 =⇒ ¶¸
EK

95933333 1
020414 − 1−
3000000 (1 + 020414)5
3 = 0204 14 − ∙ µ ¶¸ = 0181 68
95933333 5
1−
3000000 (1 + 020414)6
EM

∙ 3 = 0181µ
68 =⇒ ¶¸
95933333 1
0181 68 − 1−
3000000 (1 + 0181 68)5
4 = 0181 68 − ∙ µ ¶¸ = 0180 01
95933333 5
1−
G

3000000 (1 + 0181 68)6

4 = 0180 01 =⇒
IN

18
 ∙ µ ¶¸
95933333 1
0180 01 − 1−
3000000 (1 + 0180 01)5
5 = 0180 01 − ∙ µ ¶¸ = 0180 00
95933333 5
1−
3000000 (1 + 0180 01)6

S
Por lo que hemos llegado al mismo resultado mediante iteración,  = 018 tras tan solo
5 iteraciones.

O
Observamos también que de los caminos empleados el mejor es el segundo pues se puede
elegir cualquier valor inicial para 0 y parece la iteración más rápida.

R
4. APLICANDO EL MÉTODO DE APLICACIÓN DEL TEORE-

IE
MA DEL PUNTO FIJO.
4.1. Camino 1.

EN
Para aplicar el Teorema del Punto Fijo, necesitamos una transformación de (7):
" µ ¶ 1 #

1 () =  − +1 (7)
G
 − 

¿Para qué valores de  es válida la iteración?

N

Para los que aseguran una aplicación contractiva, es decir, 0 ≤ | 0 ()| =   1. Entonces,
-I

recordando (8), vamos a establecer la exigencia de aplicación contractiva.

4.1.1. Exigencia de contractividad.

EK

Dicha exigencia se cumple si, como ya hemos estudiado:

¯ 0 ¯
0 ≤ ¯1 ()¯ =  ≺ 1
EM

Entonces, comenzando con valores absolutos en la ec. 8, vamos tomando desigualdades

hasta tomar un valor para la derivada:
G
IN

19
 ¯ ¡  ¢ 1 ¯¯ ¯¯ ¡  ¢ ¯¯
¯
¯ 0 ¯ ¯  ( −  ) +   − ¯ ¯  ( −  ) +   − ¯
¯1 ()¯ = ¯ ¯≤¯ ¯=
¯  ( −  ) ¯ ¯  ( −  ) ¯
¯ ¯
¯ ¡ ¢ ¯ ¯
¯  ( −  ) −   ¯ ¯  ( −  )2 −   ¯¯ ¯¯  
¯
¯
¯ − ¯ ¯ ¯ = ¯1 − ¯≤
¯ ¯=¯ ¯ ¯
¯  ( −  ) ¯  ( −  ) 2
 ( −  ) ¯
2
¯ ¯
¯   ¯
¯1 − ¯
¯  ¯

S
O
Y poniendo los valores dados para las variables de este problema, tenemos:

R
¯ ¯
¯ 0 ¯ ¯ 3000000 · 95933333 ¯
¯1 ()¯ = ¯1 − ¯ = 5756 0 × 1011  1 =⇒ no es una contracción, luego
¯ 5·1 ¯

IE
no podemos asegurar la convergencia a ningún punto fijo.

EN
Se podría haber visto fácilmente desde el principio, dado que en:

¯ ¡  ¢ 1 ¯
¯ ¯
¯ 0 ¯ ¯  ( −  ) +   − ¯
¯1 ()¯ = ¯ ¯,
¯  ( −  ) ¯
G
¯ ¯

se observa claramente que el numerador

¯ 0 ¯ es superior al denominador, por lo que a pesar
N
de lograr acotaciones, siempre será ¯1 ()¯  1 =⇒ no es una función contractiva y no existe
un único punto fijo, o bien, el valor de dicho punto no es válido para el problema planteado.
-I

Comprobemos que no existe punto fijo o que el proceso de cálculo por iteración no da una
convergencia a un valor válido para el problema en cuestión, como hemos citado.
" µ ¶ 1 #
EK


Tomemos el valor inicial  = 2 con 1 () =  − +1 
 − 

" µ ¶ 15 #
EM

95933333
 = 2 =⇒ 1 = 2 − + 1 = 2419 4 − 0421 81 ∈
 R =⇒ crece
95933333 − 2 · 3000000
y además no pertenece la solución a los reales.
G

Tomemos el valor inicial  = 01

IN

20
 " µ ¶ 15 #
95933333
 = 01 =⇒ 1 = 01 − + 1 = 2211 4 × 10−2 =⇒ decrece.
95933333 − 01 · 3000000

Seguimos:

" 1 = 2211 4 × 10−2 =⇒ #

µ ¶ 15
95933333

S
2 = 2211 4 × 10−2 − + 1 = 7678 5 × 10−3
95933333 − 2211 4 × 10−2 · 3000000

O
" 2 = 7 678 5 × 10−3 =⇒ #
µ ¶ 15
95933333
3 = 7 678 5 × 10−3 − + 1 = 2805 7 × 10−3

R
95933333 − 7678 5 × 10−3 · 3000000

IE
Como se observa que entre la iteración 2 y la 3 existe divergencia, es decir, el valor vuelve
a crecer, podemos concluir que no existe convergencia, pues al principio en la 1 iteración
decrece y luego entre la 2 y la 3 crece el valor hallado y eso no indica que se va siguiendo

EN
una convergencia.

" 3 = 2805 7 × 10−3 =⇒ #

µ ¶ 15
95933333
G
4 = 2805 7 × 10−3 − + 1 = 1041 6 × 10−3
95933333 − 2805 7 × 10−3 · 3000000
N
" 4 = 1041 6 × 10−3 =⇒ #
µ ¶ 15
95933333
5 = 1041 6 × 10−3 − + 1 = 3888 7 × 10−4
-I

95933333 − 1041 6 × 10−3 · 3000000

" 5 = 3 888 7 × 10−4 =⇒ #

µ ¶ 15
95933333
EK

6 = 3888 7 × 10−4 − + 1 = 1454 8 × 10−4

95933333 − 3888 7 × 10−4 · 3000000

" 6 = 1454 8 × 10−4 =⇒ #

µ ¶ 15
95933333
EM

7 = 1454 8 × 10−4 − −4
+ 1 = 5446 7 × 10−5
95933333 − 1454 8 × 10 · 3000000

" 7 = 5446 7 × 10−5 =⇒ #

µ ¶ 15
95933333
8 = 5446 7 × 10−5 − + 1 = 2039 8 × 10−5
G

95933333 − 5446 7 × 10−5 · 3000000

..
.
IN

21
 ⎡ +1 = 0000000000000000000000001 =⇒ ⎤
à ! 15
95933333
 = ⎣0 |25 {z
ceros} 1 − + 1⎦ = 3745 9 × 10−25
95933333 − 0 |25 {z
ceros} 1 · 3000000

S
Por lo tanto se ha encontrado un valor de "pseudoconvergencia" finalmente al valor  = 0
para valores de iteraciones muy elevados (desconocemos el valor enésimo pero ha sido para

O
probar que sigue decreciendo) que no vale, pues no entra dentro del rango de los tipos de
interés válidos (¡a menos que tomemos las tesis aristotélicas del ’pecado’ en los tipos de
interés, en préstamos pues todo préstamo al ser sin interés tenía valor 0!) y además hemos

R
visto que la convergencia ha sido alterada entre la 2 y la 3 por crecer el valor hallado.
Entonces, podemos decir que, a pesar de haber hallado un punto de convergencia presumible

IE
hacia 0, no nos vale para el problema y el resultado no es correcto, siendo una convergencia
lenta e inesperada y al ser tan lenta se podría decir que no es válida aplicando la técnica.
Además, por hipótesis no existe contracción, luego no existe punto fijo. En este

EN
caso, se ve claramente que al no cumplir la condición necesaria de existencia y unicidad del
teorema no existe convergencia al punto fijo y no es una aplicación contractiva y se puede
afirmar con rotundidad, a pesar de haber llegado a una convergencia a 0 en el límite n-ésimo
de iteraciones.
G
4.2. Camino 2.
N
Partiendo de 2 ()
µ ¶
 1
-I

2 () =  − 1− (10)
 (1 + ) 
Para que sea contractiva, debe verificar:
¯ 0 ¯
EK

0 ≤ ¯2 ()¯ =  ≺ 1 (condición de existencia y unicidad necesaria de punto fijo)

0
siendo el valor de la derivada 2 ()
EM

¯ 0 ¯ ¯¯ 
µ

¶¯ ¯
¯ ¯
¯
 ¯¯
¯ ¯ ¯ ¯ ¯
¯2 ()¯ = ¯1 − ≤ 1− ¯ 11b
 (1 + )+1 ¯ ¯ 

Entonces, con los valores del ejemplo tenemos:

G
IN

22
 ¯ 0 ¯ ¯ ¯ ¯ ¯
¯2 ()¯ =  ≤ ¯1 −  ¯ = ¯1 − 95933333 ¯ = 0680 22  1 =⇒ la aplicación es contractiva por lo
 3000000
que existe un único punto fijo al cual converge la iteración de la función 2 ().

Analicemos con profundidad si la desigualdad

µ anterior
¶ se cumple, pues depende de los

valores que se tomen en la subexpresión de 11b.
(1 + )+1

S
Vamos a suponer que los valores válidos para  están comprendidos en el intervalo
0 ≤  ≤ 030

O
(tipos de interés en tanto por uno normales pues no serán superiores en un préstamo
dentro de la ecuación de la cuota de amortización) y considerando los valores del ejemplo,

R
tenemos:
¯µ ¶¯
¯ 5 ¯
si  = 0 =⇒ ¯¯ ¯

IE
6 ¯ = 5
¯µ (1 + ) ¶¯
¯ 5 ¯
si  = 03 =⇒ ¯¯ ¯
6 ¯ = 1035 9

EN
(1 + 03)

Entonces queda demostrado que al ser siempre la subexpresión extraída de la ecuación

11b superior a 1 en los valores del intervalo de , se cumple la desigualdad.
¯µ
G
¶¯
¯ 5 ¯ √
¯
La solución real con valor positivo para que ¯ ¯ 6
6 ¯ = 1 es  = 5 − 1 = 0307 66
(1 + )
N
Si se sube el valor
¯µ de  hacia¶¯1 desde el valor obtenido anterior ( = 0307 66) sucede
¯  ¯
que la expresión ¯¯ ¯  1 y eso pudiera implicar darse el caso que el valor
-I

+1 ¯
(1 + )
de la desigualdad no se cumpliese, por lo que la constante de contractividad ya no podría
definirse como en 11b. Demostraremos, tomando valores iniciales variados, qué sucede con
la convergencia y si afecta a la contractividad y el porqué de la implicación no bicondicional
EK

(<) del teorema del punto fijo pues su esitencia y unicidad es solo condición necesaria. Luego
lo aclararemos.
¯µ ¶¯
¯  ¯
¿Cuál es el valor máximo que puede tomar la expresión ¯¯  +1 ¯
¯? Pues que
EM

(1 + )
el tanto por uno de  fuera 1, es decir, que la tasa o tipo de interés fuera del 100 %, cosa
totalmente absurda en el sistema financiero. Realmente todavía sería más absurdo que tomase
valores superiores a 100 %, pues matemáticamente no es imposible; es por ello que matizamos
los valores posibles de los valores que no pueden darse en el problema real.
G

Veamos cuál es dicho valor:

IN

23
 ¯µ ¶¯
¯ 5 ¯
¯ ¯ 5
= 7812 5 × 10−2 = 0078
¯ (1 + 1)6 ¯ = 64

¯ 0 ¯
Entonces tomando valores en: ¯2 ()¯ queda:
¯ µ ¶¯
¯  ¯ ¯ ¯
¯1 −  ¯ = ¯1 − 95933333 · 5 ¯ = 0975 02 =⇒

S
¯ 
(1 + )+1 ¯ 3000000 64

(condición de existencia y unicidad necesaria)

O
que resulta un valor máximo de la función derivada de 2 () sin usar más demostraciones
matemáticas para valores posibles de dicha función (0 ≤  ≤ 1), diferenciando de los va-

R
lores permitidos o de uso en el problema, donde hemos considerado (0 ≤  ≤ 0 3) 
Los valores posibles de  pudieran ser superiores al 100 % en tanto por ciento, como se ha

IE
citado, pero no serían reales a efectos prácticos en este problema en cuestión.

Por lo tanto, para el rango aceptable de tipos en tanto por uno para nuestro problema:

EN
¯ ¯
¯  ¯
0 ≤  ≤ 030 =⇒ 10359 ≤ ¯¯ ¯ ≤ 5,
(1 + )+1 ¯

es decir, dichos valores implican que si ese componente de la subexpresión es superior a

G
la unidad en el rango válido de valores permitidos y normales de , entonces, la desigualdad
anterior es cierta en ese rango. Y como el valor de la  hallada anteriormente es menor que
N
la unidad la aplicación es contractiva y solo tiene un punto fijo.
µ ¶
 1
-I

Función para iterar: 2 ( ) =  − 1−

 (1 +  )
Inicialmente tomamos 0 = 015
EK

La iteración resulta:

0 = 015
¯ µ ¶¯
¯ 95933333 1 ¯
EM

1 = ¯ ¯ 1− ¯ = 0160 791 7 =⇒
3000000 (1 + 015)5 ¯
=⇒ 1 = 0160 791 705 6
¯ µ ¶¯
¯ 95933333 1 ¯
2 = ¯¯ 1− ¯ = 0168 045 9 =⇒
(1 + 0160 791 705 6)5 ¯
G

3000000
=⇒ 2 = 0168 045 911 3
IN

24
 ¯ µ ¶¯
¯ 95933333 1 ¯
3 = ¯¯ 1− ¯ = 0172 699 4 =⇒
3000000 (1 + 0168 045 911 3)5 ¯
=⇒ 3 = 0172 699 439 4
¯ µ ¶¯
¯ 95933333 1 ¯
4 = ¯¯ 1− ¯ = 0175 594 5 =⇒
3000000 (1 + 0172 699 439 4)5 ¯
=⇒ 4 = 0175 594 566 1

S
¯ µ ¶¯
¯ 95933333 1 ¯
5 = ¯¯ 1− ¯ = 0177 361 2 =⇒
3000000 (1 + 0175 594 566 1) ¯
5

O
=⇒ 5 = 0177 361 237 1
¯ µ ¶¯
¯ 95933333 ¯

R
¯ 1 ¯ = 0178 426 5 =⇒
6 = ¯ 1−
3000000 (1 + 0177 361 237 1)5 ¯
=⇒ 6 = 0178 426 539 9

IE
¯ µ ¶¯
¯ 95933333 1 ¯
7 = ¯¯ 1− ¯ = 0179 064 2 =⇒
3000000 (1 + 0178 426 539 9) ¯
5

EN
=⇒ 7 = 0179 064 296 5
¯ µ ¶¯
¯ 95933333 1 ¯
8 = ¯¯ 1− ¯ = 0179 444 4 =⇒
3000000 (1 + 0179 064 296 5)5 ¯
=⇒ 8 = 0179 444 445 4
G
¯ µ ¶¯
¯ 95933333 1 ¯
9 = ¯¯ 1− ¯ = 0179 670 4 =⇒
(1 + 0179 444 445 4) ¯
N
3000000 5
=⇒ 9 = 0179 670 454 5
¯ µ ¶¯
-I

¯ 95933333 1 ¯
10 = ¯¯ 1− ¯ = 0179 804 6 =⇒
3000000 (1 + 0179 670 454 5)5 ¯
=⇒ 10 = 0179 804 617 1
¯ µ ¶¯
EK

¯ 95933333 1 ¯
11 = ¯ ¯ 1− ¯ = 0179 884 =⇒
3000000 (1 + 0179 804 617 1) ¯
5
=⇒ 11 = 0179 884 184 6
¯ µ ¶¯
¯ 95933333 1 ¯
EM

12 = ¯¯ 1− ¯ = 0179 931 =⇒

3000000 (1 + 0179 884 184 6)5 ¯
=⇒ 12 = 0179 931 348
¯ µ ¶¯
¯ 95933333 1 ¯
13 = ¯¯ 1− ¯ = 0179 959 29 =⇒
3000000 (1 + 0179 931 348)5 ¯
G

=⇒ 13 = 0179 959 295 1

IN

25
 ¯ µ ¶¯
¯ 95933333 1 ¯
14 = ¯¯ 1− ¯ = 0179 975 =⇒
3000000 (1 + 0179 959 295 1)5 ¯
=⇒ 14 = 0179 975 852 1
¯ µ ¶¯
¯ 95933333 1 ¯
15 =¯ ¯ 1− ¯ = 0179 985 =⇒
3000000 (1 + 0179 975 852 1)5 ¯
=⇒ 15 = 0179 985 660 1

S
¯ µ ¶¯
¯ 95933333 1 ¯
16 = ¯¯ 1− ¯ = 0179 991 =⇒
3000000 (1 + 0179 985 660 1) ¯
5

O
..
.
−1 = 01799    99

R
¯ µ ¶¯
¯ 95933333 1 ¯
¯
 = ¯ 1− ¯ = 018

IE
3000000 (1 + 01799    99) ¯
5

donde llegamos nuevamente a  = 018, pues si seguimos calculando decimales lle-

EN
garíamos a ese resultado en el límite de decimales para un número determinado  de ite-
raciones suficientemente grande.

Tomemos ahora 0 = 12 (por ejemplo), donde  puede no ser contractiva y veamos qué
ocurre.
G
Primero comprobamos que, efectivamente, para el valor inicial tomado se cumple que el
valor de la derivada de la función es menor que uno. En efecto:
N

¯ µ ¶¯
¯ 0 ¯ ¯ ¯
-I

5
 = ¯2 ()¯ = ¯¯1 − 95933333
3000000
¯
6 ¯ = 0985 90  1 =⇒
(1 + 12)
(condición de existencia y unicidad necesaria)
EK

0 = 12
¯ µ ¶¯
¯ 95933333 1 ¯
¯
1 = ¯ 3000000 1 − ¯ = 0313 572 875 4 =⇒
(1 + 12)5 ¯
EM

=⇒ 1 = 0313 572 875 4

¯ µ ¶¯
¯ 95933333 1 ¯
2 = ¯¯ 3000000 1 − ¯ = 0238 010 897 9 =⇒
(1 + 0313 572 875 4)5 ¯
=⇒ 2 = 0238 010 897 9
G

¯ µ ¶¯
¯ 95933333 1 ¯
¯
3 = ¯ 3000000 1 − ¯ = 0209 820 002 4 =⇒
(1 + 0238 010 897 9)5 ¯
IN

26
 =⇒ 3 = 0209 820 002 4
¯ µ ¶¯
¯ 95933333 1 ¯
4 = ¯¯ 3000000 1 − ¯ = 0196 397 858 9 =⇒
(1 + 0209 820 002 4)5 ¯
=⇒ 4 = 0196 397 858 9
¯ µ ¶¯
¯ 95933333 1 ¯
¯
5 = ¯ 3000000 1 − ¯ = 0189 319 948 9 =⇒

S
(1 + 0196 397 858 9)5 ¯
=⇒ 5 = 0189 319 948 9

O
¯ µ ¶¯
¯ 95933333 1 ¯
6 = ¯¯ 3000000 1 − ¯ = 0185 391 549 7 =⇒
(1 + 0189 319 948 9)5 ¯

R
..
.

IE
=⇒ −1 = · · · 01800    0001
¯ µ ¶¯
¯ 95933333 1 ¯
¯
 = ¯ 3000000 1 − ¯ = 018
(1 + 01800    0001) ¯

EN
5

Tomemos ahora 0 = 10 (por ejemplo), donde  puede no ser contractiva y veamos qué
ocurre.
G
Primero comprobamos que, efectivamente, el valor inicial de  en este caso, no cumple la
condición necesaria de contractividad de la función derivada, es decir, que el valor  obtenido
N
es igual y no estrictamente menor a uno:

¯ µ ¶¯
-I

¯ 0 ¯ ¯ 5 ¯
¯
 = 2 () = ¯¯1 −
¯ 95933333
3000000
¯
6 ¯ = 1000 00 ≮ 1 =⇒
(1 + 10)
(no cumple la condición de existencia y unicidad necesaria)
EK

¯ µ 0 = 10 ¶¯
¯ 95933333 1 ¯
1 = ¯¯ 3000000 1 − ¯ = 0319 775 791 1
(1 + 10) ¯
5
EM

¯ µ =⇒ 1 = 0319 775 791 ¶¯1

¯ 95933333 1 ¯
2 = ¯¯ 3000000 1 − ¯ = 0239 914 432 8 =⇒
(1 + 0319 775 791 1) ¯
5
G

¯ µ =⇒ 2 = 0239 914 432¶¯8

¯ 95933333 1 ¯
3 = ¯¯ 3000000 1 − ¯ = 0210 661 458 8 =⇒
(1 + 0239 914 432 8)5 ¯
IN

27
 ¯ µ =⇒ 3 = 0210 661 458 ¶¯8
¯ 95933333 1 ¯
4 = ¯¯ 3000000 1 − ¯ = 0196 826 032 5 =⇒
(1 + 0210 661 458 8) ¯
5

¯ µ 4 = 0196 826 032 ¶¯

5
¯ 95933333 1 ¯
5 = ¯¯ 3000000 1 − ¯ = 0189 553 143 4 =⇒
(1 + 0196 826 032 5)5 ¯

S
O
¯ µ =⇒ 5 = 0189 553 143¶¯4
¯ 95933333 1 ¯
6 = ¯¯ 3000000 1 − ¯ = 0185 523 220 3 =⇒
(1 + 0189 553 143 4)5 ¯

R
..
.

IE
¯ =⇒µ −1 = 01800    01 ¶¯
¯ 95933333 1 ¯
 = ¯¯ 3000000 1 − ¯ = 018
(1 + 01800    01) ¯
5

EN
y también convergería, esta vez por arriba. Y aclaramos a continuación el concepto de
contractividad y condición necesaria pero no suficiente.
G
Despejaremos las dudas sobre el uso del terorema del punto fijo donde hemos demostrado
varias soluciones tras varias iteraciones con valores iniciales. La función es contractiva
N
para toda clase de valores iniciales pues el cumplimiento de la contractividad
es condición necesaria para valores que estén en el dominio de definición de
-I

la función, que son todos en los que la función es continua (con más exactitud,
uniformemente continua), PERO CON LA CONDICIÓN ÚNICAMENTE NECESARIA
Y NO SUFICIENTE pues tener las dos implicaría ser bicondicional, pero en las tesis del
teorema no existe tal bicondicionalidad.
EK

Veamos qué ocurre con otro valor inicial.

Tomemos ahora 0 = −002 que está fuera del intervalo definido anteriormente para
EM

valores permitidos en el problema (no es factible tasas de interés negativas), pero no para
tomar valores iniciales (obsérvese la diferencia de este concepto). Sin embargo, a efectos
matemáticos no supone ninguna irregularidad tomar ese valor, pues además, dicho valor
cumple la condición de la hipótesis del teorema:
G
IN

28
 ¯ µ ¶¯
¯ 0 ¯ ¯ 5 ¯
 = ¯2 ()¯ = ¯¯1 − 95933333
3000000
¯
6 ¯ = 0804 936 090 1 =⇒
(1 − 002)
(cumple la condición de existencia y unicidad necesaria)
¯ µ 0 = −002¶¯
¯ 95933333 1 ¯
1 = ¯¯ 3000000 1 − ¯ = 3398 969 699 × 10−2
(1 − 002)5 ¯

S
−2
¯ µ 1 = 3398 969 696 × 10 =⇒ ¶¯
¯ 95933333 1 ¯
2 = ¯¯ 3000000 1 − ¯ = 4921 551 408 × 10−2
(1 + 3398 969 696 × 10−2 )5 ¯

O
−2
¯ µ 2 = 4921 551 408 × 10
¶¯

R
¯ 95933333 1 ¯
3 = ¯¯ 3000000 1 − ¯ = 6828 543 732 × 10−2 =⇒
(1 + 4921 551 408 × 10−2 )5 ¯

IE
−2
¯ µ 3 = 6828 543 732 × 10
¶¯
¯ 1 ¯
4 = ¯¯ 95933333 1− ¯ = 8994 511 976 × 10−2 =⇒
3000000
(1 + 6828 543 732 × 10−2 )5 ¯

EN
¯ µ 4 = 8994 511 976 × 10−2¶¯
¯ 95933333 1 ¯
5 = ¯¯ 3000000 1 − ¯ = 0111 891 834 2 =⇒
(1 + 8994 511 976 × 10−2 )5 ¯
G
¯ µ =⇒ 5 = 0111 891 834¶¯2
¯ 95933333 1 ¯
6 = ¯¯ 3000000 1 − ¯ = 0131 614 193 4 =⇒
N
(1 + 0111 891 834 2)5 ¯
=⇒ 6 = 0131 614 193 4
-I

¯ µ ¶¯
¯ 95933333 1 ¯
¯
7 = ¯ 3000000 1 − ¯ = 0147 449 577 9 =⇒
(1 + 0131 614 193 4)5 ¯
EK

¯ µ =⇒ 7 = 0147 449 577 ¶¯9

¯ 95933333 1 ¯
8 = ¯¯ 3000000 1 − ¯ = 0159 016 951 8 =⇒
(1 + 0147 449 577 9) ¯
5

¯ µ =⇒ 8 = 0159 016 951 ¶¯8

EM

¯ 95933333 1 ¯
9 = ¯¯ 3000000 1 − ¯ = 0166 880 644 8 =⇒
(1 + 0159 016 951 8) ¯
5

¯ µ =⇒ 9 = 0166 880 644 ¶¯8

¯ 95933333 1 ¯
= ¯¯ 3000000 1 − ¯ = 0171 963 597 0 =⇒
G

10
(1 + 0166 880 644 8) ¯
5

=⇒ 10 = 0171 963 597 0

IN

29
 ¯ µ ¶¯
¯ 95933333 1 ¯
11 = ¯¯ 3000000 1 − ¯ = 0175 141 355 1 =⇒
(1 + 0171 963 597 0)5 ¯

¯ µ =⇒ 11 = 0175 141 355¶¯1

¯ 95933333 1 ¯
12 = ¯¯ 3000000 1 − ¯ = 0177 086 399 9 =⇒
(1 + 0175 141 355 1)5 ¯
=⇒ 12 = 0177 086 399¶¯9

S
¯ µ
¯ 95933333 1 ¯
13 = ¯¯ 3000000 1 − ¯ = 0178 261 442 8 =⇒
(1 + 0177 086 399 9)5 ¯

O
¯ µ =⇒ 13 = 0178 261 442¶¯8
¯ 95933333 1 ¯

R
14 = ¯¯ 3000000 1 − ¯ = 0178 965 685 6 =⇒
(1 + 0178 261 442 8)5 ¯

IE
¯ µ =⇒ 14 = 0178 965 685¶¯6
¯ 95933333 1 ¯
15 = ¯¯ 3000000 1 − ¯ = 0179 385 746 6 =⇒
(1 + 0178 965 685 6)5 ¯

EN
¯ µ =⇒ 15 = 0179 385 746¶¯6
¯ 95933333 1 ¯
16 = ¯¯ 3000000 1 − ¯ = 0179 635 585 2 =⇒
(1 + 0179 385 746 6)5 ¯
G
¯ µ =⇒ 16 = 0179 635 585¶¯2
¯ 95933333 1 ¯
17 = ¯¯ 3000000 1 − ¯ = 0179 783 928 =⇒
(1 + 0179 635 585 2)5 ¯
N
¯ µ =⇒ 17 = 0179 783 ¶¯928
¯ 95933333 1 ¯
-I

18 = ¯¯ 3000000 1 − ¯ = 0179 871 918 1 =⇒

(1 + 0179 783 928) ¯
5

¯ µ =⇒ 18 = 0179 871 918 ¶¯1

¯ 95933333 1 ¯
= ¯¯ 3000000 1 − ¯ = 0179 924 078 4 =⇒
EK

19
(1 + 0179 871 918 1) ¯
5

=⇒ 19 = 0179 924 078 4

..
.
EM

=⇒ −1 = 01799    999

¯ µ ¶¯
¯ 95933333 1 ¯
¯
 = ¯ 3000000 1 − ¯ = 018
(1 + 01799    999)5 ¯
G

y observamos como  cuando se repite la iteración  veces los suficientemente grande

llegamos a la solución. Una conclusión importante que obtenemos es la siguiente; reiteramos
que da igual el valor inicial tomado simpre y cuando cumpla que está dentro del dominio
IN

30
 de definición de la función y su derivada. Por tanto, cualquier valor tomado inicialmente es
válido para la convergencia, pues el único valor que hace que no exista continuidad en R que
es −1, no puede tomarse.

El teorema del punto fijo da condiciones necesarias pero no suficientes de

existencia y unicidad, por lo que habrá situaciones en las que como antes:

S
¯ µ ¶¯
¯ 0 ¯ ¯ 5 ¯
 = ¯2 ()¯ = ¯¯1 − 95933333 ¯ = 1000 00 ≮ 1
3000000
(1 + 10)6 ¯

O
R
sin cumplirse
¯ 0 ¯ que ciertos valores que no estén acotados en el teorema del punto fijo según
0   = ¯2 ()¯ ≤ 1, puedan dar convergencia hacia un punto fijo.

IE
La condición del teorema es necesaria (=⇒) pero no suficiente (⇐=) y no existe bicondi-
cionalidad en el teorema (⇐⇒). Es decir, según la lógica proposicional:

si  →  ; ˜ → ˜

EN
G
que quiere decir que si  implica  (condición únicamente necesaria) no quiere decir que
no  implique no  En el caso concreto:
N
¯ 0 ¯
si  = ¯2 ()¯ º 1 ; no existe convergencia hacia un punto fijo (que se cumpliría si el
-I

teorema fuera bicondicional con la condición suficiente).

El no cumplimiento de las condiciones de existencia y unicidad del teorema del punto fijo
EK

no quiere decir que no existan puntos fijos y que sea único y se asegure la convergencia al
mismo. Lo hemos demostrado con 0 = 10

En definitiva, hemos ratificado que para la resolución de este problema concreto es posible
EM

hacerlo con los dos métodos, resultando que el método de Newton de las tangentes emplea
menos iteraciones para llegar a la solución, por lo que es más rápida su convergencia. Sin
embargo, a efectos prácticos, cualquiera de los dos es válido y puede calcularse fácilmente
tomando composiciones de funciones con algún algoritmo de programación informática.
G

Finalmente, teniendo en cuenta la ecuación (3)

1
 = (1 + )  − 1
IN

31
 y sabiendo que

 = 018  = 1

tenemos:

S
018 = (1 + )1 − 1 =⇒  = 018

O
y es el tanto efectivo anual igual al tanto efectivo equivalente a la periodicidad pues esto
se verifica siempre que  = 1 (periodicidad anual) teniendo 1 = 

R
Obsérvese que el resultado es coherente con los datos y que ¡¡¡menos mal que los tipos de

IE
interés están más bajos en la actualidad!!! y no como en tiempos de los gobiernos anteriores
de los años ’80 donde la política monetaria inflacionista del ministro Boyer o del director
del Banco de España (órganos independientes) no condujeron a una recuperación económica

EN
y desajustó globalmente las variables económicas durante el período de esplendor de los
años 83 - 87 en EEUU. Los créditos hipotecarios en España estaban en torno al 18 % a
principios de los ’80 y favoreció la desinversión industrial, el desempleo, la precariedad y
el escaso crecimiento comparativo al resto de naciones en el mismo período. Sin embargo
en el período 79 - 82, se usó una política monetaria en EEUU para evitar la estanflación
G
(inflación y recesión con profundo malestar). Para ello primero se desincentivaron los créditos
a los bancos favoreciendo la inversión en EEUU al ser altos los tipos incrementándose las
N
importaciones. Esto favoreció que en el período de la Administración Reagan (1981 - 1989)
se estimulara nuevamente la economía con una pequeña recesión en 1.982, pero que ya en
1.984 se observaban síntomas claros de crecimiento cuando se logró vencer la inflación y
-I

reducirla de los dos dígitos al entorno del 3 %. En dicho período el capitalismo volvió a
embatir con fuerza pese al ataque sistemático del socialismo-comunismo a nivel mundial con
las tesis internacionalistas-izquierdistas que pregonaban tanto los países de la extinta URSS
EK

como varios países de Latinoamérica, Asia y África.

Por otra parte, desde 2001 se fijaron tipos ultrabajos desde la FED (Reserva Federal
Estadounidense, banco central de EEUU), lo que originó que directivos a nivel intermedio
de Wall St. comenzaran a desarrollar prácticas financieras fuera de la ética que propiciaron
EM

la burbuja inmobiliaria - crediticia. Los grandes propietarios bancarios no fueron los respon-
sables de esta hecatombre financiera sino que fueron esos directivos de rango intermedio
los que, por su codicia, intentaron ganar más dinero en base a arriesgar más no siguiendo
las pautas marcadas de los ratios de seguridad en la concesión de créditos, lo cual implicó
un riesgo extremo debido a la codicia de esos directivos a nivel intermedio. Mardoff fue
G

la excepción que cumple la regla. Eso propició el desbarajuste macroeconómico y la crisis

financiera mundial. Tras esta crisis hemos aprendido una lección y es que la Reserva Federal
IN

32
 Americana y por extensión todos los bancos centrales deberían tasar su tipo de interés de
alguna forma obteniendo datos macroeconómicos entre los préstamos al Estado y todas las
partidas entre los demás bancos para obtener una fórmula que permitiera un seguimiento,
para su análisis a tiempo real y a corto plazo y así no desacompasar el precio del dinero a la
realidad del mercado. En caso contrario, una de las funciones principales de un BC como es
el equilibrio inflacionario se perturba debido a que la inyección masiva de masa monetaria si
es más rápida que la velocidad de circulación del dinero, puede provocar un mayor nivel de

S
precios y generar inflación, manteniendo constante la producción de bienes y servicios según
la ecuación de Irving Fisher, para la política monetaria:

O
· =  ·

R
donde:

IE
: Masa monetaria
 : Velocidad de circulación del dinero

EN
 : Nivel de precios
: Producción de bienes y servicios

Esta ecuación se considera válida siempre y cuando sea el caso que la velocidad de circu-
G
lación del dinero ( ) sea constante.
N
Tasar el tipo de interés de forma regular y registrarlo estadísticamente al igual que se
hace con la Bolsa de Valores permitiría que la Autoridad del Banco Central tuviese una
herramienta de ajuste y decisión para no errar en la asignación del precio del dinero de dicho
-I

BC, pues se entiende que la forma de regular los tipos cada cierto tiempo en base a voluntad
de la Autoridad del BC debe basarse en el conocimiento del propio mercado entre el Banco
de Bancos, el Estado y los demás bancos.
EK

Este problema surgió ante la posibilidad de realizar un programa bajo macro en Lotus
1,2,3 que calculase préstamos. Era insalvable obtener los tipos de interés, y no conocía los
métodos, pero intuitivamente debido a funciones bajo macro de estos programas se pueden
realizar cálculos, salvo que solo para la amortización como variable, y no para los tipos
EM

de interés. Únicamente había que construir ecuaciones que fueran a converger; se hizo en
un principio de forma intuitiva, y llegué a conclusiones como que para el capital 5.000.000
de ptas. (no 3.000.000) no existía convergencia y pensé ¿POR QUÉ? Imaginémonos que
soy un informático de programas comerciales de cierto valor y que pruebo varios valores y
G

digo ¡perfecto, está bien!. La verdad, la macro funciona con una de las ecuaciones descritas
anteriormente, pero una vez conocí los métodos y los teoremas pertinentes intenté realizar
ensayos con funciones tipo seno-cosenoidales pues están acotadas en 1 realizando cambios de
IN

33
 variable en las funciones originales para transformar las derivadas y permitir la contractividad;
estos desarrollos están engranados en los macros y de hecho, el cálculo de iteración mejorada
sigue esa forma, pero ahora mismo no me acuerdo exactamente cómo estaban articulados.
La moraleja de todo esto es bien sencilla: un buen uso de las matemáticas nos conduce
a resultados no arbitrarios y un desconocimiento de ciertas hipótesis de trabajo al aplicar
fórmulas o teoremas nos lleva a producir errores intermitentes.

S
¿Comprenden Uds, ahora porqué sistemas operativos se cuelgan, tienen fallos? Ahora ya
sé porque los presuntos fallos de la aplicación para determinados capitales: era debido a que

O
la construcción de la fórmula para iteración debía buscarse de acuerdo a su menor posiblidad
de fallos respecto a todo el rango de variables del problema, pero no podía dedicarme a
probar todos los valores, sino estudiar el problema de forma matemática, con rigor. Los

R
economistas que saben de préstamos no tienen una fórmula despejada para el tanto de interés
de una amortización, pues como hemos visto no existe y los informáticos quizás estudiaron

IE
matemáticas y no prestaron excesivo rigor a este asunto o no venía en el programa de estudios.

Motivado por el interés de este asunto y conociendo que no existe en los bancos programas

EN
informáticos que lo determinen mediante cálculo directo pues trabajan mediante tablas y lo sé
pues solicité un préstamo hace tiempo, llegué a la conclusión de que era posible hacerlo... éste
es el resultado de mi trabajo. Esto no existe en los programas informáticos porque la primera
variable que se busca es la amortización, pero yo quise averiguar el tipo de interés
G
directamente y ¡¡¡existe la manera!!!. Recuerdo que cuando estudié Contabilidad me
dijo el profesor que se hacía mediante Lotus, pero claro, no mediante una función macro
directa, pues posteriormente averigüé que no existía y hay que saber programar la iteración,
N
y creo nadie lo ha hecho... Puede ser también porque los programadores no operan con el
suficiente rigor... y todo el rigor a veces es un conocimiento exhaustivo de las herramientas de
-I

trabajo, las matemáticas, en este caso. He dejado la versión antigua de la macro para que se
observe qué ocurre para ciertos datos cambiados y qué ocurriría en un programa comercial.

Animo a los econometristas a que busquen fórmulas para poder tasar el tipo de interés
EK

en los Bancos Centrales pues considero que si existiera un seguimiento estadístico de es-
ta variable, la Autoridad de la Política Monetaria dispondría de la herramienta adecuada
para tomar la decisión acertada, no en oráculos ni en cambios sin tino, sino en base a la
evolución de las operaciones de intercambio. Y ello sería una herramienta para que futuras
EM

crisis financieras no se desataran con un acertado y correcto ajuste del precio del dinero con-
struyendo coyunturas económicas de crecimiento sostenido para evitar situaciones recesivas
por espansión-detracción del crédito debidas a un mal ajuste del tipo de interés a través de
la política monetaria del BC.
G
IN

34
 S
O
R
IE
EN
G
N
-I

José Manuel Gómez Vega tiene un premio de investigación basado en un programa de cálculo de
cargas térmicas para calefacción (Termical) que supuso una innovación cuando se sustituyó la
vieja normativa NBE-CT 79 por el Código Técnico de la Edificación. Aparte de ingeniero, sigue
investigando en áreas de ingeniería aplicada a las empresas para reducir costes siempre con
EK

modelos físico-matemáticos avanzados. El rigor de IngeMek-Ingenieros lo hace líder en el sector

cuando una empresa demande personal competente y eficiente a la hora de elaborarle un
presupuesto u oferta pues el rigor, la ética y la meticulosidad priman frente a la avaricia de
comerciales que, a veces, vienen a su empresa a intentar convencerles de proyectos o presupuestos
EM

que, sin ser estudiados con detenimeiento, pueden suponerle un alto coste, bien por tergiversar la
realidad o por actuar sin ningún escrúpulo sobre su dinero. Confíe en profesionales, confíe en
IngeMek-Ingenieros.
G
IN

35
IN
G
EM
EK

36
-I
N
G
EN
IE
R
O
S