Tratando de generalizar una identidad combinatoria he terminado con la siguiente expresión:
La expresión se derivó de un argumento combinatorio para un entero positivo . Sin embargo, por evidencia numérica, parece ser válido también para números complejos arbitrarios (con -función utilizada en lugar de factoriales).
es la expresión ¿conocido? ¿Cómo se puede probar algebraicamente para complejos generales? ?
Como dijiste en el comentario, solo estás tratando de reemplazar y (pero no ) por números complejos. No necesitas el -función para eso; un coeficiente binomial de la forma se define de la forma habitual (es decir, como ) cuando sea es un número complejo y es un entero no negativo. (El -función solo se vuelve necesaria si desea extenderla de manera no trivial a valores no enteros de ; incluso entonces, no está claro si dicha extensión es la más útil).
Además, tu identidad (1) es una igualdad entre dos polinomios en y (cuando se mantiene constante). El "truco de la identidad polinomial" dice que si tal igualdad se cumple siempre que y son enteros no negativos, entonces también debe ser válido para números complejos arbitrarios y . Como usted (presumiblemente) tiene una prueba de (1) en el caso siempre que y son enteros no negativos, automáticamente obtiene una prueba de (1) para números complejos arbitrarios y . No se requieren más argumentos (aunque, por supuesto, puede optar por presentar una prueba diferente).
Darij Grinberg
usuario