簡單來說,複數的出發點在於解決負實數不能開方的問題,換句話說沒有一個實數
滿足:

直觀上要解決這種問題可以「定義」:

然後「理所當然」地認為
也可以跟任意實數
放在一起算:


這樣定義的「乘法」正好可以這樣「反運算」:

這樣的話,可以認為
的形式是「最一般的」複數,
就是「實部」,
就是「虛部」。而從這些美好的運算「規定」的確可以推出代數基本定理,這個定理不但確保了
解的存在性,還確保了任意「複數係數」多項式方程式的解。
以這些直觀的想法為基礎,可以將複數定義為實數的有序對,換句話說:

而
本身具有以下的運算:
,
,
為了簡化表示,我們做以下定義:

- 對所有
,
也就是說,複數系
裡的「實數」
實際上跟原來的實數
完全不同,但之間有一對一的對應。
這樣就可以得到剛剛「直觀定義的乘法」:

学校文法
|
教育文法
|
語意上可獨立使用
|
活用
|
品詞
|
是=自立語
|
有=用言
|
動詞(終止形以ウ段結尾)
|
形容詞(終止形以い結尾)
|
イ形容詞
|
形容動詞(終止形以だ結尾)
|
ナ形容詞
|
無
|
體言(可做為主詞)
|
名詞
|
代名詞
|
數詞
|
副詞(主要修飾用言)
|
連體詞(主要修飾體言)
|
接続詞(接續)
|
感動詞(感嘆)
|
否=付属語
|
有
|
助動詞
|
(語尾變化)
|
無
|
|
|
第一時態
|
第二時態
|
主動
|
中間態
|
主動
|
中間態
|
單數
|
第一人稱
|
-ω
|
-μαι
|
-ν
|
-μην
|
第二人稱
|
-εις
|
-σαι
|
-ς
|
-σο
|
第三人稱
|
-ει(ν)
|
-ται
|
(空)
|
-το
|
雙數
|
第二人稱
|
-τον
|
-σθον
|
-τον
|
-σθον
|
第三人稱
|
-την
|
-σθην
|
複數
|
第一人稱
|
-μεν
|
-μεθα
|
-μεν
|
-μεθα
|
第二人稱
|
-τε
|
-σθε
|
-τε
|
-σθε
|
第三人稱
|
-ουσι
|
-νται
|
-ν
|
-ντο
|
若
上的二元關係
若滿足:
- 反對稱性(antisymmetric):
![{\displaystyle (\forall a\in X)(\forall b\in X)\{[(aFb)\wedge (bFa)]\Rightarrow (a=b)\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e312eafa0d662805f2832b9f186e7335a35a6804)
- 傳遞性(transitive):
![{\displaystyle (\forall a\in X)(\forall b\in X)(\forall c\in X)\{[(aFb)\wedge (bFc)]\Rightarrow (aFc)\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8bb4c42295103854492b5ffcf4e66a210a39e5eb)
- 完全性(total):

則
被稱為
上的全序關係(total order),此時
可稱為全序集合、線性序集合、簡單序集合或鏈。
在不引起混淆的前提下,一般會模仿不等式,將全序關係直觀的表記為
,這種狀況下,也可以把
記為
。
將完全性定義裡的
(以量詞公理A4)「代換」成
有:
![{\displaystyle (\forall a\in X)[(aFa)\lor (aFa)]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6b4b8dd3a86a1578e587ae47a73de1bc2b7f850b)
換句話說:

所以從完全性可以推出自反性,因此全序關係也是個偏序關係。
首選取兩個互質數
和
,並設

由於
和
都是質數,與比
小又與之不互質的數有兩種:
- (1)
的倍數,總共
個
- (2)
的倍數,總共
個
故
的歐拉函數
,也就是比
小又與之互質的數,其總數為:

若取某個與
互質的整數
,並要求
,這樣根據擴展歐幾里得算法,可以找到整數
和
滿足:

整數
有時被稱為
關於
的模反元素
此時,RSA的公鑰就是
,私鑰則設為
。
設原文是正整數
,取加密後的整數
為

那會有

這是因為
當m與N互質時,根據費馬小定理公式
當m與N不互質時,不妨設公因子為p,即
假設q整除m。因此
,因為q與p互質,根據歐幾里德引理,
。所以
,而這與
矛盾,所以q不整除m。
此時m與q互質,根據費馬小定理公式
,證明完成。
老雅典字母
(五世紀前半)
|
伊奧尼亞字母
(五世紀後半)
|
發音
|
西希臘字母
(Λακωνική)
|
拉丁字母
|
|
/a/, /aː/
|
|
a
|
,
|
/b/
|
|
b
|
|
|
/g/
|
(* )
|
c
|
|
/d̪/
|
|
d
|
,
|
/e/
|
|
e
|
|
/zd/
|
|
z
|
,
|
–
|
/h/
|
|
h
|
–
|
,
|
/ɛː/
|
|
–
|
,
|
/t̪ʰ/
|
|
–
|
|
/i/, /iː/
|
|
i
|
|
/k/
|
|
k
|
|
|
/l/
|
(* )
|
l
|
,
|
/m/
|
|
m
|
,
|
/n/
|
|
n
|
–
|
,
|
/ks/
|
|
x
|
|
/o/
|
|
o
|
|
|
/p/
|
|
p
|
,
|
/r/
|
|
r
|
|
|
/s/
|
|
s
|
|
/t̪/
|
|
t
|
|
/y/, /yː/
(更早為/u/, /uː/)
|
|
v
(現代的u/w)
|
|
/pʰ/
|
|
–
|
|
/kʰ/
|
|
–
|
( )
|
,
|
/ps/
|
( )
|
–
|
( )
|
|
/ɔː/
|
( ?)
|
–
|