47

4. PROBLEMAS DE LGEBRA Y GEOMETRA

4.1 Sean los puntos del plano de coordenadas A = (3, 2) y B = (5, 4).
i) Dibujar la recta que pasa por ellos y calcular dist (A, B).
ii) Calcular el vector BA y las coordenadas del punto medio del segmento que une A con
B.
iii) Encontrar el punto del segmento AB que dista de A triple que de B. Hay puntos en la
recta que une A con B y fuera del segmento AB que cumplan esta condicin? En caso
afirmativo, calclalos.
iv) Sean O = (0, 0) y C el punto del segmento AB que has hallado en iii). Encuentra, si
existen, los puntos de la recta que une O con C que equidistan de A y B.
v) Dibuja el conjunto
M = {P
2
: dist (P, A) = 2 dist (P, B)}
4.2 Sean A y B puntos del plano y k un nmero real no negativo. Sea u un vector unitario de
2
. Dibujar los conjuntos siguientes:


i) {x
2
: < x A, x B > = 0}
ii) {x
2
: dist (x, A) = dist (x , B )}
iii) {x
2
:
2 2
) , ( dist ) , ( dist B x A x = 2k}
iv) {x
2
: < x A, u > = k}

4.3 (

) Sean k, m y n nmeros reales. Consideremos la parbola P: x
2
= 4ky, y la recta r:
y = mx + n
i) Demostrar que la recta r es tangente a P si y slo si km
2
+ n = 0.
ii) Determinar el conjunto de puntos del plano desde los que pueden trazarse dos rectas
tangentes a P perpendiculares entre s.

4.4 Determinar el rea del tringulo cuyos lados se apoyan en las asntotas de la hiprbola de
ecuacin H: b
2
x
2
a
2
y
2
= a
2
b
2
y en la recta tangente a H en uno de sus puntos.

4.5 Sean A, B, C y D cuatro puntos del plano.
i) Probar que ABCD es un paralelogramo si y slo si para cualquier punto Q del plano se
cumple la igualdad
QD QB QC QA + +
48
ii) Probar que si ABCD es un paralelogramo, la suma de los cuadrados de sus diagonales
es la suma de los cuadrados de los lados.
iii) Probar que si ABCD es un paralelogramo, entonces para cualquier punto Q del plano
se cumple que
QA
2
+ QC
2
= QB
2
+ QD
2

iv) Probar que si ABCD es un trapecio en el que los lados AD y BC son paralelos cuyos
puntos medios denotamos por M y N, las rectas AB, CD y MN son concurrentes.

4.6
i) Sean A, B y C tres puntos situados en una circunferencia de centro O. Probar que
AOC ABC
2
1
.
ii) Dados tres puntos A, B y C en el plano demostrar que la circunferencia de dimetro
AC pasa por B si y slo si el ngulo ABC es recto.
iii) Sean A y C dos puntos del plano no situados en la circunferencia . Construir un
tringulo rectngulo inscrito en , uno de cuyos catetos pasa por A y el otro por C.
iv) Dados los puntos A y B del plano, y una recta r, construir un punto P r tal que
APB sea recto.

4.7
i) Qu relacin existe entre el radio de una circunferencia, la longitud de una cuerda y
la distancia del centro de la circunferencia a la cuerda?
ii) Dados en el plano una recta l, un punto P y dos segmentos de longitudes a y b,
construir una circunferencia de radio a que pase por P y determine sobre l una cuerda
de longitud b.

4.8
i) Sean una circunferencia y P un punto exterior a . Demostrar que para cada secante
r a que pasa por P, el producto PM PN de las longitudes de los segmentos que unen
P con los puntos M y N en que la secante corta a es constante. Esta constante se
llama potencia de P respecto de , Pot (P; ).
ii) Deducir que las dos tangentes trazadas a desde P miden lo mismo, y dicha cantidad
es la raz cuadrada de Pot (P; ).
49
iii) Dadas en el plano dos rectas concurrentes r y s y un punto P r s, construir una
circunferencia que pase por P y sea tangente a r y s.

4.9 Encontrar el punto P de la recta l que hace mnima la suma de distancias AP + PB.

4.10 (

)
i) Probar que las diagonales de un paralelogramo son perpendiculares si y slo si el
paralelogramo es un rombo.
ii) Probar que las diagonales de un paralelogramo miden lo mismo si y slo si el
paralelogramo es un rectngulo.
iii) Sean ABCD un cuadriltero convexo y ' el paralelogramo que tiene por vrtices
los puntos medios de los lados de . Caracterizar los cuadrilteros para los que '
es un rectngulo y aquellos para los que ' es un rombo.
iv) Demostrar que si los puntos medios de los lados de dos cuadrilteros convexos
coinciden, ambos tienen igual rea.
v) Probar que si P es un punto interior al paralelogramo ABCD, la suma de las reas de
los tringulos ABP y PCD coinciden, es decir, no dependen de P.

4.11
i) Sea P un punto de la regin encerrada por el tringulo equiltero ABC. Probar que la
suma de las distancias de P a los lados del tringulo es una cantidad que no depende
de P.
ii) Sea P un punto del lado desigual de un tringulo issceles. Demostrar que la suma de
distancias de P a los otros dos lados es una cantidad que no depende de P.
4.12 Demostrar que si ABCD es un cuadrado, el tringulo APB de la figura es equiltero.



4.13 Para cada punto P en la hiprbola xy a
2
se considera el tringulo que tiene por lados a
los ejes de coordenadas y a la tangente en P a la hiprbola. Demostrar que el rea de
dicho tringulo es independiente del punto P escogido.
4.14 Demostrar que si las longitudes a, b y c de los lados de un tringulo cumplen que
a
2
+ b
2
5c
2
. entonces el ngulo que forman las medianas que inciden en los lados a y b
es recto.
A B
C D
P
15 15
B
A
l
50

4.15 Las rectas r y s, que se cortan en C, son tangentes en los puntos A y B a la parbola y x
2
.
Determinar el rea del tringulo AB
r
C

en funcin de la longitud m de su mediana trazada
desde C.

4.16 La figura representa tres cuadrados iguales. Calcular la suma + + .

4.17
i) Sea (a, b) un punto de la recta x + y 2. Prueba que a
2
+ b
2
2.
ii) Sea (a, b, c) un punto del plano x + y + z 3. Prueba que a
2
+ b
2
+ c
2
3.

