求证：定义在实数集上的单调减函数y=f（x）的图象与x轴至多只有一个公共点．

焦油加工的主要任务是获得酚、萘、蒽等纯产品和（）等粗产品。