【笔记】早濑优香的原型是欧几里得吗

大晚上睡不着，多少还是得写点东西不然就真的浪费时间了。

结果大晚上写完没点发送就昏睡过去了

在开始前我想说明，本文仅仅是个人笔记，文中提出的观点并无官方明示。欢迎讨论和不同意见☆


引言

综合而言，我认为优香最有可能的原型是古希腊数学家欧几里得。下面分几个方面阐述作这个判断的原因。

1. 名字。

BA中的学生和原型的关系，最常见的也是最显眼的暗示就是在名字上了，例如

小护士 鷲見セリナ（Serina）和月之女神塞勒涅（Selene），

未花 聖園ミカ（Mika）和大天使长米迦勒（Mîkhā’ēl‎），

爱丽丝 天童アリス（Arisu）和古希腊哲学先贤亚里士多德（Aristotle）。

除了这些以相似读音为主的暗示，部分学生的名字还会和原型的特征相关，例如

阿露 陸八魔アル（68魔，指72魔神柱的第68位彼列），

狂暴雷普狼 砂狼シロコ（沙漠，狼，指古埃及死亡之神阿努比斯，长着狼头。顺带一提阿努比斯的头是黑色，和白子这个名字相反，而正好和黑子对应。）

（注：上述提及的学生原型仅是得到较广泛公认的可能原型，阿努比斯除外）

尽管并不是所有学生的名字都显式地描述了她们的原型，但至少在讨论优香时，我认为她的名字是以原型欧几里得的名字为范本的。优香的名字是早瀬ユウカ（yuuka），这与欧几里得的日文名ユークリッド（yuukuriddo）非常接近。

2. 技能，专武，性格。

这三者我想放在一起说。

首先，优香的前两个技能分别是Q.E.D和I.F.F，分别是拉丁文Quod Erat Demon-strandum（谨此作答，用于证明结尾表示证毕）以及IF and only iF（当且仅当，证明中常用的推理语句）；

优香的专武叫Logic and Reason，逻辑与推理（wiki上的翻译是逻辑与理性，个人认为也可以，因为reason是多义词；不过reason作“推理”义更贴合欧几里得这个原型，下文会提到）；

优香设定上具有很强的推理能力，习惯于整理各种已知条件来把握事物。

以上三点和欧几里得的一个极其重要的贡献相映衬：公理化的数学体系，以及为建立这个体系所使用的逻辑证明系统。简单而言，在欧几里得之前，对数学的研究是较为松散而经验主义的，欧几里得则认为数学可以精简到极少数几个不证自明的命题（也就是所谓公理），而其他所有命题都是可以基于这几个公理进行逻辑推理，从而证明得到的。这就是所谓公理化体系。（以此为基本思想，欧几里得编纂出了那本极其著名的《几何原本》。）

回过头来看优香的特征。Q.E.D和I.F.F是数学证明的常用语句；“逻辑与推理”这个专武名，以及优香注重逻辑演绎和前提条件的性格，都是对欧几里得所建立的公理体系与证明系统的印证与致敬。

3. 光环与发饰，生日。

优香的光环是个完美的圆形（铁环，雾）而发饰是等边三角形；

优香的生日是3月14日圆周率日（过几天就是了哦，各位sensei记得对这个认真的可爱女孩子说生日快乐口牙）。

这些简单的几何图形是平面几何所重点研究的对象，而正式建立起平面几何学的正是欧几里得。（顺带一提，欧几里得将平面几何研究得很深入，建立的公理化平几体系足够严密，以至于经典平面几何的绝大多数问题都已经在《几何原本》里得到解答了，后世的数学家在平面几何上所能做的开拓性贡献已经很少了。）

4. 几句台词。

卡池抽取台词：条件已经达成。在现在这个瞬间，我们获得了能定义为牵绊的证明。

映衬欧几里得的推理和证明系统。

EX技能台词1：将悲伤和愤怒，全都给因数分解了！

欧几里得在几何原本中提出的欧几里得引理：

“如果一个正整数整除另外两个正整数的乘积，第一个整数与第二个整数互质，那么第一个整数整除第三个整数” 

这是数论中有关质因数分解的重要原理，它可以用于证明算数基本定理：

“每个大于1的自然数，要么本身就是质数，要么可以写为2个或以上的质数的积，而且这些质因子按大小排列之后，写法仅有一种方式”

后者说明了质因数分解存在性和唯一性，换句话说，它说明了我们能对每个自然数都进行质因数分解，而且分解的结果是唯一的。

5. 一些不是很确定的内容

其一，和爱丽丝的关系

剧情中优香和爱丽丝的关系相当之好（爱丽丝：邮箱妈妈！）。如果优香的原型确实是欧几里得那么这就能解释了。首先欧几里得和爱丽丝的可能原型亚里士多德同为古希腊数学家；其次欧几里得的证明系统所仰仗的核心是逻辑学，准确来说是形式逻辑，而形式逻辑乃至于整个逻辑学的创始人，正是亚里士多德。因此优香会对爱丽丝抱着欣赏和认可的目光也就不奇怪了。

（不过话说亚里士多德史书上比欧几里得年长啊，妹啊你们关系是不是反过来了）

其二，概率？

优香的语音中大量提到了概率，然而概率论（即使是古典概率论）也是要到16世纪才由老赌棍卡尔达诺率先研究，正式成为严密的学科则更晚，至今也不过三百年历史。而欧几里得是公元前3世纪的人，那个时代对概率的认知极其有限。

其三，心算能力？

其实说到心算我第一反应是拉马努金或者欧拉，高斯或者冯诺依曼也有可能，这几位都可以说是心算的顶流。然而关于欧几里得的生平，留下的资料极少，也就无从探究欧几里得的计算能力如何（不过应该也不会很差。）

因此如果优香的原型是欧几里得，那么可以说对概率的重视与强大的心算能力不是从原型中来的，而只能归于某种私设。

附录 

参考文献

[1]碧蓝档案wiki - 早濑优香 ba.gamekee.com/67658.html

[2]碧蓝档案wiki - 阿露原型考据 ba.gamekee.com/164941.html

[3]维基百科 - 欧几里得 zh.wikipedia.org/wiki/欧几里得

[4]《几何原本》 - 欧几里得

[5]推友@ShiningLight457 对爱丽丝原型的猜想 twitter.com/ShiningLight457/status/1477564503692771328

[6]数论概论 - 华章数学译丛

[7]维基百科 - 亚里士多德 zh.wikipedia.org/wiki/亚里士多德

使用图片素材

封面图 作者 安藤周記 pid 92804765

头图 作者 bea8do88 pid 100388170

5-1插图 作者 msrn39 pid 103277444

以上若涉嫌侵权联系立删。

P.S. 有关莉音的暴论猜想: 从地位和名字上猜测，莉音的原型有可能是欧拉。

莉音名字：リオ（Rio） 

欧拉全名：レオンハルト・オイラー（Reoharudo Oiraa）

P.S.S. 人生真是累啊，想被优香的大肉腿夹死，优香，嘿嘿，我的管账婆....🥰🥰🥰