Sólo ocasionalmente contribuyo a WIkipedia. Dejar comentarios en mi página de discusión con la expectativa de responder rápidamente no es una buena idea.
En el pasado hice las dos propuestas siguientes:
Prueba de ortogonalidad de Sturm-Liouville , y
Funciones de Legendre asociadas Prueba de ortonormalidad .
Los editores de Wikipedia rechazaron ambos afirmando efectivamente que Wikipedia no hace pruebas. Sin embargo, ambos ahora se encuentran en Citizendium en las pruebas de ortonormalidad de Associated Legendre Functions y en la prueba de ortogonalidad de la teoría de Sturm-Liouville. Citizendium parecía tener una mentalidad más abierta respecto a toda la cuestión de las pruebas. La página de prueba de Associated Legendre Funtions incluye una prueba adicional de una relación de ortogonalidad separada. Estas pruebas ahora también están disponibles en ProofWiki: Ortogonalidad de las funciones de Legendre asociadas y Ortogonalidad de las soluciones de la ecuación de Sturm-Liouville con valores propios distintos.
Las pruebas originales se enumeran en subpáginas de mi espacio de nombres en Wikipedia para las dos áreas temáticas asociadas: Sturm-Liouville y Legendre.