用分析法和综合法证明(1/log519+1/log319+1/log219)