已知定义在正实数集上的函数f(x)=0.5x^2+2ax,g(x)=3a^2lnx+b,其中a>0.设两曲线y=f(x),y=g(x)有公共点,
且在改点处的切线相同
(1)用a表示b,并求b的最大值;
(2)求证:f(x)>=g(x)(x>0).