Sea $(a_n)_{n\ge0}$ una secuencia de números reales positivos tal que \[\sum_{k=0}^nC_n^ka_ka_{n-k}=a_n^2,\ \text{para cualquier }n\ge 0.\] Demuestra que $(a_n)_{n\ge0}$ es una secuencia geométrica.