求证:lg(|A|+|B|)/2≥(lg|A|+lg|B|)/2 (AB≠0)