Universidad Mayor de San Simón Hans Müller Santa Cruz

Facultad de Ciencias y Tecnologı́a Departamento de Mathematicas

Práctica 1 Análisis Numérico I 5 de marzo de 2008

M1 Supóngase que, el dispositivo de cálculo, con el que se cuenta, puede efectuar la división con resto; es
decir, para a, b enteros no negativos, con b 6= 0, el dispositivo calcula p, r satisfaciendo:

a = pb + r y 0 ≤ r < b.

(a) Implementar un algoritmo que calcule el maximo común divisor de a y b.

(b) Utilizando el inciso precedente, implementar otro algoritmo que permita calcular m, n ∈ Z, tales
que
mcd(a, b) = ma + nb.
(c) Estudiar la situación más desfavorable, aquélla donde el costo en operaciones es el más alto. Deducir
una estimación de la eficiencia del algoritmo.
M2 Suponiendo que, el dispositivo de cálculo puede efectuar la división con resto, con la particularidad
siguiente:
|b| |b|
a = pb + r y − <r≤ .
2 2
(a) Mostrar que el algoritmo implementado en el ejercicio M1 (a), puede implementarse para esta
nueva división con resto.
(b) Verificar que, el nuevo algoritmo es más eficiente que aquél con división con resto normal. Encontrar
una estimación de costo del algoritmo.
M3 Para el polinomio p(x) = a0 + a1 x + · · · + an xn , el algoritmo de Hörner está definido por:

bn = an ;
bi = ai + x0 bi+1 , i = n − 1, . . . , 1, 0.

Se plantea q(x) = b1 + xb2 + · · · + xn−1 bn .

(a) Mostrar que p0 (x0 ) = q(x0 ). Verificar que p(x) = b0 + (x − x0 )q(x).
(b) Generalizar el algoritmo de Hörner, de tal forma que se pueda calcular p(x0 ) y p0 (x0 ) al mismo
tiempo.
M4 Una regla y compás constituyen un dispositivo de cálculo. Supóngase que se conocen dos puntos O y P
tales que OP sea de longitud 1.
(a) Mostrar que, además de las 4 operaciones aritméticas elementales, la radicación puede obtenerse
a partir de un número finito de manipulacionesde regla y compás.
p √
(b) Construir 1 + 10.
√
(c) Intentar construir 3 2. ¿Es posible?
M5 Sea v ∈ R con 0, 1 < v ≤ 1. Considérese la sucesión definida por

x0 = 1,
xn+1 = xn (2 − xn v).

(a) Mostrar que esta sucesión converge a 1/v

(b) Se plantea en = xn − 1/v. Estudiar el cociente
en+1
.
e2n
 (c) ¿Cuantos términos de la sucesión, para obtener una precisión relativa de 10−100 , es decir
en
≤ 10−100 ?
1/v

F1 Escribir SUBROUTINE HORNER(N,A,X,P,Q), donde N es el grado de polinomio, A es un tablero que contiene

los coeficientes del polinomio a evaluar, X es el valor a evaluar, P es la evaluación del polinomio y Q es
la evaluación de la derivada.
Utilizando la subrutina escrita, evaluar diferentes polinomios en diferentes puntos.
F2 Calcular el máximo común divisor, utilizando el algoritmo del ejercicio M2, de 1354815 y 3656835.
M6 ¿Cual es la condición de la sustracción de dos números?
M7 Determinar la condición del problema P(x1 , x2 ) = x1 /x2 con x2 6= 0.
M8 Hallar la condición del cálculo del producto escalar
n
X
hx, yi = xi yi .
i=1

M9 Mostrar que el sistema lineal 

ax + by =1
, con ad 6= bc
cx + dy =0
es numéricamente estable en el sentido de backward analysis.
M10 Las raices del polinomio x2 − 2px − q = 0 son:
p p
λ1 = p + p2 + q, λ2 = p − p2 + q.

