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