User: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互质,根据费马小定理公式
,证明完成。