I'm trying to help my nephew with his Maths for GCSE and A-Level (UK). It's been many years since I've done this. All the books I came across provide the formulae but don't explain how the authors arrived at those formulae. I'm searching for a suitable book(s) or any other sources that would provide the formulae but, most importantly, explain the logic used to derive them. I illustrate below the type of explanations I am after using a few examples from laws of indices. Sorry for the layout, TeX beginner here.
Multiplying powers
$$4^3*4^5=$$ $$(4*4*4)*(4*4*4*4*4)=$$ $$4*4*4*4*4*4*4*4=$$ $$4^8=$$ $$4^{3+5}$$
Dividing powers $$5^{7}\div5^{3}=$$ $$\frac{5*5*5*5*5*5*5}{5*5*5}=$$ $$\frac{5*5*5*5}{1}=$$ $$\frac{5^{4}}{1}=$$ $$\frac{5^{7-3}}{1}=$$ $$5^4$$
Raising a power to another power: $$(3^{2})^{4}=3^2*3^2*3^2*3^2=(3*3)*(3*3)*(3*3)*(3*3)=3^8=3^{2*4}$$
Raising to the power of $0$ $$a^0\iff a^{b-b}\iff \frac{a^b}{a^b}=1\therefore a^0=1$$
Negative power denotes reciprocal
$$4^{-2}\iff 4^{0-2}\iff \frac{4^0}{4^2}=\frac{1}{4^2}$$
Fractional power denotes square roots and cube roots with the important generalisation of power m/n. We notice the better shorthand offered by the surd notation.
$$9^{\frac{1}{2}} \iff \sqrt{9}=3$$ $$8^{\frac{1}{3}} \iff \sqrt[3]{8}=2$$ $$a^{\frac{m}{n}} \iff a^{m*\frac{1}{n}} \iff (a^{m})^\frac{1}{n}\iff \sqrt[n]{m}$$ $$a^{\frac{m}{n}} \iff a^{m*\frac{1}{n}} \iff (a^{\frac{1}{n}})^m\iff (\sqrt[n]{a})^m$$