La Gaceta de la RSME, Vol. 11 (2008), Nm. 2, Pgs.

279289 279
Sobre dos no-descubrimientos matemticos
de P. L. Chebyshev
por
Francisco Luquin
Resumen. En este artculo se comentan dos descubrimientos matemticos,
ninguno de los cuales es debido a Chebyshev: uno de Teora de los Nmeros y
otro sobre ciertos mecanismos. El autor considera cuando menos curioso que,
teniendo en cuenta la dedicacin de Chebyshev a ambos temas, no fuera l
quien nalmente realizara los correspondientes descubrimientos.
Nadie que conozca la importancia y variedad de los resultados obtenidos por
Chebyshev (18211894), as como sus mtodos utilizados, puede poner en duda que
fue un gran matemtico. No obstante, el objetivo de este artculo no es rememorar
stos, sino que ms bien remedando a Lewis Carroll en su Alicia en el pas de las
maravillas es comentar dos no-descubrimientos de Chebyshev.
Primer no-descubrimiento
Es de sobra conocido el inters que mostr Chebyshev tanto por la Teora de los
Nmeros, y en particular por la distribucin de los nmeros primos en la serie de
los nmeros naturales (teorema del nmero primo, T.N.P.), como por la Teora de la
Aproximacin de las Funciones. Entre otras funciones, en 1848 Chebyshev deni,
para x > 0, la funcin
(x) =

nx
(n) (n entero positivo)
con
(n) =
_
ln p, si n = p

para un cierto primo p y un cierto 1,

0, en otro caso,
por medio de la cual el T.N.P. [2] se puede reformular como
1
lm
x
(x)
x
= 1.
1
Sea (x) el nmero de primos que no exceden a x. A nales del siglo XVIII, examinando tablas
de nmeros primos, Gauss y Legendre conjeturaron independientemente que lm
x
(x) log x
x
= 1.
Tal armacin es lo que se conoce con el nombre de T.N.P., y es equivalente a lm
x
(x)
x
= 1.
Actualmente, el T.N.P. ya no es una conjetura, sino que fue demostrado por Hadamard y de la
Valle-Poussin en 1896.
280 Dos no-descubrimientos matemticos de Chebyshev
As mismo, el descubrimiento en 1853 del polinomio mnico de mnima desviacin
uniforme a cero en un intervalo [a, b],
t
n
(x) = 2
_
b a
4
_
n
cos
_
narc cos
2x b a
b a
_
,
tambin es debido a tan ilustre matemtico. Por cierto que, en el caso del intervalo
[2, 2], el polinomio t
n
(x) tiene coecientes enteros.
Pues bien, hacia 1936 Schnirelman y Guelfond [3] realizan el siguiente razona-
miento:
Consideremos la magnitud

n
n
= mn
P
m ax
0x1
|P(x)|,
donde el mnimo se extiende al conjunto de polinomios con coecientes enteros no
simultneamente nulos de grado n. Schnirelman demostr la existencia del lmite
= lm
n

n
.
Sea Q
n
(x) 0 un polinomio que alcanza la desviacin mnima anterior, es decir,
que verique

n
n
= m ax
0x1
|Q
n
(x)|.
Evidentemente
0 <
_
1
0
Q
2
n
(x) dx
2n
n
_
1
0
dx =
2n
n
.
Multiplicando por el mnimo comn mltiplo
2n+1
de 1, 2, . . . , 2n+1, el lado derecho
de la desigualdad anterior resultar un nmero entero que, como no puede ser nulo,
tendr que ser mayor o igual que uno, por lo que se vericar
1
2n+1

2n
n
o, equivalentemente,

2n
n

2n+1
.
Tomando logaritmos neperianos, y teniendo en cuenta que ln
x
= (x), resulta
ln
n

