三次北伐失败后，郑成功收复台湾