需要压缩pdf文件,我们可以利用专业的pdf转换器来进行pdf压缩,以我们