(2n + 1)
2n
,
de donde, tomando lmites cuando n , obtenemos
ln lm
n
(2n + 1)
2n
.
Como consecuencia, una demostracin, quizs elemental, del T.N.P., podra seguirse
si pudiramos probar que = e. Desgraciadamente 2,3629 < < 2,3736 [1, 7, 10] y
este mtodo de acotacin inferior no es sucientemente efectivo. Chebyshev en 1851
La Gaceta Artculos 281
demostr que, caso de existir el lmite de la derecha, ste tendra que ser uno. Sin
embargo no fue capaz de demostrar la existencia de este lmite [2].
Desde que el profesor E. Aparicio (19261998) me introdujo en estos temas, cada
vez que reexiono sobre ellos me llama la atencin que, siendo Chebyshev la persona
adecuada y teniendo todos los conceptos necesarios, no encontrara esta relacin
entre el T.N.P. y el polinomio no nulo de coecientes enteros de mnima desviacin
uniforme a cero.
Segundo no-descubrimiento
Para su exposicin hagamos un poco de historia. Al inicio de la revolucin indus-
trial, y para un mejor funcionamiento de la mquina de vapor de Watt, era necesario
disear un dispositivo capaz de transmitir al balancn el impulso del pistn en su
camino ascendente, ya que, evidentemente, la cadena o engranaje al uso no serva.
Adems, debido a su diferente movimiento, lineal el pistn y circular el balancn, no
era posible una unin directa entre ambos. El primero en dar una solucin fue Watt
(17361819), el cual dise un mecanismo, su famoso paralelogramo, que transfor-
maba el movimiento circular en otro aproximadamente rectilneo.
Balancn y paralelogramo de Watt.
En la gura, ED es el balancn, pivotado en D. CBAD es el mecanismo (simple),
con C jo a la mquina, DAEQB forma el pantgrafo, AEQB es un paralelogramo
articulado, y P un punto del eslabn intermedio AB, el cual est alineado con
D y Q, as las trayectorias de P y Q sern siempre similares. Como el balancn
oscila alrededor de su pivote, ajustando tanto las longitudes como la posicin de los
eslabones, la trayectoria total de P es una gura simtrica con forma de 8, y Watt
demostr que la parte de la trayectoria de P, y por tanto de Q, correspondiente a una
oscilacin del balancn de no ms de 20 grados arriba o abajo de la horizontal, sera
aproximadamente lineal. De esta forma asegura que, al movimiento oscilatorio del
balancn, le corresponda un movimiento casi lineal de la varilla del tapn conectado
en P y de la varilla del pistn conectado en Q, como deseaba.
El problema suscitado era buscar un mecanismo que fuera capaz de trazar exac-
tamente una lnea recta. Adems de Watt, otros autores que estudiaron y descubrie-
ron nuevos mecanismos son Chebyshev, Oliver Evans (17551819), Richard Roberts
282 Dos no-descubrimientos matemticos de Chebyshev
Mecanismo simple de Watt.
(17891864), Scott Russell (18081882), Sylvester (18141897), Cayley (18211895),
Peaucellier (18321913), Lipkin (18511875), Hart (18481920) y Kempe (1849
1922) quien tiene un libro escrito sobre este tema.
Chebyshev fue el primer matemtico interesado en la teora de los mecanismos
articulados. En sus dos primeros trabajos, motivados por el estudio del paralelogramo
de Watt y aplicables a otros tipos de mecanismos, Thorie des mcanismes connus
sous le nom de paralllogrammes (1854) y Sur les question des minima qui se
rattachent la reprsentation approximative des fonctions (1859), sent tanto las
bases para la Teora de Aproximacin de las funciones como para la modelizacin
del estudio de los mecanismos. En general consider la trayectoria trazada por un
punto del mecanismo como una funcin F(x; p
1
, . . . , p
n
), la cual depende de una
variable x y n parmetros p
i
que denen el mecanismo. A la funcin se le suponen
ciertas propiedades de regularidad respecto a la variable y a los parmetros, y ambas
pertenecen a ciertos dominios. Hay que calcular condiciones sobre los valores p
i
de
los parmetros p
i
que alcancen el valor
mn
p
i
m ax
x
|F(x; p
1
, . . . , p
n
)| = m ax
x
|F(x; p
1
, . . . , p
n
)| = L.
Supongamos que el nmero de puntos de desviacin x, en los cuales F es igual a
L, es nito; sean x
1
, . . . , x

. tales puntos. Chebyshev demuestra que, si un sistema

