红子可以保证必胜。

红子的策略：

绕到绿子下方对角线处，并保持处于对角线，驱赶绿子往上。（下对角线后行）

第一种情况，从最简单的场景考虑，绿子以最快的速度向下——

显然绿子一味向下是不可行的。

所以绿子要左右移动，逃离红子的追捕。

绿子的动向不明，但是已知红子在绿子的上方，红子要往下追赶绿子，假定绿子积极逃跑。

①初始状态

②红子向下走2，绿子向下走1

③红子向下走2，绿子向右走1（或向左）

④红子向下走2，绿子向下走1

⑤红子向下走2，绿子向右走1（若之前向左则这里也向左）

⑥红子走到绿子的对角线，到了这一步，绿子只有往左上角或者右上角走才能不被吃掉，

红子只要保持与绿子成对角，并且不断逼迫绿子往上走，最后绿子将陷入一个死角，最终被吃掉。

此时绿子不管怎么走都会被吃掉。

去掉假定条件：绿子不积极逃跑，红子同样可以达到绿子的下对角线后行状态，最终获胜。

一开始如果假定绿子必胜，那么绿子就必须努力向下，结果同绿子积极逃跑是一样的。

只要红子想要胜利，就不会有和局或绿子胜。