.
            The given condition is not completed.  To be complete,  it must be re-edited in this way:
            If a^2+b^2 = 7ab,  where "a" and "b" are positive real numbers,  prove that log{1/3(a+b)}=1/2(log a + log b).
            With this re-editing,  the solution/(the proof) is as follows.
If   a^2 + b^2 = 7ab   then
a^2 + 2ab + b^2 = 9ab
(a + b)^2 = 9ab
log((a+b)^2) = log(9ab)
2*log(a+b) = log(9) + log(a) + log(b)
2*log(a+b) = 2*log(3) + log(a) + log(b)
2*(log(a+b) - log(3)) = log(a) + log(b)
log(a+b) - log(3) = 
 = 
.
QED.     The proof is completed.