郑公伐胡出自《韩非子·说难》。《韩非子·说难》选自战国时代法家学派著作《韩非子》，是 《韩非子》55篇中最重要的作品之一。