Me pregunto sobre una prueba de aditividad del logaritmo natural $$\ln(ab)=\ln a+\ln b$$ utilizando la serie de potencias $$\ln(x)=\sum_{n=1}^{\infty}\dfrac{(-1)^{n+1}}{n}(x-1)^n.$$ Dado que esta serie de potencias sólo converge en $x\in(0, 2],$ normalmente no se utiliza como "la" definición.
¿Hay alguna forma (agradable) de demostrarlo utilizando sólo la serie de potencias (no la función exponencial)?
Una posible idea es invertir la serie de potencias para obtener otra serie de potencia $p(x)$ que converge en todas partes y tiene la propiedad $p(x+y)=p(x)p(y)$ (mediante productos de Cauchy) y utilizarlo para derivar el resultado deseado. Pero esto no es lo que estoy buscando. Porque no quiero exponenciales en ninguna parte de la prueba. Probablemente algo análogo a los productos de Cauchy haría el trabajo.