4.18 Dados los puntos del espacio de coordenadas A = (4, 8, 11), B = (3, 1, 4) y C = (2, 3, 3),
se pide:
i) Cunto miden los lados del tringulo AB
r
C? Calcular los puntos medios de los lados.
ii) Comprobar que CA BC AB + + es el vector nulo.
iii) En qu puntos corta la recta AB a los planos coordenados?
iv) Cunto mide la altura del tringulo AB
r
C que pasa por B? Calcular el rea del tringulo.
v) Cunto mide el ngulo del vrtice C? Y la bisectriz interior de dicho ngulo?
vi) Calcular el centro y el radio de la circunferencia circunscrita al tringulo AB
r
C.
vii) Encontrar las coordenadas de aquellos puntos D tales que el cuadriltero ABCD es un
paralelogramo.
viii) Encontrar las coordenadas del punto P tal que A es el punto medio del segmento BP.

4.19 Representar de forma esquemtica los siguientes subconjuntos de
3
.
{ } { , : ) 1 , , ( ; 1 : ) , , ( z z y x }; { } 1 : ) , , ( z x z y x
{ } { } { } x y z y x z y x z y x z y x z y x 2 : ) , , ( ; : ) , , ( ; 1 : ) , , (
{ } ( ) { + + + + , , : 1 ), ( 2 , ; 2 ; : ) , , ( z y z x z y x }
{ , : ) 1 , , ( }; { } 0 2 3 3 : ) , , ( + + + + z y x z x z y x z y x
{ ) , , ( z y x
3
: } 0 25 12 2 2
2 2 2
+ + + + z y x z y x .
4.20
i) Qu figura es la definida por { + + t t t t M : ) 2 4 , 3 , 2 ( }?



51
Encuentra dos puntos en M y describe M por ecuaciones implcitas. Acabas de
describir M como interseccin de dos figuras; de qu naturaleza son?
ii) Qu figura es la definida por
{ + + s t s t s t N , : ) 3 , 2 2 4 , 2 ( }?
Encuentra 3 puntos en N y descrbelo por una ecuacin implcita.

4.21 Determinar los valores que deben tomar los nmeros reales a y b para que los planos
{ }; 1 :
1
+ + z y x { }; 1 :
2
+ + z y ax { } 1 :
3
+ + bz ay x
i) Tengan un nico punto comn.
ii) Tengan una nica recta comn.
iii) Se corten dos a dos.

4.22 (

) En el espacio afn se consideran las rectas

+
+ +
4 3 2
3
:
z ay x
z y x
r ;

'

+ + +
+
b z y b a x
z y x
s
8 7 ) ( 5
7 4 3 3
:
donde a y b son nmeros reales. Discutir, segn los valores de a y b la posicin relativa
de r y s.

4.23
i) Escribe las ecuaciones de una recta contenida en el plano : x + y + z = 1.
ii) Y que adems pase por el punto P = (1, 0, 0).
iii) Y que adems sea perpendicular al plano : x 2y + z = 3.
iv) Escribe la ecuacin de un plano que corte a en la recta que has obtenido en iii).

4.24 Son ciertas o falsas las siguientes afirmaciones?
i) La condicin necesaria y suficiente para que dos rectas de
3
se corten en un punto es
que sean coplanarias.
ii) Si dos planos
1
y
2
son perpendiculares, entonces toda recta contenida en
1
es
perpendicular a toda recta contenida en
2
.
iii) Si la recta r es perpendicular al plano , entonces es perpendicular a toda recta
contenida en .
52
iv) Si los planos
1
y
2
se cortan a lo largo de una recta, entonces no existen rectas
paralelas r
1

1
y r
2

2
.

4.25 Discutir, segn la posicin relativa de las rectas r y s de
3
y el punto P
3
, la
existencia de una recta que pase por P y corte a r y s.

4.26 Una matriz cuadrada se llama antisimtrica si sumada con su traspuesta da la matriz nula.
Calcular el determinante de una matriz antisimtrica de orden 3 y de orden 5.

4.27
i) Es cierto que si la matriz cuadrada A no es nula tampoco lo es A
2
?
ii) Demostrar que si A es una matriz cuadrada de orden 3, entonces el producto A A
t
es
una matriz simtrica.

4.28
i) Encontrar una matriz cuadrada X de orden 2 tal que

,
_

,
_

9 5
5 3
4 3
2 1
X
ii) Encontrar un nmero real x y una matriz cuadrada A de orden 2 tal que A no sea la
matriz nula y que se verifique
A A
x

,
_

,
_

8 6
4 2
3
2 1

iii) Es invertible la matriz cuadrada ) (
ij
a A de orden 4 tal que j i a
ij
+ ?

4.29 (

) Sean A y B matrices con coeficientes reales, A con 3 filas y dos columnas y B con dos
columnas y tres filas. Calcular det (AB). Coincide necesariamente con det (BA)? Busca
alguna explicacin.

4.30
i) Sea A una matriz con coeficientes reales con 2 filas y 2 columnas. Cunto vale
det (A A
t
)?
53
ii) Sean
1
u ,
2
u y
3
u tres vectores de
2
y > <
j i
u u , el producto escalar de
1
u por
j
u .
Sea ) 3 , 1 : ( j i a A
ij
la matriz dada por > <
j i ij
u u a , . Calcular det A.

4.31 Sean
1
u ,
2
u y
3
u tres vectores de
3
, A la matriz cuyas columnas son las coordenadas de
1
u ,
2
u y
3
u respecto de la base cannica de
3
y ) 3 , 1 : ( j i g G
ij
donde
> <
j i ij
u u g , . Comparar det A y det G.

4.32 Sean

,
_

1 0
1 1
A y

,
_

1 0
1 1
B .
i) Calcular, para cada n , las potencias A
n
y B
n
.
ii) Existe alguna matriz P de orden 2 con determinante no nulo tal que PA = BP?
iii) Encontrar todas las matrices P de orden 2 tales que PA = BP.

4.33 Un nio tiene 455 pesetas en monedas de 10 y 25 pesetas. Cules son los nmeros
mximo y mnimo de monedas que puede tener?

4.34 Colocamos de forma arbitraria 10 puntos en una circunferencia y los numeramos al azar
con los nmeros 1, 2, ..., 10. Probar que hay 3 consecutivos que suman ms que 16.

4.35 (

) Sean N un nmero natural y A un subconjunto con N +1 elementos de {1, 2, ..., 2N}.
Probar que existen x, y A tales que x divide a y.

