用戶:C44986054/沙盒
学校文法 | 教育文法 | |||
---|---|---|---|---|
語意上可獨立使用 | 活用 | 品詞 | ||
是= |
有= |
動詞(終止形以ウ段結尾) | ||
形容詞(終止形以い結尾) | イ形容詞 | |||
形容動詞(終止形以だ結尾) | ナ形容詞 | |||
無 | 體言(可做為主詞) | 名詞 | ||
代名詞 | ||||
數詞 | ||||
副詞(主要修飾用言) | ||||
連體詞(主要修飾體言) | ||||
接続詞(接續) | ||||
感動詞(感嘆) | ||||
否= |
有 | 助動詞 | (語尾變化) | |
無 |
唇音 | 齒音 / 齒齦音 | 軟顎音 | 聲門音 | |||
---|---|---|---|---|---|---|
塞音 | 清 | 送氣 | (φ) | (θ) | (χ) | |
不送氣 | (π) | (τ) | (κ) | |||
濁 | (β) | (δ) | (γ) | |||
鼻音 | (μ) | (ν) | (ŋ) | |||
擦音 | 清 | , (σ) | (ʽ) | |||
濁 | (z) | |||||
顫音 | 清 | (r̥) | ||||
濁 | (ρ) | |||||
近音 | (λ) |
第一時態 | 第二時態 | ||||
---|---|---|---|---|---|
主動 | 中間態 | 主動 | 中間態 | ||
單數 | 第一人稱 | -ω | -μαι | -ν | -μην |
第二人稱 | -εις | -σαι | -ς | -σο | |
第三人稱 | -ει(ν) | -ται | (空) | -το | |
雙數 | 第二人稱 | -τον | -σθον | -τον | -σθον |
第三人稱 | -την | -σθην | |||
複數 | 第一人稱 | -μεν | -μεθα | -μεν | -μεθα |
第二人稱 | -τε | -σθε | -τε | -σθε | |
第三人稱 | -ουσι | -νται | -ν | -ντο |
定義
定義 —
若 上的二元關係 若滿足:
- 反對稱性(antisymmetric):
- 傳遞性(transitive):
- 完全性(total):
則 被稱為 上的全序關係(total order),此時 可稱為全序集合、線性序集合、簡單序集合或鏈。
在不引起混淆的前提下,一般會模仿不等式,將全序關係直觀的表記為 ,這種狀況下,也可以把 記為 。
將完全性定義裏的 (以量詞公理A4)「代換」成 有:
換句話說:
正確性證明
首選取兩個互質數 和 ,並設
由於和都是質數,與比小又與之不互質的數有兩種:
- (1) 的倍數,總共個
- (2) 的倍數,總共個
若取某個與 互質的整數,並要求,這樣根據擴展歐幾里得算法,可以找到整數和滿足:
整數有時被稱為關於的模反元素
此時,RSA的公鑰就是,私鑰則設為。
設原文是正整數,取加密後的整數為
那會有
這是因為
當m與N互質時,根據費馬小定理公式
當m與N不互質時,不妨設公因子為p,即
假設q整除m。因此,因為q與p互質,根據歐幾里德引理,。所以,而這與矛盾,所以q不整除m。
此時m與q互質,根據費馬小定理公式
,證明完成。