determinado de valores de parmetros p
i
alcanza el mnimo, entonces, o bien
n + 1, o el rango de la matriz
_
_
_
_
_
P
11
P
12
. . . P
1
P
21
P
22
. . . P
2
.
.
.
.
.
.
.
.
.
.
.
.
P
n1
P
n2
. . . P
n
_
_
_
_
_
,
con P
ik
=
F
p
i
(x
k
)
F
p
i
(x
k
; p
1
, . . . , p
n
), es menor que .
El primer mecanismo presentado por Chebyshev es la variacin del mecanismo
simple de Watt que se observa en la gura, y con el que mejora la aproximacin
rectilnea de ste.
La Gaceta Artculos 283
El primer mecanismo de Chebyshev.
En l las manivelas AD y CB son de la misma longitud, y el punto P que ejecuta
el movimiento deseado se encuentra en mitad de la biela AB. Aplicando el teorema
precedente a la funcin que determina el movimiento del punto P encontramos que
su movimiento se aproxima lo ms posible a una lnea recta si las magnitudes del
mecanismo verican:
(1) La distancia de los ejes de rotacin de las manivelas es igual a un tercio de
la suma de las longitudes de las dos manivelas y de la biela, es decir CD =
(AD +CB +AB)/3.
(2) La longitud de la biela debe exceder a un cuarto la de la manivela, AB > AD/4.
Bajo estas condiciones, y tomando por unidad de longitud la de las manivelas,
demuestra que la longitud de la biela a est determinada por la ecuacin
l
2
=
(5 2a)(2a + 1)(4a 1)
(a + 2)
2
,
donde l designa la longitud de la cuerda paralela a CD que sostiene el arco de
trayectoria trazado por el punto P en su recorrido.
Tambin prueba que este arco estar totalmente comprendido entre dos rectas
paralelas cuyas distancias a la lnea que une los centros de rotacin de las manivelas
son iguales respectivamente a
_
4
9
(1 a)(2 +a),

4
9
(1 a)(2 +a) +
(4a 1)
3
12(a + 2)
2
.
En su artculo siguiente, Sur les paralllogrammes, despus de dar una clasi-
cacin de los paralelogramos atendiendo al nmero de eslabones, uniones y pivotes,
estudia la composicin de mecanismos. Si ya en un mecanismo es bastante aceptable
su aproximacin rectilnea, al considerar la composicin de dos, uniendo de cierta
manera el segundo mecanismo al punto de trazado del primero, la aproximacin que
se consigue es ostensiblemente mejor.
284 Dos no-descubrimientos matemticos de Chebyshev
El primero en resolver este problema de rectitud fue el general de ingenieros de
la armada francesa Charles-Nicolas Peaucellier quien, en 1864, ochenta aos despus
del descubrimiento de Watt, dise un mecanismo, una especie de comps com-
puesto, formado por siete eslabones y seis pivotes, dos de ellos jos, que construye
mecnicamente la gura inversa de una lnea dada. Recordemos que fue Apolonio de
Perga (262 a.C.) quien introdujo la inversin en un crculo en su obra Plane Loci.
Mecanismo de Peaucellier.
No obstante, el importante descubrimiento de Peaucellier pas en principio desa-
percibido, ya que lo hizo pblico en una carta remitida a Nouvelles Annales de
Mathmatiques, donde armaba tener una solucin positiva pero sin dar detalles
de su construccin, siendo redescubierto 7 aos ms tarde por un estudiante ruso
llamado Lippman Lipkin, alumno de Chebyshev, quien public la primera solucin
detallada.
Harry Hart, de la Academia de Woolwich, construy en 1874 un mecanismo de
cinco eslabones, formado por un paralelogramo cruzado al cual se le aade un nuevo
eslabn, que tambin convierte el movimiento circular en un movimiento rectilneo
exacto. Una lnea recta paralela a la recta unin de dos vrtices no consecutivos
corta a los lados cruzados y a uno de los otros en tres puntos Q, P y O. Fando O,
P y Q describen curvas inversas.
Mecanismo de Hart.
La Gaceta Artculos 285
Desde 1852 hasta el nal de sus das, Chebyshev continu muy interesado en el
tema relacionado con los mecanismos y sus aplicaciones prcticas, como se maniesta
en la gran cantidad de artculos que escribi, unos 15. Construy nuevos mecanismos
que trazaban la misma trayectoria que otros mecanismos dados. Por ejemplo, los
puntos de trazado M de los dos mecanismos mostrados en la gura realizan idntica
trayectoria. Aqu los puntos A, D y A

son pivotes jos, mientras que los B, C, B

y
C

son movibles. El de la izquierda (g. 1), es el primer mecanismo de Chebyshev

ya comentado.
A(2, 0) D(2, 0)
B
_
1,

18
_
C
_
1,

18
_
M(0,

18)
Fig. 1
A