4.36 Demuestra que si p es un nmero primo, p 5, 2, entonces p
2
1 o p
2
+ 1 es mltiplo de
10.

4.37 (

)
i) Calcula el resto de la divisin entre 13 de 100, 10
3
y 10
6
.
ii) Demuestra que si p > 3 es un nmero primo, entonces M 10
2p
10
p
+ 1 es mltiplo
de 13.


54
4.38 (

) Sea P(x) x
3
+ 6x
2
+ 11x + 6
i) Demostrar que para cada nmero natural n, P(n) es mltiplo de 6 y P(n) + 6 lo es de
n + 4.
ii) Probar que si n > 2, entonces
6
) (
1
n P
+ no es primo.

4.39 (

) Un movimiento del plano
2
es una aplicacin f:
2

2
que conserva la distancia,
esto es, para cada par de puntos P y Q en
2
,
dist ( ) ) ( ), ( Q f P f dist (P, Q).
i) Demuestra que los movimientos son aplicaciones inyectivas.
ii) Demuestra que la composicin de dos movimi entos es otro movimiento.
iii) Se llama giro de centro el punto C
2
y ngulo [0, 2) a la aplicacin
g
C,
:
2

2
que deja fijo C y transforma cada punto P C en el nico punto P
2
que cumple
las condiciones:
dist (C, P) = dist (C, P); PCP = .
Demostrar que g
C,
es un movimiento.
iv) Se llama simetra respecto de la recta r
2
a la aplicacin
S
r
:
2

2

que fija los puntos de r y transforma cada punto P r en el nico punto P
2
que
cumple las condiciones:
dist (P, r) = dist (P, r); PP r.
Demostrar que S
r
es un movimiento.
v) Se llama traslacin de vector w
2
a la aplicacin
:
w
T
2

2
: P w P + .
Demostrar que
w
T es un movimiento

4.40 (

)
i) Sean P y Q puntos del plano. Qu figura es el conjunto
R = {tP + (1 t) Q : t }?
Para cada punto de R, determina su posicin respecto de P y Q en funcin de t.
55
ii) Demuestra que si f :
2

2
es un movimiento, y t ,
( ) ) ( ) 1 ( ) ( ) 1 ( Q f t P f t Q t tP f + + .
iii) Cul es la imagen por f de una recta de
2
? Y de un segmento?
iv) Demuestra que la imagen por un movimiento f del tringulo de vrtices P
1
, P
2
y P
3
es
el tringulo de vrtices f (P
1
), f (P
2
) y f (P
3
) y que ambos tringulos comparten sus
ngulos.

4.41
i) Sea f :
2

2
un movimiento que deja fijo el origen de coordenadas O = (0, 0).
Demuestra que existe una matriz M(f) de orden 2 con coeficientes en tal que para
cada punto P = (x, y)
2
las coordenadas de f (P) = (u, v) cumplen que

,
_

,
_

y
x
f M
v
u
) (
ii) Con las notaciones del ejercicio 4.39, calcula M(g
O,
) y M(S
r
) siendo r la recta
r: ax + by = 0.
iii) Demuestra que M(f) es una matriz ortogonal, es decir, el producto M(f) M(f)
t
es la
matriz identidad.
iv) Demuestra que los movimientos que dejan fijo el origen de coordenadas son
biyecciones.

4.42 Sea f :
2

2
un movimiento.
i) Demuestra que existen un vector w y un movimiento g :
2

2
que fija el origen
tales que g T f
w
o . Demuestra que w y g son nicos con esta propiedad.
ii) Demuestra que f es biyectiva.
iii) Demuestra que la inversa f
1
:
2

2
de f es tambin un movimiento.
iv) Demuestra que la aplicacin identidad de
2

1
2
=
2

2
: Pa P
es un movimiento y que para cada movimiento f :
2

2
se cumple que
f o 1
2
= 1
2
o f = f.
v) Demuestra que el conjunto M(
2
) de los movimientos de
2
con la operacin
composicin
o : M(
2
) M(
2
) M(
2
) : (f, g) a f o g
56
es un grupo, es decir, se cumplen las propiedades
Asociativa: f o (go h) = (f o g) o h.
Existencia de elemento neutro: 1
2
o f = f o 1
2
= f.
Existencia de elemento inverso: f o f
1
= f
1
o f = 1
2
.

4.43
i) Demostrar que el nico movimiento que deja fijos tres puntos no alineados es la
identidad.
ii) Demostrar que si dos movimientos toman los mismos valores en tres puntos no
alineados, entonces coinciden.
iii) Sean r y s dos rectas que se cortan en el punto P formando ngulo . Comprobar que
2 , P r S
g S S o .
iv) Sean r y s rectas paralelas, P r, P S tales que la recta que une P con P es
perpendicular a r y PP w . Demostrar que
w
r S
T S S
2
o .

4.44 Sea f :
2

2
un movimiento que deja fijos los puntos P y Q.
i) Demostrar que f deja fijos todos los puntos de la recta que une P con Q, a la que
llamamos r.
ii) Demostrar que f es la identidad o la simetra respecto de r.

4.45 Sea f :
2

2
un movimiento que deja fijo un nico punto P. Demostrar que f es un
giro de centro P.

4.46 Sea f :
2

2
un movimiento. Demostrar que f es composicin de, a lo sumo, tres
simetras en rectas.

4.47 Para cada nmero natural n denotamos por P
n
un polgono regular de n vrtices inscrito
en la circunferencia de centro el origen O = (0, 0) de
2
y radio 1, cuyos vrtices
denotamos por V
n
= {v
1
, ... , v
n
}. Se llama n-simo grupo diedral al conjunto
D
n
= {f M (
2
) : f (P
n
) = P
n
}
57
i) Demuestra que si f D
3
, su restriccin
3 3 3
: V V V f es una biyeccin y que para
cada biyeccin b : V
3
V
3
existe f D
3
, tal que b = f|V
3
. Cuntos elementos hay
en D
3
? Cules son?
ii) Demuestra que si f D
4
, su restriccin
4 4 4
: V V V f es una biyeccin pero existen
biyecciones b : V
4
V
4
que no son la restriccin de ningn f D
4
.
iii) Demuestra que si f D
4
y los vrtices V
i
y V
j
son contiguos, tambin lo son f (V
i
) y
f (V
j
). Deduce que D
4
tienen a lo sumo 8 elementos.
iv) Sea el giro de centro O y ngulo
2

y la simetra respecto de la recta que une O