Mostrar que para p > 0, grande, y q ≥ 0, muy pequeño, este algoritmo es numéricamente inestable.
Utilizando la relación λ1 λ2 = q, encontrar un algoritmo que es numéricamente estable en el sentido de
backward analysis.

M11 Hallar la condición de las siguientes funciones:

sin x, tan x, arctan x, ln x, ex .

M12 Asumiendo la Tierra esférica, dos puntos sobre esta superficie pueden ser expresados en coordenadas
cartesianas
pi = (xi , yi , zi ) = (r cos αi cos βi , r sin αi cos βi , r sin βi ), i = 1, 2,
donde r es el radio de la Tierra y αi , βi son las longitudes y latitudes de los puntos pi , respectivamente.
Si
pt p2
cos δ = 1 2 = cos(α1 − α2 ) cos β1 cos β2 + sin β1 sin β2 ,
r
entonces rδ es la distancia entre estos dos puntos.
(a) Mostrar que utilizando la función arc cos para determinar δ de la expresión de más arriba no es
numéricamente estable.
(b) Derive una expresión numéricamente estable para δ.
M13 Mostrar como evaluar las siguientes expresiones de una manera numéricamente estable:
1
1+2x − 1−x para |x|  1,
q q 1+x
x + x1 = x − x1 para x  1.

2
M14 Supóngase que la librerı́a de programas de una computadora contiene una subrutina que evalua arcsin y
con una precisión en punto flotante de t decimales. Considérese la relación
x
arctan x = arcsin √ .
1 + x2
Determine para que valores de x la fórmula permite calcular establemente arctan.
M15 Para un x y un entero k, el valor de cos kx puede ser calculado recursivamente utilizando para m =
1, 2, . . . , k − 1 la fórmula

cos(m + 1)x = 2 cos x cos mx − cos(m − 1)x.

Por consiguiente, el cálculo de cos kx puede ser efectuado con una sola evaluación de cos x. Planteando
c1 = cos x y c0 = 1, deduzca el algoritmo para evaluar cos kx. Analize la estabilidad del algoritmo para
|x| =
6 0 pequeños.

M16 Para un x dado y un entero k grande, cos kx y sin kx pueden ser evaluados recursivamente, utilizando
las fórmulas:
cos mx = cos x cos(m − 1)x − sin x sin(m − 1)x;
sin mx = sin x cos(m − 1)x + cos x sin(m − 1)x, m = 1, . . . , k.
Planteando cm = cos mx, sm = sin mx, estudiar la estabilidad del algoritmo propuesto por las relaciones
recursivas, se debe notar que para el cálculo solo se requiere una evaluación de sin x y otra de cos x.

M17 Para |x| = 6 0 pequeño, el algoritmo de M16 puede ser mejorado en su estabilidad, definiendo las
diferencias
dcm+1 = cm+1 − cm ,
dsm+1 = sm+1 − sm .

(a) Muestre que

dcm+1 = −4(sin2 x2 ) cos mx + [cos mx − cos(m − 1)x],
dsm+1 = −4(sin2 x2 ) sin mx + [sin mx − sin(m − 1)x].

(b) Utilizando el inciso (a), se puede elaborar el algoritmo

dc1 =p−2 sin2 x2 , t = 2 dc1 ,

ds1 = −dc1 (2 + dc1 ),
s0 = 0, c0 = 1,

y para m = 1, 2, . . . , k:

cm = cm−1 + dcm , dcm+1 = t · cm + dcm ,

sm = sm−1 + dsm , dsm+1 = t · sm + dsm .

Estudiar la estabilidad del algoritmo.

F3 Programe los algoritmos de los ejercicios M14, M15 y M16 en simple precisión. Evalue cos kx para
x = 0,001 y k = 1000. El valor exacto de cos 1 es 0,540 302 305 868 140 . . ., compare.
√
F4 10 puede ser aproximado de manera arbitraria por la sucesión definida recursivamente por
1 5
x0 = 3 xk+1 = xk + .
2 xk
√
Evalue 10 con 1000 decimales de precisión.