(0, 0) D(2, 0) B

(3, 0)
C

_
3
2
,

18
2
_
M(0,

18)
Fig. 2
Esquema de dos mecanismos de Chebyshev que trazan la misma trayectoria.
Consider una variante de estos mecanismos cuyo esquema coincide con los de
las guras anteriores, a los que aadi un nuevo segmento de longitud arbitraria
con origen en M y perpendicular a la recta que une los puntos de rotacin jos
cuando el mecanismo est en su posicin media (como la de las guras), y en cuyo
otro extremo situ su punto de trazado. As mismo estudi mecanismos de tres
elementos en donde la biela, en vez de ser un segmento, tena forma de tringulo.
Estudi uno muy simple similar al de la derecha (g. 2), pero donde el eslabn MB

,
en vez de recto, es una lnea quebrada en C

, en el cual el extremo M describe una

especie de cadena de tres eslabones, comprendida entre dos lneas paralelas a los
puntos de unin de los eslabones. La anchura de esta franja puede controlarse por
medio del ngulo formado por el eslabn quebrado. Tambin estudi los casos de
mecanismos en donde la trayectoria de su punto trazador era lo ms aproximada
posible a un crculo dado.
Chebyshev fue muy crtico con los mecanismos. Primero, segn l, por la pobre
aproximacin rectilnea de sus trayectorias; y, segundo, aun cuando ya se haba
conseguido convertir exactamente el movimiento circular en rectilneo, por el nmero
de eslabones y pivotes que los formaban, los cuales dicultaban su construccin y
hacan peligroso su uso en la prctica.
Chebyshev no solo describi sus mecanismos con gran profusin de detalles prc-
ticos, sino que construy o dise un gran nmero de ellos procurando su exhibicin
al pblico, principalmente en las exposiciones universales de la poca. Destacaremos
los siete modelos expuestos en el Conservatoire des arts et mtiers de Pars [11].
286 Dos no-descubrimientos matemticos de Chebyshev
En el marcado como 1, el movimiento circular de la manivela CB se transforma en
movimiento rotatorio de la rueda alrededor del centro D, sin punto muerto.
Siete mecanismos articulados de Chebyshev expuestos en Pars.
El 2 representa un mecanismo donde el movimiento circular produce el movi-
miento de la palanca D que pasa rpidamente de una de sus posiciones extremas a
la otra. En el 3, la palanca D se para por algn tiempo a la mitad de una de sus
carreras. El 4 representa un sistema donde el movimiento circular de la manivela BC
se transforma en movimiento con retorno rpido del punto D, muy poco diferente
del movimiento rectilneo. En el 5, a una vuelta de la manivela BC corresponden
dos oscilaciones completas de la palanca D. En el sistema 6, la palanca D realiza
un movimiento brusco y por ltimo, el 7 transforma el movimiento circular de la
manivela BC en movimiento circular de la rueda O con la siguiente particularidad:
mientras que la manivela BC da una vuelta, la rueda O gira cuatro o dos veces
segn el sentido de rotacin. De todos estos mecanismos, el ltimo es el nico que
realiza la transformacin del movimiento con puntos muertos.
Como aplicaciones [11] de estos sistemas articulados tenemos que el sistema 3
puede utilizarse en las mquinas de coser, en las cuales es importante que la aguja
se detenga un momento a la mitad de su carrera. Cuando se quiere hacer girar
una rueda sin el concurso de engranajes y cadenas, se puede utilizar el sistema 1;
el velocpedo para mujeres de la gura es un ejemplo de este caso. La mquina de
expurgar grano, que necesita un movimiento brusco, usa el sistema 6, mientras que el
barco utiliza una combinacin de todos ellos para transformar el movimiento circular
de la manivela en movimiento alternativo de las paletas, con el n de propulsarlo.
En la ltima gura presentamos el denominado mecanismo plantgrado, que imita
los movimientos al andar de un cuadrpedo [12]. Las proporciones de este mecanismo
La Gaceta Artculos 287
Arriba: velocpedo y mquina de expurgar grano expuestos en Chicago. Abajo: barco
dibujado a partir de una fotografa.
han de ser:
A
1
B
1
= B
1
C = B
1
M
1
= A
2
B
2
= B
2
C = B
2
M
2
= A
3
B
3
= B
3
C
1
= B
3
M
3
= A
4
B
4
= B
4
C
1
= B
4
M
4
= 1;
A
1
C