con V
1
. Demuestra que , D
4
, que D
4
es un grupo, que los elementos
1
2
, ,
2
,
3
, , ,
2
,
3

pertenecen a D
4
y que son todos distintos. Cuntos elementos tiene D
4
?
v) Demuestra que = y que para cada k ,
k

k
=
vi) Un grupo se dice abeliano si sus elementos conmutan, esto es, fg = gf para
cualesquiera elementos f y g en el grupo. Es D
4
abeliano? Lo es D
3
?
vii) Existe f D
3
que conmute con todos los elementos de D
3
, f 1
2
?
viii) Existe f D
4
, f 1
2
, que conmute con todos los elementos de D
4
?

4.48 (

) Sean n , n 3, P
n
el polgono regular de n vrtices inscrito en la circunferencia
de centro el origen y radio 1 y V
n
el conjunto de sus vrtices.
i) Comprobar que si v
i
, v
j
V
n
son contiguos, tambin lo son f (v
i
) y f (v
j
) para cada
f D
n
. Deducir que D
n
tiene a lo sumo 2n elementos.
ii) Demostrar que si es el giro de centro O y ngulo
n
2
y la simetra respecto de la
recta que une O con V
1
, entonces
D
n
= {1
2
, ,
2
, ... ,
n-1
, , , ...,
n-1
}
iii) Demostrar que para cada k ,
k

k
= .
iv) Estudiar, en funcin de la paridad de n, cuntos elementos de D
n
conmutan con todos
los elementos de D
n
.
v) Es D
n
abeliano para algn valor de n?

58
4.49 Sean n 3 un nmero natural y D
n
el n-simo grupo diedral. Para cada f D
n
se llama
orden de f al nmero
O(f) = mn {k : f
k
=
veces
...
k
f f f o o o = 1
2
}
i) Calcular O() y O(r) para
n
O
g

2
,
y la simetra respecto de la recta que une O con
v
1.

ii) Para cada 0 i n 1 y cada 0 j i calcular el orden de
i

j
.
iii) Calcular el orden de todos los elementos de D
3
, D
5
, y D
6
.
iv) Demostrar que si f D
n
entonces
( ) ) ( ,
) (
) (
f O k d c m
f O
f O
k

.

4.50
i) Sean M un conjunto finito y f : M M una aplicacin. Demostrar que las siguientes
afirmaciones son equivalentes:
1. f es inyectiva; 2. f es sobreyectiva; 3. f es biyectiva.
ii) Probar que el conjunto B(M) de las biyecciones de M con la operacin composicin es
un grupo.
iii) Si M tiene m elementos, cuntos tiene B(M)?

4.51 Determinar el valor de a para que:
i) Las races x
1
y x
2

de la ecuacin x
2
(3a + 2) x + a
2
0 cumplan que x
1
9x
2
.
ii) Las races de la ecuacin x
2
(2 a a
2
) x a
2
0 sean opuestas.
iii) Las races de la ecuacin x
2
+ ax + a + 2 0 estn en relacin 1:2

4.52 Determinar a y b para que las soluciones de la ecuacin x
2
+ ax + b + 2 0 sean a y b.

4.53 Hallar algn valor de a para que la ecuacin a
3
+ a
2
|a + x| + |a
2
x + 1| 1 tenga al menos
4 soluciones enteras distintas.

59
SOLUCIONES A LOS EJERCICIOS CON ASTERISCO (

)

4.3
i) La recta r es tangente a P si la corta en un nico punto, es decir, si la ecuacin de
segundo grado
x
2
= 4k (mx + n)
tiene una nica solucin. Reordenando la ecuacin,
x
2
4kmx 4kn = 0,
sta tiene una sola solucin si y solo si es nulo su discriminante
= 16k
2
m
2
+ 16kn = 16k (km
2
+ n)
Como P es una parbola, k 0, luego
r es tangente a P = 0 km
2
+ n = 0.
ii) Desde el punto A = (u, v) se pueden trazar dos tangentes a P perpendiculares entre s
si por A pasan dos rectas perpendiculares
r
1
: y = mx + n; r
2
: q x
m
y +

1
(1)
tangentes a P. Que r
1
y r
2
pasen por A significa que
v = mu + n y q
m
u
v +

(2)
y que r
1
y r
2
sean tangentes a P es, por el primer apartado, lo mismo que
km
2
+ n = 0; 0
2
+ q
m
k
(3)
Reemplazando en (3) los valores de n y q que se obtienen en (2) resulta
km
2
mu + v = 0; vm
2
+ mu + k = 0 (4)
y sumando ambas condiciones,
(k + v) (1 + m
2
) = 0.
Como 1 + m
2
0, ha de ser v = k, es decir, el punto A est en la recta horizontal
H: {(u, v)
2
: v = k}
No hemos considerado la posibilidad de que alguna de las rectas r
1
y r
2
sea vertical
pues aunque {x = u} corta a P en un nico punto

,
_

k
u
u
4
,
2
, no es tangente a P, como
muestra la figura


60





Recprocamente, vamos a estudiar desde qu puntos A = (u,k) de la recta H se
pueden trazar dos tangentes r
1
y r
2
a P perpendiculares. Escribiendo r
1
y r
2
como
en (1) y puesto que ahora v = k, la pendiente m de r
1
ha de cumplir las condiciones
(4), que son:
km
2
um k = 0 ; km
2
+ um + k = 0.
Estas dos condiciones coinciden y para que exista una solucin real m, es necesario y
suficiente que
= u
2
+ 4k
2
0,
lo cual sucede sea cual sea u . Por lo tanto, el conjunto de puntos buscado es la
recta horizontal H.

4.10
i) Supongamos que se trata de un rombo



Sea S el punto medio de la diagonal AC.

Como el tringulo ABC es issceles,
BS es perpendicular a AC
Por la misma razn, DS es perpendicular a AC
{B, S, D} alineados y BD es perpendicular a AC
Recprocamente, supongamos que las diagonales AC y BD del paralelogramo ABCD
son perpendiculares, y sea S su punto de corte, que es punto medio de ambas.
As, CS es la mediatriz de BD, luego
dist (C, B) = dist (C, D)
Por la misma razn, dist (A, B) = dist (A,D)
Pero al ser paralelogramo,
A = (u, v)
(u, u
2
/4k)
{x = u}
A C
B
S
D

61
dist (A, B) = dist (C, D) y
dist (B, C) = dist (A, D)
luego los 4 lados miden lo mismo y se trata de un rombo.

ii) Supongamos que se trata de un rectngulo





