stringtranslate.com

Cassini y las identidades catalanas

La identidad de Cassini (a veces llamada identidad de Simson ) y la identidad de Catalan son identidades matemáticas para los números de Fibonacci . La identidad de Cassini , un caso especial de la identidad de Catalan , establece que para el n- ésimo número de Fibonacci,

Nota: aquí se toma como 0 y se toma como 1.

La identidad catalana generaliza esto:

La identidad de Vajda generaliza esto:

Historia

La fórmula de Cassini fue descubierta en 1680 por Giovanni Domenico Cassini , entonces director del Observatorio de París, y demostrada independientemente por Robert Simson (1753). [1] Sin embargo, Johannes Kepler presumiblemente conocía la identidad ya en 1608. [2]

La identidad de Catalan debe su nombre a Eugène Catalan (1814-1894). Se puede encontrar en una de sus notas de investigación privadas, titulada "Sur la série de Lamé" y fechada en octubre de 1879. Sin embargo, la identidad no apareció impresa hasta diciembre de 1886 como parte de sus obras completas (Catalan 1886). Esto explica por qué algunos dan 1879 y otros 1886 como fecha para la identidad de Catalan (Tuenter 2022, p. 314).

El matemático húngaro-británico Steven Vajda (1901-1995) publicó un libro sobre los números de Fibonacci ( Fibonacci and Lucas Numbers, and the Golden Section: Theory and Applications , 1989) que contiene la identidad que lleva su nombre. [3] [4] Sin embargo, la identidad había sido publicada anteriormente en 1960 por Dustan Everman como problema 1396 en The American Mathematical Monthly , [1] y en 1901 por Alberto Tagiuri en Periodico di Matematica. [5]

Prueba de identidad de Cassini

Demostración mediante teoría de matrices

Se puede dar una prueba rápida de la identidad de Cassini (Knuth 1997, p. 81) al reconocer el lado izquierdo de la ecuación como determinante de una matriz 2×2 de números de Fibonacci. El resultado es casi inmediato cuando se ve que la matriz es la n -ésima potencia de una matriz con determinante −1:

Prueba por inducción

Considere la declaración de inducción:

El caso base es verdadero.

Supongamos que la afirmación es verdadera para . Entonces:

Por lo tanto, la afirmación es verdadera para todos los números enteros .

Prueba de identidad catalana

Utilizamos la fórmula de Binet , que , donde y .

Por lo tanto, y .

Entonces,

Usando ,

y otra vez como ,

El número de Lucas se define como , por lo que

Porque

Cancelando la 's se obtiene el resultado.

Notas

  1. ^ de Thomas Koshy: Números de Fibonacci y Lucas con aplicaciones . Wiley, 2001, ISBN  9781118031315 , págs. 74-75, 83, 88
  2. ^ Miodrag Petkovic: Famosos acertijos de grandes matemáticos . AMS, 2009, ISBN 9780821848142 , págs. 30-31 
  3. ^ Douglas B. West: Matemáticas combinatorias . Cambridge University Press, 2020, pág. 61
  4. ^ Steven Vadja: Fibonacci y los números de Lucas, y la sección áurea: teoría y aplicaciones . Dover, 2008, ISBN 978-0486462769 , pág. 28 (publicación original en 1989 en Ellis Horwood) 
  5. ^ Alberto Tagiuri: Ecuación (3) en Di alcune sucesioni ricorrenti a termini interi e positivi, Periodico di Matematica 16 (1901), págs.

Referencias

Enlaces externos