Question
Find $n\in N$ for which
$$2 \times \left[\frac{1^2}{2}\right] + 2^2 \times \left[\frac{2^2}{3}\right] + ... + 2^n \times \left[\frac{n^2}{n+1}\right] = 2^{2025} \times 2022 + 4$$
where $[a]$ is integer part function applied on $a$ (the whole part of $a$)
Idea
I tried getting $2^n \times \left[\frac{n^2}{n+1}\right]$ to a more friendly form, but honestly got to nothing useful.
By brute force, I got to the conclusion that $\left[\frac{n^2}{n+1}\right]$ is always increasing by one... again, I tried demonstrating it but I don't know how.
I hope one of you can help me! Thank you!
We want to solve $$2^2\cdot 1+2^3\cdot 2+ 2^4\cdot 3+…+2^{n}(n-1)=2^{2025}\cdot 2022+4.$$
Let us calculate the left hand side. We must add a lot of powers of $2$. Arrange them in a triangle:
$$\begin{array}{ccccc} 2^2 & 2^3 & 2^4 & … & 2^n \\ & 2^3 & 2^4 & … & 2^n \\ & & 2^4 & … & 2^n \\ & & & … & \\ & & & & 2^n \end{array}$$
It is easy to calculate the sum in each row (using $2^k=(2^{k-1}+…+2^3+2^2+2^1)+2$):
$$\begin{array}{ccccc|c} 2^2 & 2^3 & 2^4 & … & 2^n & 2^{n+1}-2^2\\ & 2^3 & 2^4 & … & 2^n & 2^{n+1}-2^3\\ & & 2^4 & … & 2^n & 2^{n+1}-2^4\\ & & & … & &\\ & & & & 2^n & 2^{n+1}-2^n \end{array}$$
Now we summarize the last column: $$2^{n+1}\cdot(n-1)-(2^{n+1}-2^2)= 2^{n+1}\cdot(n-2)+4.$$
It is clear now that $$n=2024.$$