Somme di potenze di divisori

[wolverine]

Scusate, posto qui anche se non e' un vero esercizio, dato che mi sembra il luogo piu' adatto dove ottenere una risposta valida. Mi scuso con i moderatori e gli utenti del forum se la domanda dovesse risultare off topic.

Qualcuno conosce una dimostrazione elementare dell'identita'

$ \sigma_7(n)=\sigma_3(n)+120\displaystyle{\sum_{m=1}^{n-1}}\sigma_3(m)\sigma_3(n-m) $

dove $ \sigma_k(n) $ e' la somma delle $ k $-esime potenze dei divisori di $ n $?

Devo preparare una di quelle lezioni-spettacolo "quant'e' bella la matematica avanzata", e pensavo di partire proprio da quest'identita', ma ora mi e' venuto il dubbio possa esserci qualche dimostrazione del tutto elementare, cosa che indebolirebbe alquanto gli aspetti piu' teatrali della lezione..

D'altronde, se una dimostrazione elementare esiste, allora in questo forum la si conosce, dunque nessun posto migliore di questo dove chiedere.

Grazie a tutti e scusate il disturbo

[FeddyStra]

Fonti autorevoli sostengono che la formula (27) si ricavi usando la teoria delle forme modulari. Ne deduco che non ci sia la vaneggiata strada olimpica...