Por el teorema de Pitgoras
AC
2
= d
2
+ l
2
= BD
2
.
Recprocamente, supongamos que las diagonales AC y BD del paralelogramo ABCD
miden los mismo






As d
2
+l
2
2dl cos = AC
2
= BD
2
= d
2
+ l
2
2dl cos , luego
cos = cos .
Pero 2 + 2 = 2, es decir, + = , por lo que
cos = cos
As 2 cos = 0, luego = 2 = 2 = y se trata de un rectngulo.

iii)






A
C
B
l
D
l
d
d
A
C
B
l
D
l
d
d

A
C
B
N
D
Q
M
P
62
' rectngulo PQ QM BD AC
' rombo NP = PQ.
Como AC NP
2
1
y BD PQ
2
1
resulta que
' es rombo AC = BD.

iv) No hace falta comparar dos de tales cuadrilteros, sino slo probar que somos capaces
de expresar el rea de un cuadriltero a partir de los puntos medios de sus lados. Pero
empleando la figura de iii)
rea = . 2
2
2 2
2
PQ NP
PQ NP BD AC

v)





rea AP
r
B

+ rea DP
r
C

=
2 2 2
r l ly lx
+ .

4.22.
Estudiamos en primer lugar la interseccin r s, que ser bien vaco, bien un punto, bien
una recta (este ltimo caso cuando r s). Para ello calculamos los rangos de las matrices

,
_

7 ) ( 5
4 3 3
3 2
1 1 1
b a
a
A y

,
_

b
A A
8
7
4
3
*

Intercambiando las filas 2 y 3 y las columnas 2 y 3 , el problema es equivalente al de
calcular los rangos de
A
C
B
d
D
r
l
l
y
x
P
63

,
_

) ( 7 5
3 2
3 4 3
1 1 1
b a
a
B y

,
_

b
B B
8
4
7
3
*

Restando a la segunda fila 3 veces la primera, a la tercera 2 veces la primera y a la cuarta 5
veces la primera, se trata de calcular los rangos de

,
_

+ +
+

) 5 ( 2 0
) 2 ( 1 0
6 1 0
1 1 1
b a
a
C y

,
_

7
2
2
3
*
b
C C
Restando la segunda fila a la tercera y 2 veces la segunda a la cuarta, todo se reduce a
estudiar los rangos de

,
_

) ( 7 0 0
4 0 0
6 1 0
1 1 1
b a
a
D y

,
_

3
0
2
3
*
b
D D
Es obvio que rg D = 2 + rg

,
_

) ( 7
4
b a
a

Por lo tanto:
i) Si a 4 y b 3, entonces rg D 2
ii) Si a 4 o a 4 y b 3, entonces rg D 3.
En el primer caso,

,
_

0
0
2
3
*
D D luego rg D rg D
*
2 y as el sistema de ecuaciones
inicial es compatible e indeterminado. Por tanto r s consta de ms de un punto, luego es
una recta, esto es, r s r s.
Distinguimos varios subcasos en el caso ii).

Subcaso ii. 1) a 4, b 3
As rg D 3 mientras que

,
_

3 3 0 0
0 0 0 0
2 6 1 0
3 1 1 1
*
b b
D
64
y como la tercera fila es nula, rg D
*
3. Por ello el sistema es compatible y
determinado, es decir, r s es un punto. Para calcularlo resolvemos el sistema

,
_

,
_

3
0
2
3
b
z
y
x
D sea

'

+ +
3 ) 3 (
2 6
3
b z b
z y
z y x

'

+

8
4
1
y
y x
z
(12, 8, 1)

Subcaso ii. 2) a 4, b 3
Tambin en este caso rg D 3, mientras que

,
_

0 4 0 0
0 4 0 0
2 6 1 0
3 1 1 1
*
a
a
D
por lo que rg D
*
= 2 + rg 3
0 4
0 4

,
_

a
a
. As, tambin en este caso r s es un
punto, que se obtiene al resolver el sistema

'

+ +
0 ) 4 (
2 6
3
z a
z y
z y x

'

2
3
0
y
y x
z
(5, 2, 0)

Por ltimo analizaremos el ltimo
Subcaso ii. 3) a 4, b 3
Mientras que rg D = 3,

,
_

3 ) ( 7 0 0
0 4 0 0
2 6 1 0
3 1 1 1
*
b b a
a
D , por lo que
rg D
*
= 2 + rg 4
3 ) ( 7
0 4

,
_

b b a
a
ya que det

,
_

3 ) ( 7
0 4
b b a
a
(4 a) (b 3) 0.
Se trata por tanto de un sistema incompatible por lo que r s es vaco. Debemos decidir si
r y s son paralelas o se cruzan. Ahora bien, un vector director de r es
) 2 ( , 1 , 3 (
3 2
1 1 1
1
+ +

a a
a
w
65
y otro de s es ( ) ) 5 ( 3 , 1 , 21 ) ( 4
7 ) ( 5
4 3 3
2
b a b a
b a
w +
+

Las rectas r y s son paralelas si y solo si los vectores w
1
y w
2
son proporcionales, es decir,
w
1
w
2
(pues comparten la segunda coordenada). Esta condicin es:

'

+
+

'

+ +
+ +
17 3 2
24 4 3
) 5 ( 3 2
21 ) ( 4 3
b a
b a
b a a
b a a

'

'

+
+
4
3
7
17 3 2
a
b
b a
b a
, y esta
opcin ya haba sido descartada. Por tanto, en este subcaso ii. 3) las rectas r y s se cruzan.

4. 29.
Escribamos
1
1
1
]
1

32 31
22 21
12 11
a a
a a
a a
A y
1
]
1

23 22 21
13 12 11
b b b
b b b
B , por lo que
1
1
1
]
1

+ + +
+ + +
+ + +

23 32 13 31 22 32 12 31 21 32 11 31
23 22 13 21 22 22 12 21 21 22 11 21
23 12 13 11 22 12 12 11 21 12 11 11
b a b a b a b a b a b a
b a b a b a b a b a b a
b a b a b a b a b a b a
AB
Los vectores columna de esta matriz se pueden expresar como
w
1
= b
11
u
1
+ b
21
u
2
; w
2
= b
12
u
1
+ b
22
u
2
; w
3
= b
13
u
1
+ b
23
u
2
siendo u
1
y u
2
los vectores
columna de A. Por tanto, w
1
, w
2
, w
3
son combinaciones lineales de {u
1
, u
2
} y por ello
son linealmente dependientes, luego det (AB) = 0.
Sin embargo, si elegimos por ejemplo,
1
1
1
]
1