= A
2
C

= A
3
C

1
= A
4
C

1
= 0,355;
CC

= C
1
C

1
= 0,785;
A
2
A
4
= A
1
A
3
= C

1
= 0,634.
En el esquema no es difcil observar el mecanismo de la g. 2 utilizado en cada pata
del cuadrpedo, por lo tanto sus dimensiones tienen que vericar las condiciones (1)
288 Dos no-descubrimientos matemticos de Chebyshev
y (2). Tambin est marcada la trayectoria trazada por el punto M
4
. Los puntos
M
1
, M
2
y M
3
realizan un recorrido similar.
Mecanismo plantgrado.
Citaremos tambin aqu su famoso aritmmetro o mquina de calcular, por ser
el mecanismo ms elaborado concebido por Chebyshev. Fue construido por la rma
Gautier de Pars.
Si tenemos en cuenta la excelencia de los resultados conseguidos por Chebyshev
en cualquier tema que trat, y dado que su inters por los mecanismos ha quedado
patente, resulta cuando menos chocante que no construyese uno que fuese capaz
de trazar exactamente una lnea recta; ms an si consideramos que contaba slo
50 aos cuando Lipkin, su alumno, lo present. Ms sorprendente es, todava, la
atribucin que algunos autores [13] sostienen (sin citar referencia alguna) de una
demostracin de Chebyshev de la imposibilidad de construir un mecanismo de cinco
eslabones de estas caractersticas.
Agradecimientos. Agradezco al referee sus tiles comentarios. As mismo quiero
dejar constancia de que las ilustraciones utilizadas han sido tomadas de [11, 12, 13].
La Gaceta Artculos 289
Referencias
[1] J. M. Almira y N. del Toro, Sobre aproximacin con polinomios de coe-
cientes enteros, La Gaceta de la RSME 6 (2003), 377403.
[2] T. M. Apostol, Introduccin a la Teora Analtica de Nmeros, Editorial
Revert, 1980.
[3] A. O. Gelfond, Commentary on the papers On the estimation of the number
of primes not exceeding a given value and On prime numbers, Collected
works of P. L. Chebyshev, vol. 1, Akad. Nauk SSSR, Moscow-Leningrad (1946),
285288. (En ruso.)
[4] H. Hart, On certain conversions of motion, Messenger of Math. 4 (1874), 82
88.
[5] L. Lipkin, Dispositif articul pour la transformation rigoureuse du mouvement
circularie en mouvement rectilinge, Revue anivers. des Mines et de la Mtalurgie
de Lige 30, 4
e
livraison, (1871), 149150.
[6] A. Markoff y N. Sonin, Oeuvres de P. L. Tchebychef, 2 Vols., St. Petersburg,
1899/1907. (Reimpreso por Chelsea, New York, 1952.)
[7] H. L. Montgomery, Ten Lectures on the interface between Analytic Number
Theory and Harmonic Analysis, CBMS, Regional Conference Series in Mathe-
matics 84, A.M.S., Providence, RI, 1994.
[8] A. Peaucellier, Lettre au rdacteur des Nouvelles Annales de Mathmatique,
Nouv. Ann. de Math., 2
e
serie, 3 (1864), 414415.
[9] A. Peaucellier, Note sur une question de gometrie de comps, Nouv. Ann.
de Math., 2
e
serie, 12 (1873), 7173.
[10] I. E. Pritsker, Small polynomials with integer coecients, J. dAnalyse Math.
96 (2005), 151190.
[11] X. . . , ingnieur, Tiges articules de M. Tchebiche, La Nature, Revue des
Sciences et de leurs applications aux arts et a lindustrie, Paris, G. Masson,
diteur, Libraire de lAcadmie de Mdecine, (1893), 4043.
[12] A. Zavrotsky, Centenario de la muerte de Panucio L. Chebyshef, Boletn de
la Asociacin Matemtica Venezolana 4, n.
o
2, (1997), 8992.
[13] http://www2.math.unifi.it/~archimede/archimede/index.html
http://staff.science.uva.nl/~leo/lego/linkages.html
http://www.cut-the-knot.org/pythagoras/invert.shtml
Francisco Luquin, Departamento de Matemticas, Facultad de Ciencia y Tecnologa, Uni-
versidad del Pas Vasco, Apartado 644, 48080 Bilbao
Correo electrnico: francisco.luquin@ehu.es