unlockable/DiscretMathematics
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

加一个右绝对值符号。

Browse Source
This commit is contained in:
unlockable
2022-10-25 23:30:13 +08:00
parent 90e0dad59c
commit 93fb144736
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
06IntergersDivisorsAndPrimes.tex
View File

@@ -591,7 +591,7 @@ Mon为单位元：$\mathrm{Wed} \times \mathrm{Mon} = \mathrm{Wed}$。
\begin{align*}
\lvert A_i \cap A_j \rvert & = \frac{n}{p_ip_j},\ 1 \leq i < j \leq k\\
\lvert A_h \cap A_i \cap A_j \rvert & = \frac{n}{p_hp_ip_j},\ 1 \leq h < i < j \leq k\\
\phi(n) = \lvert \setcom{A_1} \cap \setcom{A_2} \cap \cdots \cap \setcom{A_k} & = n - \left(\frac{n}{p_1} + \frac{n}{p_2} + \cdots + \frac{n}{p_k}\right)\\
\phi(n) = \lvert \setcom{A_1} \cap \setcom{A_2} \cap \cdots \cap \setcom{A_k}\rvert & = n - \left(\frac{n}{p_1} + \frac{n}{p_2} + \cdots + \frac{n}{p_k}\right)\\
& \quad + \left(\frac{n}{p_1p_2} + \cdots + \frac{n}{p_{k-1}p_k} + \frac{n}{p_kp_1}\right)\\
& \quad - \cdots \pm \frac{n}{p_1p_2\cdots p_k}\\
& = n\left(1 - \frac{1}{p_1}\right)\left(1 - \frac{1}{p_2}\right)\cdots \left(1 - \frac{1}{p_k}\right)