0 0
1 0
0 1
A , y
1
]
1

0 1 0
0 0 1
B al multiplicar
resulta
1
]
1

1 0
0 1
BA por lo que det (BA) = 1
Por contra, si A y B fueran matrices cuadradas del mismo orden, se tendra que
det (AB) = det (A) det (B) = det (B) det (A) = det (BA).

4.35.
Escribamos A = {x
1
, ... , x
N+1
} y factorizamos cada
1 1 , 0 , 2 + N k m b x
k k
m
k
k

66
con b
k
impar. Los N + 1 nmeros impares b
1
, ..., b
N+1
estn en {1, 2, ..., 2N}, que slo
contiene N nmeros impares
1, 3, ..., 2N 1,
luego existen j, k tales que j k pero b
j
= b
k
.
Como x
k
x
j
resulta ( )
j
k
j
k
m m
k j
m
k
m
j k
b b b x x 2 2 2 2 0
luego
j k
m m
2 2 y as m
k
m
j
, por ejemplo m
j
< m
k
. En consecuencia, y = x
k
y x = x
j

cumplen
j k
j
k
m m
k
m
k
m
b
b
x
y

2
2
2
, es decir, x divide a y.

4.37
i) Como 100 = 7 13 + 9, el resto de la divisin de 100 entre 13 es 9. Multiplicando por
10, 10
3
=10 100 = 10 (7 13 + 9) = 70 13 + 90 = 70 13 + 6 13 + 12,
luego 10
3
= 76 13 + 12, y as el resto de la divisin de 10
3
entre 13 es 12.
Podemos reescribir lo anterior como
10
3
= 76 13 + 13 1 = 77 13 1
y elevando al cuadrado,
10
6
= (77 13 1)
2
= 77
2
13
2
2 77 13 +1 = 13 q

+ 1
por lo que el resto de la divisin de 10
6
entre 13 es 1.
ii) Por supuesto, todo consiste en demostrar que el resto de la divisin entre 13 de
M 1 = 10
p
(10
p
1)
es 12. Al dividir p entre 6 se obtiene p = 6a + r, con 0 r 5.
Como p es impar al ser primo, p > 3, tambin r es impar. Si fuese r = 3, sera
10 = 3(2a + 1) mltiplo de 3, lo cual es falso. En consecuencia, r = 1 5.
Sustituyendo,
r r a r a p
b q 10 13 10 ) 1 13 ( 10 10
6
+ +
+
para cierto b . Por tanto,
) 1 10 ( 10 13 ) 1 10 13 )( 10 13 ( 1 + + +
r r r r
c b b M para cierto c .
Distinguiendo casos,
Si r = 1, 12 6 13 90 ) 1 10 ( 10 +
r r

Si r = 5, ) 1 10 100 ( 10 100 ) 1 10 ( 10
3 3 r r

12 ) 6 ( 13 90 13 ) 10 13 )( 9 13 ( ) 1 10 100 )( 1 13 77 )( 9 13 7 (
3
+ + + + e e d d
En ambos casos, 12 13 ) 1 10 ( 10 + u
r r
para cierto u , luego
M 1 = 13(c + u) + 12
como queramos demostrar.
67
4.38.
i) P(n) = n
3
+ 6 (n
2
+ 1) + 12n n = 6 (n
2
+ 2n + 1) + n
3
n = 6 (n + 1)
2
+ (n 1) n (n + 1)
El producto de (n 1) n (n + 1) es mltiplo de 2 y de 3, luego de 6, al ser tres
nmeros consecutivos, luego 6 P(n).
Adems, P(x) + 6 = x
3
+ 6x
2
+ 11x + 12 y dividiendo por Ruffini entre x + 4,

1 6 11 12
4 4 8 12

1 2 3 0

luego P(n) + 6 = (n + 4)(n
2
+ 2n +3)
ii) Hemos probado que 6 P(n), luego tambin 6 P(n) +6 y si definimos
6
) (
1
6
6 ) (
) (
n P n P
n f +
+
,
debemos probar que si n > 2, f (n) no es primo.
Si definimos g(n) = n
2
+ 2n +3 resulta:
6 f (n) = P(n) + 6 = (n + 4) g (n)
Supongamos por reduccin al absurdo que f (n) es primo.
Como f (n) (n + 4) g(n) y f (n) es primo,
bien f (n) n + 4, bien f (n) g (n).
Si f (n) (n + 4), entonces 6 f(n) 6 (n + 4), luego
P (n) + 6 6 (n +4)
es decir,
(n + 4) (n
2
+ 2n + 3) 6 (n + 4)
o sea,
n
2
+ 2n + 3 6
lo cual es falso ya que al ser n > 2, n
2
+ 2n + 3 > 15 > 6.
En consecuencia, f (n) g (n). Pero entonces
6 f (n) 6 g (n), o sea
(n + 4) g (n) 6 g (n), esto es, n + 4 6, lo cual es falso porque n + 4 > 6.
68
4.39
i) Ntese que dos puntos son distintos si la distancia entre ellos no es cero. As, si P Q
se tiene dist ( ) ) ( ), ( Q f P f dist (P, Q) 0, luego f (P) f (Q), por lo que f es
inyectiva.
ii) Sean f y g dos movimientos y f g h o su composicin. Dados puntos P y Q,
dist ( ) ) ( ), ( Q f P f dist ( ) ( ) ) ( , ) ( ( Q f g P f g
por ser g un movimiento, esto es,
dist ( ) ) ( ), ( Q f P f dist ( ) ) ( ), ( Q h P h
Pero al ser f movimiento
dist ( ) ) ( ), ( Q f P f dist (P, Q)
Por tanto,
dist ( ) ) ( ), ( Q h P h dist (P, Q)
luego h es un movimiento.
iii) Por la propia definicin, si g = g
C,
, y P C.
dist ( ) ) ( ), ( P g C g dist (C, P) = dist ( ) ) ( , P g C ,
luego queda probar que
dist ( ) ) ( ), ( Q g P g dist (P, Q)
para puntos P y Q distintos de C Miramos la figura






Comparemos los tringulos PC
r
Q y PC
r
Q
Como PCQ + QCP = = QCP + PCQ, resulta que
PCQ = PCQ (1)
Adems los lados cumplen
PC = PC; QC = QC (2)
De (1) y (2) resulta, por ejemplo por el teorema del coseno,
dist (P, Q) = dist (P, Q)
y as g
C,
es un movimiento.
C
P
Q

Q = g (Q)
P = g (P)

Fig. 1
69
iv) Si P y Q son puntos de r, como S
r
(P) = P y S
r
(Q) = Q,
dist ( ) ) ( ), ( Q S P S
r r
dist (P, Q)
Si P r pero Q r tenemos la figura siguiente:





Por la definicin de Q, dist (Q, M) = dist (Q, M), luego los tringulos rectngulos
PM
r
Q y PM
r
Q tienen iguales los lados PM, que es comn, y MQ =MQ, luego por el
teorema de Pitgoras.
dist (P, Q)
2
= PM
2
+ MQ
2
= PM
2
+ M Q
2
= dist (P, Q)
2
. Por tanto,
dist ( ) ) ( ), ( Q S P S
r r
dist (P, Q) = dist (P, Q).
Tomemos por ltimo dos puntos P y Q que no pertenencen a r y sean
) ( ), ( Q S Q P S P
r r
y R = PQ r como muestra la figura, N = r QQ,
M = r PP,








Hemos distorsionado intencionadamente la posicin de Q para no dar por probado
que P, R y Q estn alineados. En el caso anterior hemos demostrado que
dist (P, R) = dist (P, R); dist (Q, R) = dist (Q, R)
y como {P, R, Q} estn alineados,
dist (P, Q) = dist (P, R) + dist (R, Q) = dist (P, R) + dist (R, Q).
Todo se reduce a comprobar que {P, R, Q} estn alineados, pues en tal caso,
dist (P, Q) = dist (P, R) + dist (R, Q) = dist (P, Q)
como debamos demostrar.
P
Q
M
Q = S
r
(Q)
r
Fig. 2
R
P
M
r
Fig. 3
Q
N
Q
P
70
Para ello basta comprobar la igualdad de los ngulos
MRP = NRQ
Ahora bien, como RM es bisectriz en el tringulo PRP por ser ste issceles,
MRP = MRP = NRQ
luego basta ver que NRQ = NRQ, lo cual es inmediato al ser RN altura, y por
ello bisectriz, en el tringulo issceles QRQ.

v) Sean P, Q
2
. Dibujando,






El cuadriltero PPQQ es un paralelogramo ya que
P P W Q Q y PQ W Q W P Q P + + ) )( (
Por ello,
dist (P, Q) = dist (P, Q)

4.40.
i) Sea x R . Entonces existe t tal que
x = tP + (1 t) Q = Q + t(P Q)
luego llamando Q P w , resulta que w t Q x + por lo que x pertenece a la recta r
que pasa por Q y tiene a w por vector director, o sea, la que pasa por P y Q.
Recprocamente, si x r existe t tal que
Q t tP Q P t Q w t Q x ) 1 ( ) ( + + + R.
Por tanto R es la recta que une P y Q.




) (Q T Q
W
) (P T P
W


P
Q
w
Q
P
r
71
Si w t Q Q t tP t x + + ) 1 ( ) ( , para valores negativos de t resulta que x (t) Q y
w tienen sentidos opuestos, luego x(t) est situado a la izquierda de Q, mientras que
si t > 0, x (t) est situado a la derecha de Q. Como
x (t) P = tP + (1 t) Q P (1 t) (Q P),
si 0 < t < 1 los vectores x (t) P y Q P tienen el mismo sentido, luego
x (t) [Q, P], segmento de extremos Q y P, mientras que si t 1, x (t) est situado a
la derecha de P. Por ltimo, es obvio que x (0) = Q y x (1) = P




ii) Sea dist (P, Q) dist ( ) ) ( ), ( Q f P f
Estudiamos el caso t [0, 1], dejando el resto al lector.
Como x (t) [P, Q] resulta que
dist ( ) ) ( ), ( Q f P f dist ( ) ( ) P t x t x Q ), ( dist ) ( , +
dist ( ) ( ) ) ( ), ( t x f Q f + dist ( ) ( ) ) ( , ) ( P f t x f
De aqu se deduce que ( ) ) (t x f [f (Q), f (P)].
Adems, como x (t) Q t (P Q), x (t) P (1 t) (Q P),
( ) ( ) ) 1 ( ), ( ; ), ( t P t x d t Q t x d
luego
( ) ( ) ( ) ( ) ) 1 ( ) ( , ) ( dist ; ) ( , ) ( t P f t x f t Q f t x f d
As, ( ) ) (t x f es el punto del segmento [ ] ) ( ), ( P f Q f que dista t de f (Q) y (1 t)
de f (P).
Pero el punto y (t) t f (P) + (1 t) f (Q) est, por el apartado i) en el segmento
[ ] ) ( ), ( P f Q f y cumple que
( ) ) ( ) ( ) ( ) ( Q f P f t Q f t y ; ( ) ) ( ) ( ) 1 ( ) ( ) ( P f Q f t P f t y
luego
dist ( ) t Q f t y ) ( ), ( ; dist ( ) ) 1 ( ) ( ), ( t P f t y .
As pues, los puntos ( ) ) (t x f e y(t) pertenecen al segmento [ ] ) ( ), ( P f Q f y sus
distancias a los extremos coinciden, por lo que y(t) ( ) ) (t x f , o sea
( ) ) ( ) 1 ( ) ( ) 1 ( Q f t P tf Q t tP f + +
Q
P
x(t), t < 0
x(t), t [0, 1]
x(t), t > 1
72
iii) Sean P y Q puntos distintos en la recta r.
Por el apartado i),
r {tP + (1 t) Q : t }.
As, dado x(t) tP + (1 t) Q r, por el apartado ii),
( ) ) ( ) 1 ( ) ( ) ( Q f t P tf t x f + (1)
luego ( ) ) (t x f pertenece a la recta que une f (P) con f (Q). Adems, si x(t) [P, Q]
entonces 0 t 1 y por (1), ( ) ) (t x f [ ] ) ( ), ( Q f P f .
Recprocamente, si y es un punto de la recta que une f (P) con f (Q), existe t tal
que
y tf (P) + (1 t) f (Q).
Entonces el punto x tP + (1 t)Q r y f (x) y.
Por lo tanto, f (r) es la recta que une f (P) con f (Q) y f ([P, Q]) es el segmento que une
f (P) con f (Q).

iv) Los segmentos [P
1
, P
2
], [P
1
, P
3
] y [P
2
, P
3
], se transforman, por el apartado anterior,
en los segmentos [ ] ) ( ), (
2 1
P f P f , [ ] ) ( ), (
3 1
P f P f y [ ] ) ( ), (
3 2
P f P f , luego el
tringulo de vrtices P
1
, P
2
, P
3
, se transforma en el de vrtices f (P
1
), f (P
2
) y f (P
3
).
Como ( ) ), , ( ) ( ), (
j i j i
P P d P f P f d 1 i, j 3, los lados de ambos tringulos son
dos a dos iguales, y por ello tambin lo son sus ngulos.

4.48

i)




Es evidente que la menor distancia entre vrtices es el lado de P
n
, y sta se da si y
solo si los vrtices son contiguos. Llamando pues al lado de P
n
, si v
i
y v
j
son
contiguos
( ) ) , ( ) ( ), (
j i j i
v v d v f v f d
luego f (v
i
) y f (v
j
) son contiguos.
v
1

v
2

v
n

73
Sea ahora f

D
n
arbitrario y v
k
f

(v
1
). A priori existen n posibles valores para
k : 1, 2, ... , n. Como v
1
y v
2
son contiguos han de serlo v
k
f (v
1
) y f (v
2
), luego f (v
2
)
solo puede ser uno de los dos vrtices contiguos a v
k
. Tenemos pues dos opciones
para definir f (v
2
).
Tambin v
n
es contiguo a v
1
, luego f (v
n
) lo es a v
k
y como v
n
v
2
, entonces
f (v
n
) f (v
2
), luego no hay posible eleccin para f (v
n
) : es el vrtice contiguo a v
k
y
distinto de f (v
2
). Como v
1
, v
2
y v
n
no estn alineados, y un movimiento queda
determinado por la imagen de tres puntos (ejercicio 43) no alineados, la imagen f (v
i
)
est ya determinada para cada v
i
V
n
. Tenemos pues n opciones para definir f (v
1
) y 2
para definir f (v
2
), luego a lo sumo D
n
tiene 2n elementos.

ii) Es claro que (v
1
) v
n
y (v
i
) v
i1
para cada ndice 2 i n, luego por el
ejercicio 40, transforma cada lado del polgono P
n
en un lado de P
n
, por lo que
(P
n
) P
n
y as D
n
.
La simetra cumple que
(v
1
) v
1
, (v
k
) v
n+2k

y repitiendo el argumento precedente, tambin D
n
.
Ahora bien, si f, g D
n
, tambin
n
D f g o ya que
( )
n n n n
P P g P f g P f g ) ( ) ( ) )( ( o
En consecuencia, como , D
n
cada
k
y cada
k
pertenecen a D
n
. Por tanto,
{1
2
, ,
2
, ...,
n1
, , , ... ,
n1
} D
n
. (1)
Los miembros del conjunto de la izquierda son todos distintos. En efecto, si
i

j

para los exponentes 1 i < j n 1, resulta que

i
(v
n
)
j
(v
n
)
luego v
ni
v
nj
, esto es n i n j, lo cual es absurdo porque i j. As
{1
2
, ,
2
, ...,
n1
} son n elementos distintos en D
n
.
Por otro lado tambin son distintos entre si los n elementos {, , ... ,
n1
} porque
si
i

j
para dos exponentes 0 i < j n1, componiendo con ambos miembros
se obtiene
o o
j i

74
Pero

1
2
, luego
i

j
, y ya hemos visto que esto no es posible. Slo falta
comprobar que
i

j
para cada 0 i n1 y cada 0 j n1. Pero aplicando
ambos miembros sobre v
1
se tiene , si
i

j
,

i
(v
1
)
j
(v
1
)
j
(v
1
)
por lo que v
n(i1)
v
n(j1)
, luego

n i + 1 n j + 1, esto es, i j. Pero entonces sera

i

i
y aplicando ambos miembros sobre v
2
,

i
(v
2
)
i
(v
2
)
i
(v
n
)
o sea,
i2
(v
n
)
i
(v
n
), es decir, v
n(i2)
v
ni
; esto es falso pues i 2 i.
Hemos demostrado que los 2n elementos del miembro de la izquierda de (1) son
distintos. Pero en el apartado anterior demostramos que D
n
tiene a lo sumo 2n
elementos, lo que prueba la igualdad
D
n
{1
2
, ,
2
, ...,
n1
, , , ... ,
n1
}
iii) Razonamos por induccin sobre k. Para k 0 es obvio y para k 1 calculamos
(v
1
) (v
n
) (v
2
) v
1
(v
1
)
(v
2
) (v
1
) (v
1
) v
n
(v
2
)
(v
n
) (v
n1
) (v
3
) v
2
(v
n
)
Como y coinciden en tres puntos no alineados, se deduce del ejercicio 43 que

Supongamos ya probado que
k

k
, k 1.
Entonces,
k+1

k+1
(
k

k
) , como queramos demostrar.

iv) Sea f D
n
un elemento que conmuta con todos . Por el apartado ii) se escribir
f
i

j
para ciertos 0 i n1, 0 j 1
Como f f , tambin
i
f
i
f, o sea,

j

i

j
,
luego por el apartado iii),

j

2i

j
,
y si k j + 1,
k

2i

k
, luego
k

k

2i

k
,
y como
k

k
1
2
,
2i
1
2
. Como
r
g
2
, 0
, al componer,
1
2
,
i
n
i
g
2
2
, 0
2

,
luego 2i n 0.
75
En consecuencia, si n es impar, i 0, por lo que f
j
. Si fuere j 1, f y como
f f se tendr

Componiendo con por la izquierda,

2

y componiendo con por la derecha,
2
, o sea
2
1
2
. Pero esto es falso, ya
que
n
g

4
, 0
2
.
As pues, si n es impar ha de ser i j 0, luego f 1
2
. Si n es par, el nico candidato
a conmutar con todos los elementos de D
n
, distinto de la identidad es, por lo ya visto,
f
n/2

Es evidente que f f. Adems, como
k

k
1
2
, resulta que
1
2
ff, ff
n/2

n/2

n
1
2
,
luego f fff f f.
Como f f y f f se deduce que para cada g
l

m
D
n
,
fg f
l

m

l
f
m

l

m
f gf
En consecuencia, si n es par, los elementos de D
n
que conmutan con todos los
elementos de D
n
son {1
2
,
n/2
}.
v) Se deduce del apartado anterior que la simetra no conmuta con todos los elementos
de D
n
, luego D
n
no es abeliano.