红子可以保证必胜。
红子的策略：
绕到绿子下方对角线处，并保持处于对角线，驱赶绿子往上。（下对角线后行）
第一种情况，从最简单的场景考虑，绿子以最快的速度向下——
显然绿子一味向下是不可行的。
所以绿子要左右移动，逃离红子的追捕。
绿子的动向不明，但是已知红子在绿子的上方，红子要往下追赶绿子，假定绿子积极逃跑。
①初始状态
②红子向下走2，绿子向下走1
③红子向下走2，绿子向右走1（或向左）
④红子向下走2，绿子向下走1
⑤红子向下走2，绿子向右走1（若之前向左则这里也向左）
⑥红子走到绿子的对角线，到了这一步，绿子只有往左上角或者右上角走才能不被吃掉，
红子只要保持与绿子成对角，并且不断逼迫绿子往上走，最后绿子将陷入一个死角，最终被吃掉。
此时绿子不管怎么走都会被吃掉。
去掉假定条件：绿子不积极逃跑，红子同样可以达到绿子的下对角线后行状态，最终获胜。
一开始如果假定绿子必胜，那么绿子就必须努力向下，结果同绿子积极逃跑是一样的。
只要红子想要胜利，就不会有和局或绿子胜。
