1.

P ROPIEDADES

ELEMENTALES DE LAS FUNCIONES

cos

sen

Proposici
on 1.1. Si p P R` es un periodo de cos, entonces existe k P Z` tal que p 2k.
Demostracion. Dados p P R` y 2 P R` , la propiedad arquimediana (vease [1] p.g. 32 teorema 1.30)
existe n P Z` tal que n2 p; si consideramos el conjunto
(
A m P Z` | p m2 ,

se tiene que n P A y por lo tanto A ; por el principio del buen orden (vease [2] p.g. 135 teorema
2.1.11) A tiene elemento mnimo; sea n0 mn A.
Ya que n0 0, necesariamente 0 n0 1; si n0 1 0, entonces n0 1 y en tal caso p n0 2 2,
con p un periodo de cos, lo cual es imposible ya que el periodo de cos es 2.
De esta manera, 0 n0 1 y como n0 1 n0 , necesariamente n0 1 R A y en consecuencia
pn0 1q 2 p; de esta manera obtenemos pn0 1q 2 p n0 2 y as
0 p pn0 1q 2 2.

(1)
Luego

cos pp pn0 1q 2q cos p pn0 1q 2q

(ya que p es un periodo)

cos ppn0 1q 2q
1

(ya que cos es par)

y en virtud de 0 es el u
nico n
umero en el intervalo r0, 2q donde cos tiene valor 1, necesariamente
p pn0 1q 2 0 y por lo tanto p pn0 1q 2, con pn0 1q P Z` .

Corolario 1.2. Si p P R t0u es un periodo de cos, entonces existe k P Z t0u tal que p k2.
Corolario 1.3. Si q P R t0u es un periodo de sen, entonces existe k P Z t0u tal que q k2.
Demostracion. Sean q P R t0u un periodo de sen y x P R, entonces
cos px ` qq p cos px ` qqq
sen ppx ` qq {2 q

(propiedad vista en clase)

sen ppx {2 q ` qq

sen px {2 q

(ya que q es un periodo)

cos pxq

(propiedad vista en clase)

lo anterior muestra que, q es un periodo de cos y por corolario 1.2, necesariamente q k2, para
alg
un k P Z t0u.

Proposici
on 1.4. Sea f : Dom pf q R una funcion periodica con periodo p0 . Si a P R t0u entonces
a f : Dom pf q R es una funci
on periodica de periodo p0 .
Demostracion. Recordamos que, para cada a P R t0u Dom pa f q Dom pf q; de esta manera, si
x P Dom pa f q entonces x ` p0 P Dom pa f q, luego
a f px ` p0 q af px ` p0 q
af pxq
a f pxq
ya que p0 P Dom pf q Dom pa f q, se sigue que p0 es un periodo de a f y por consiguiente, a f es
una funci
on peri
odica. Si q0 es el periodo de a f , por lo anterior y la definici
on de periodo
(2)

q 0 p0 .
1

Por otra parten, si x P Dom pf q, entonces

f px ` q0 q

1
a f px ` q0 q
a

1
paf px ` q0 qq
a
1
ppa f q px ` q0 qq
a
1
ppa f q pxqq
a
1
paf pxqq
a

a f pxq
a
f pxq ,

esto es, q0 es un periodo de f y por consiguiente

p0 q 0 .

(3)
Se sigue de (2) y (3) que q0 p0 .


R EFERENCIAS
[1]
[2]

Apostol T. M.; Calculus, Vol. I; 2a edici

on; Reverte; Barcelona; Espa
na; 1984.

G
omez L, Carmen; Algebra
superior curso completo; Publicaciones y fomento editorial UNAM; Primera reimpresi
on;
2015.

M E XICO D.F.; FACULTAD

DE

NOMA DE M E XICO ; O CTUBRE 2016

C IENCIAS ; U NIVERSIDAD N ACIONAL A UT O

P ROF. E RNESTO M AYORGA S AUCEDO

E-mail address: ernestoms@ciencias.unam.mx
blog : http://emsaucedo.wordpress.com/