Função totiente de Euler: diferenças entre revisões

Conteúdo apagado Conteúdo adicionado
BOTarate (discussão | contribs)
m Bot: Adicionando: ro:Indicatorul lui Euler
Albmont (discussão | contribs)
Linha 10:
 
==Propriedades da função==
{{revisão}} <!-- usando a propriedade dela ser multiplicativa sem provar isso antes. Feio e bobo, não faz isso!!! //-->
Se <math>2 \le n \in \mathbb{N}</math>. Então:
 
Linha 16 ⟶ 17:
Prova: <math>\varphi(n) = n-1 \Longleftrightarrow n</math> é primo, se <math>n</math> não é primo então <math>\varphi(n) < n-1</math>. Agora só é necessário provar que <math>\left ( \frac{1}{2} \right ) \le \phi(n)</math>.
 
Prova: Se <math>n = 2^a_{0a_0} \cdots (p_{r})^{a_{r}}</math> sendo <math>2 < p_{1} < p_{2} \cdots p_{r}</math> primos, e <math>a_{0} \ge 0,a_{1},a_{2} \cdots ,a_{r} \ge 1</math> inteiros.
 
<math>\varphi(n) = \varphi(2^{a_{0}})p_1^{a_{1}-1} \cdots p_r^{a_{r}-1}(p_{1}-1) \cdots (p_{r}-1)</math> onde <math>\varphi(2^{a_{0}}) = 1</math> se <math>a_{0} = 0 \quad</math> ou <math>2^{a_{0}-1}\quad</math> se <math>a_{0} \ge 1 \quad</math>, segue então:
Linha 23 ⟶ 24:
 
O que conclui a prova.
 
== Calculando os valores da função ==
Se <math>n = p_1^{k_1} \cdots p_r^{k_r}</math>, onde os <math>p_j\!\,</math> são os fatores primos (distintos) de <math>n\!\,</math>, então pode-se determinar o valor da função em <math>n\!\,</math>: