【定理2：设映f：m-r在z∈m附近满足局lipschitz条件.则

ps：虽然有些老，但我还是要说，祝各位中秋节！！

fx，v=limy→φxsupf*φ^-1y tφxv-f*φ^-1y/t=f*φ^-1φx；φ*xv.】

“你讲。”程诺。

面对这个任务，程诺倒是没有像之前那个任务刚开始时毫无绪的觉，但他的心情也称不上有多轻松。

“我记得明天是开赛的日，我会准时去的，这个就不用你再三提醒我了。”程诺坐在椅上，对如今的棋牌社社长江里说。

因为这个任务，在复杂度方面，恐怕是他之前过的三个任务的总和还要多。

“那是什么事？”

iifx，v作为v的函数在txm满足lipschitz条件

i映f*φ^-1y：m→r是有限的、正齐次、次可加的，并全满足|fx，v≤l|v|

这，还真是一个忧伤的故事！

“你中说的那个倒霉人，就是你自己。”江里开说，“对阵表已经来，你第一的对手，就是机人阿尔法零。”

“机人？！这特么简直就是作弊啊！”

度就落到了程诺上。

“我刚刚从这次比赛组委会那边得到消息，这届围棋大赛，将会有一位特殊的选手参加！”

iiifx，-v=-fx，v

忙碌碌一天一天，每天都面对那枯燥无比的公式字符，程诺却乐此不疲。

每一个定理后面，都附带一大堆的证明步骤。

程诺：“……”

又是一个五天后，程诺接到的新任务完成了才一半不到，就被江里急召唤到麻省理工学院棋牌社的总。

“特殊的选手？那是谁？”

在草稿纸上唰唰唰计算了好一阵，才打开一个文档，在键盘上噼里啪啦的打字。

定理的推导当然不是天行空的公式叠加，首先第一步，是确定需要定理的大概内容，再行循序渐的公式推导。

江里耸肩，“没办法，阿尔法零刚研发来不久，虽然击败了阿尔法狗，但研发组的人还想让阿尔法零多参加几场与人类的比赛，来检测它的能。”

他要好持久作战的准备。

“我这么着急找你来，所说的并不是这个。”江里苦笑。

这是一个相当庞大的工作量，程诺也还没有狂妄到想一两天的时间就能搞定。

“只不过，不知是哪个倒霉人，第一会碰到那个机人。”

“呃……”江里犹豫一下，“我有一个忧伤的消息，你要不要听。”

iv……】

十天后，程诺将总共推导的二十四个定理和其证明步骤，打包发给菲涅尔教授，随后很自觉的，向他要了下一阶段的工作。

【定理1：设函数.r：m-r在工∈m附近满足局lipschitz条件，u，φ是包z的坐标卡，在z沿方向v∈lm的广义方向导数定义为：

“那岂不是说，这次比赛的冠军已经内定了呗。”程诺呵呵一笑，“不过没多大关系，你让我参加比赛又不是奔着冠军去的，用不到这么伤心。”

“阿尔法零！”

………………

【定理3：……】