大晚上睡不著，多少還是得寫點(diǎn)東西不然就真的浪費(fèi)時(shí)間了。

結(jié)果大晚上寫完沒點(diǎn)發(fā)送就昏睡過去了

在開始前我想說明，本文僅僅是個(gè)人筆記，文中提出的觀點(diǎn)并無官方明示。歡迎討論和不同意見☆


引言

綜合而言，我認(rèn)為優(yōu)香最有可能的原型是古希臘數(shù)學(xué)家歐幾里得。下面分幾個(gè)方面闡述作這個(gè)判斷的原因。

1.?名字。

BA中的學(xué)生和原型的關(guān)系，最常見的也是最顯眼的暗示就是在名字上了，例如

小護(hù)士 鷲見セリナ（Serina）和月之女神塞勒涅（Selene），

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

愛麗絲 天童アリス（Arisu）和古希臘哲學(xué)先賢亞里士多德（Aristotle）。

除了這些以相似讀音為主的暗示，部分學(xué)生的名字還會(huì)和原型的特征相關(guān)，例如

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

狂暴雷普狼 砂狼シロコ（沙漠，狼，指古埃及死亡之神阿努比斯，長著狼頭。順帶一提阿努比斯的頭是黑色，和白子這個(gè)名字相反，而正好和黑子對(duì)應(yīng)。）

（注：上述提及的學(xué)生原型僅是得到較廣泛公認(rèn)的可能原型，阿努比斯除外）

盡管并不是所有學(xué)生的名字都顯式地描述了她們的原型，但至少在討論優(yōu)香時(shí)，我認(rèn)為她的名字是以原型歐幾里得的名字為范本的。優(yōu)香的名字是早瀬ユウカ（yuuka），這與歐幾里得的日文名ユークリッド（yuukuriddo）非常接近。

2.?技能，專武，性格。

這三者我想放在一起說。

首先，優(yōu)香的前兩個(gè)技能分別是Q.E.D和I.F.F，分別是拉丁文Quod?Erat?Demon-strandum（謹(jǐn)此作答，用于證明結(jié)尾表示證畢）以及IF?and?only?iF（當(dāng)且僅當(dāng)，證明中常用的推理語句）；

優(yōu)香的專武叫Logic?and?Reason，邏輯與推理（wiki上的翻譯是邏輯與理性，個(gè)人認(rèn)為也可以，因?yàn)閞eason是多義詞；不過reason作“推理”義更貼合歐幾里得這個(gè)原型，下文會(huì)提到）；

優(yōu)香設(shè)定上具有很強(qiáng)的推理能力，習(xí)慣于整理各種已知條件來把握事物。

以上三點(diǎn)和歐幾里得的一個(gè)極其重要的貢獻(xiàn)相映襯：公理化的數(shù)學(xué)體系，以及為建立這個(gè)體系所使用的邏輯證明系統(tǒng)。簡單而言，在歐幾里得之前，對(duì)數(shù)學(xué)的研究是較為松散而經(jīng)驗(yàn)主義的，歐幾里得則認(rèn)為數(shù)學(xué)可以精簡到極少數(shù)幾個(gè)不證自明的命題（也就是所謂公理），而其他所有命題都是可以基于這幾個(gè)公理進(jìn)行邏輯推理，從而證明得到的。這就是所謂公理化體系。（以此為基本思想，歐幾里得編纂出了那本極其著名的《幾何原本》。）

回過頭來看優(yōu)香的特征。Q.E.D和I.F.F是數(shù)學(xué)證明的常用語句；“邏輯與推理”這個(gè)專武名，以及優(yōu)香注重邏輯演繹和前提條件的性格，都是對(duì)歐幾里得所建立的公理體系與證明系統(tǒng)的印證與致敬。

3. 光環(huán)與發(fā)飾，生日。

優(yōu)香的光環(huán)是個(gè)完美的圓形（鐵環(huán)，霧）而發(fā)飾是等邊三角形；

優(yōu)香的生日是3月14日圓周率日（過幾天就是了哦，各位sensei記得對(duì)這個(gè)認(rèn)真的可愛女孩子說生日快樂口牙）。

這些簡單的幾何圖形是平面幾何所重點(diǎn)研究的對(duì)象，而正式建立起平面幾何學(xué)的正是歐幾里得。（順帶一提，歐幾里得將平面幾何研究得很深入，建立的公理化平幾體系足夠嚴(yán)密，以至于經(jīng)典平面幾何的絕大多數(shù)問題都已經(jīng)在《幾何原本》里得到解答了，后世的數(shù)學(xué)家在平面幾何上所能做的開拓性貢獻(xiàn)已經(jīng)很少了。）

