If = , then = (after adding 2ab to both side) = . Now take the logarithm of both sides (assuming a > 0, b > 0, which MUST be pointed in the condition, but mistakenly missed). You will get 2*log(a+b) = log(7) + log(a) + log(b), QED.