Buenos días, quisiera pedir ayuda en la demostración de que teniendo \( a_n \) números naturales, es posible agregar o quitar parentesis a voluntad con respecto a la suma.
Demostración por inducción
\( Sea\textrm{ } S=\left\{{n\in{N}\textrm{ } |\textrm{ } a_1+a_2+....+a_n \textrm{, es posible asociar a voluntad}}\right\}\Rightarrow{\textrm{Una de mis dudas surge aqui, pues no se si así esta bien definido el conjunto o no.}} \)
\( \textrm{Paso Base }n=1 \)
\( (a_1)=a_1 \), es decir \( 1\in{S} \)
\( \textrm{Paso Inductivo: Supongamos }k\in{S},\textrm{ }\forall{k\in{N}}\textrm{ que, }1\leq{k}\leq{n} \)
es decir, para \( \textrm{ }a_1+a_2+a_3+...+a_n \textrm{ es posible intercalar paréntesis a voluntad-} \)
ahora
\( a_1+a_2+a_3+...+a_n+a_n^+ \)
Mi pregunta es la siguiente, por hipótesis de inducción se que puedo asocial a voluntad n términos es decir
\( a_1+a_2+a_3+...+a_n+a_n^+ =(a_1+a_2+a_3+...+a_n)+a_n^+ \)
Ahora tomando \( (a_1+a_2+a_3+...+a_n) \) como un solo termino, ahora
\( (a_1+a_2+a_3+...+a_n)+a_n^+ \) aquí tengo dos términos, ¿Por hipótesis de inducción nuevamente puedo asociar a voluntad el termino adicional o estoy comiendo algún error?
Agradezco a quien me pueda orientar, pues no se si estoy planteando bien la demostración.
Nota: Utilizo \( n^+=n+1 \)