4. 幾句臺(tái)詞。

卡池抽取臺(tái)詞：條件已經(jīng)達(dá)成。在現(xiàn)在這個(gè)瞬間，我們獲得了能定義為牽絆的證明。

映襯歐幾里得的推理和證明系統(tǒng)。

EX技能臺(tái)詞1：將悲傷和憤怒，全都給因數(shù)分解了！

歐幾里得在幾何原本中提出的歐幾里得引理：

“如果一個(gè)正整數(shù)整除另外兩個(gè)正整數(shù)的乘積，第一個(gè)整數(shù)與第二個(gè)整數(shù)互質(zhì)，那么第一個(gè)整數(shù)整除第三個(gè)整數(shù)”?

這是數(shù)論中有關(guān)質(zhì)因數(shù)分解的重要原理，它可以用于證明算數(shù)基本定理：

“每個(gè)大于1的自然數(shù)，要么本身就是質(zhì)數(shù)，要么可以寫為2個(gè)或以上的質(zhì)數(shù)的積，而且這些質(zhì)因子按大小排列之后，寫法僅有一種方式”

后者說明了質(zhì)因數(shù)分解存在性和唯一性，換句話說，它說明了我們能對(duì)每個(gè)自然數(shù)都進(jìn)行質(zhì)因數(shù)分解，而且分解的結(jié)果是唯一的。

5. 一些不是很確定的內(nèi)容

其一，和愛麗絲的關(guān)系

劇情中優(yōu)香和愛麗絲的關(guān)系相當(dāng)之好（愛麗絲：郵箱媽媽！）。如果優(yōu)香的原型確實(shí)是歐幾里得那么這就能解釋了。首先歐幾里得和愛麗絲的可能原型亞里士多德同為古希臘數(shù)學(xué)家；其次歐幾里得的證明系統(tǒng)所仰仗的核心是邏輯學(xué)，準(zhǔn)確來說是形式邏輯，而形式邏輯乃至于整個(gè)邏輯學(xué)的創(chuàng)始人，正是亞里士多德。因此優(yōu)香會(huì)對(duì)愛麗絲抱著欣賞和認(rèn)可的目光也就不奇怪了。

（不過話說亞里士多德史書上比歐幾里得年長啊，妹啊你們關(guān)系是不是反過來了）

其二，概率？

優(yōu)香的語音中大量提到了概率，然而概率論（即使是古典概率論）也是要到16世紀(jì)才由老賭棍卡爾達(dá)諾率先研究，正式成為嚴(yán)密的學(xué)科則更晚，至今也不過三百年歷史。而歐幾里得是公元前3世紀(jì)的人，那個(gè)時(shí)代對(duì)概率的認(rèn)知極其有限。

其三，心算能力？

其實(shí)說到心算我第一反應(yīng)是拉馬努金或者歐拉，高斯或者馮諾依曼也有可能，這幾位都可以說是心算的頂流。然而關(guān)于歐幾里得的生平，留下的資料極少，也就無從探究歐幾里得的計(jì)算能力如何（不過應(yīng)該也不會(huì)很差。）

因此如果優(yōu)香的原型是歐幾里得，那么可以說對(duì)概率的重視與強(qiáng)大的心算能力不是從原型中來的，而只能歸于某種私設(shè)。

附錄?

參考文獻(xiàn)

[1]碧藍(lán)檔案wiki - 早瀨優(yōu)香 ba.gamekee.com/67658.html

[2]碧藍(lán)檔案wiki - 阿露原型考據(jù)?ba.gamekee.com/164941.html

[3]維基百科 - 歐幾里得?zh.wikipedia.org/wiki/歐幾里得

[4]《幾何原本》 - 歐幾里得

[5]推友@ShiningLight457 對(duì)愛麗絲原型的猜想?twitter.com/ShiningLight457/status/1477564503692771328

[6]數(shù)論概論 - 華章數(shù)學(xué)譯叢

[7]維基百科 - 亞里士多德?zh.wikipedia.org/wiki/亞里士多德

使用圖片素材

封面圖 作者 安藤周記 pid 92804765

頭圖 作者 bea8do88 pid 100388170

5-1插圖 作者 msrn39?pid 103277444

以上若涉嫌侵權(quán)聯(lián)系立刪。

P.S. 有關(guān)莉音的暴論猜想:?從地位和名字上猜測，莉音的原型有可能是歐拉。

莉音名字：リオ（Rio）?

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

P.S.S. 人生真是累啊，想被優(yōu)香的大肉腿夾死，優(yōu)香，嘿嘿，我的管賬婆....??????