Backstory: I was watching a YouTube video by GradeAUnderA in which a formula appears. He claimed to have discovered it just plugging numbers in and just randomly proving things, so I decided to go ahead and look on the Internet for some proof to this formula. The only thing I found was a thread on a forum saying that it can't be true and that he is arrogant and enjoys drama.
I'm not interested in the drama, but in the maths. The formula is the following.
$$ x^n + y^m = x^{n + \frac{log(1+x^{\frac{m log y}{logx} -n})}{log x}} $$
Screenshot can be found here
So, I went ahead and decided to prove the formula, either wrong or right.
$$log_x(x^n + y^m) = n + \frac{log(1+x^{\frac{m log y}{logx} -n})}{log x} \tag{1}$$
$$log_x(x^n + y^m) - n = \frac{log(1+x^{\frac{m log y}{logx} -n})}{log x} \tag{2}$$
$$log_x(x^n + y^m) - log_x(x^n) = \frac{log(1+x^{\frac{m log y}{logx} -n})}{log x} \tag{3}$$
$$log_x(x^n + y^m) - log_x(x^n) = log_x(\frac{x^n + y^m}{x^n}) \tag{4}$$
$$ log_x(\frac{x^n + y^m}{x^n}) = log_x(1 + \frac{y^m}{x^n}) \tag{5}$$
$$ log_x(1 + \frac{y^m}{x^n}) = \frac{log(1+\frac{y^m}{x^n})}{log x} \tag{6}$$
$$ \frac{log(1+\frac{y^m}{x^n})}{log x} = \frac{log(1+x^{\frac{m log y}{logx} -n})}{log x} \tag{7}$$
$$ \frac{y^m}{x^n} = x^{\frac{m log y}{logx} -n} \tag{8}$$
$$ log_x(\frac{y^m}{x^n}) = \frac{m logy}{logx} -n \tag{9}$$
$$ log_x y^m - n = \frac{m logy}{logx} -n \tag{10}$$
$$ log_x y^m = \frac{m logy}{logx} \tag{11}$$
$$ \frac{log y^m}{log x} = \frac{m logy}{logx} \tag{12}$$
$$ \frac{m logy}{logx} = \frac{m logy}{logx} \tag{13}$$
Ok, so that's the whole proof. I'm not sure if I made any mistakes, but I'd say I did not. Can anybody correct me if I am wrong? Thank you very much.
Your proof is correct. Let me try to write it in a short way. We have that $$A:=\frac{\log(1+x^{\frac{m \log y}{\log x} -n})}{\log x}=\log_x(1+x^{\log_x y^m-n})=\log_x\left(1+\frac{y^m}{x^n}\right).$$ Hence $$x^{n+A}=x^n\cdot x^A=x^n\cdot \left(1+\frac{y^m}{x^n}\right)=x^n+y^m.$$
P.S. Note that the formula holds if $x>0$, $x\not=1$, and $y>0$.