Una función periódica se define como una función para la cual
| (1) |
para todo valor de . La constante mínima
que satisface a (1) se llama el período de la función. Mediante (1), se tiene obtiene
| (2) |
Si una función tiene la siguiente expresión
es periódica, con período , y es posible encontrar dos enteros
y
tales que
| (3) | |
| (4) |
Y mediante (3) y (4)
| (5) |
es decir, la relación debe ser un número racional.
Demostración 1. Si , entonces
| (6) | |
| (7) |
De , si
| (8) |
Comenzando con la siguiente integral
Realizando la sustitución
Cualquier símbolo puede representar la variable comodín, entonces
| (9) |
De (9), si y
, se tiene lo siguiente
| (10) |
Luego, del primer miembro de (6) puede escribirse como
| (11) |
Aplicando el resultado de (9) en la primera integral del segundo miembro de (11), resulta
| (12) |
De (12), si , resulta
| (13) |
Demostración 2. Sea y
A continuación se va a demostrar que si y sólo si
Comenzando con
Sustituyendo , resulta
| (14) |
De la ecuación (13) (tomando la variable τ en vez de t, para que después sea retornada como variable comodín)
Y de la ecuación (7)
Se sustituyen en la ecuación (14)
Si
Si , entonces
Como se esperaba.