已知log5 3=a,log5 4=b,求证:log2512=1/2(a+b)