{"id":1798,"date":"2022-05-30T07:39:48","date_gmt":"2022-05-30T10:39:48","guid":{"rendered":"http:\/\/localhost\/?page_id=1798"},"modified":"2022-05-30T08:12:25","modified_gmt":"2022-05-30T11:12:25","slug":"a-funcao-varphi-de-euler","status":"publish","type":"page","link":"http:\/\/localhost\/index.php\/ensino\/algebra-a\/a-funcao-varphi-de-euler\/","title":{"rendered":"A fun\u00e7\u00e3o $\\varphi$ de Euler"},"content":{"rendered":"
\nSeja $n\\in\\N$. Definimos
\n\\[
\n\\varphi(n)=|\\{a\\in\\{1,\\ldots,n\\}\\mid \\mdc an=1\\}|.
\n\\]
\nOu seja, $\\varphi(n)$ \u00e9 o n\u00famero de naturais entre $1$ e $n$ que s\u00e3o coprimos com $n$. Por exemplo, uma conta f\u00e1cil mostra que
\n\\[
\n\\varphi(1)=\\varphi(2)=1,\\quad \\varphi(3)=\\varphi(4)=2,\\quad \\varphi(5)=4,\\quad \\mbox{etc}.
\n\\]
\nA fun\u00e7\u00e3o $\\varphi$ \u00e9 chamado fun\u00e7\u00e3o de Euler, ou fun\u00e7\u00e3o totiente de Euler. Segue imediatamente da defini\u00e7\u00e3o de $\\varphi$ que $\\varphi(p)=p-1$ sempre que $p$ \u00e9 primo. O seguinte resultado d\u00e1 uma generaliza\u00e7\u00e3o para o caso quando $n$ \u00e9 uma pot\u00eancia de primo.<\/p>\n
\nSe $n=p^k$ onde $p$ \u00e9 primo e $k\\geq 1$, ent\u00e3o
\n\\[
\n\\varphi(n)=p^k-p^{k-1}=p^{k-1}(p-1).
\n\\]\n<\/div>\n
\nSeja $a\\in\\{1,\\ldots,p^k\\}$. Ent\u00e3o $\\mdc a{p^k}=1$ se e somente se $p\\nmid a$. O n\u00famero dos m\u00faltiplos de $p$ entre $1$ e $p^k$ \u00e9 $p^{k-1}$. Ent\u00e3o o n\u00famero dos inteiros que n\u00e3o s\u00e3o divis\u00edveis por $p$ no mesmo intervalo \u00e9 $p^k-p^{k-1}=p^{k-1}(p-1)$.\n<\/div>\n

Antes do teorema principal desta p\u00e1gina, colocamos um exerc\u00edcio.<\/p>\n

\nSejam $a,m,n\\in\\N$ tais que $\\mdc mn=1$. Mostre que $\\mdc a{mn}=\\mdc am\\mdc an$. Mostre que a condi\u00e7\u00e3o $\\mdc mn=1$ \u00e9 necess\u00e1ria para deduzir esta afirma\u00e7\u00e3o.\n<\/div>\n
\nSejam $m,n\\in\\N$ primos entre si. Ent\u00e3o
\n\\[
\n\\varphi(mn)=\\varphi(m)\\varphi(n).
\n\\]\n<\/div>\n
\nSeja $n$ um n\u00famero inteiro com $n\\geq 2$ e assuma que
\n\\[
\nn=p_1^{\\alpha_1}p_2^{\\alpha_2}\\cdots p_k^{\\alpha_k}
\n\\]
\nonde os $p_i$ s\u00e3o primos distintos dois a dois. Ent\u00e3o
\n\\[
\n\\varphi(n)=\\prod_{i=1}^k\\varphi(p_i^{\\alpha_i})=\\prod_{i=1}^k p_i^{\\alpha_i-1}(p_i-1)
\n\\]\n<\/div>\n
\nSegue dos dois resultados anteriores.\n<\/div>\n
\nVamos calcular $\\varphi(10^n)$ para $n\\geq 1$. Temos que
\n\\[
\n10^n=2^n\\cdot 5^n,
\n\\]
\nportanto
\n\\[
\n\\varphi(10^n)=2^{n-1}\\cdot 5^{n-1}\\cdot 4=2^{n+1}\\cdot 5^{n-1}.
\n\\]
\nPor exemplo
\n\\[
\n\\varphi(1000)=\\varphi(10^3)=2^4\\cdot 5^2=400.
\n\\]
\nOu seja, h\u00e1 $400$ naturais $a$ entre $1$ e $1000$ tal que $\\mdc a{1000}=1$.\n<\/div>\n<\/div>\n","protected":false},"excerpt":{"rendered":"

Seja $n\\in\\N$. Definimos \\[ \\varphi(n)=|\\{a\\in\\{1,\\ldots,n\\}\\mid \\mdc an=1\\}|. \\] Ou seja, $\\varphi(n)$ \u00e9 o n\u00famero de naturais entre $1$ e $n$ que s\u00e3o coprimos com $n$. Por exemplo, uma conta f\u00e1cil mostra que \\[ \\varphi(1)=\\varphi(2)=1,\\quad \\varphi(3)=\\varphi(4)=2,\\quad \\varphi(5)=4,\\quad \\mbox{etc}. \\] A fun\u00e7\u00e3o $\\varphi$ \u00e9 chamado fun\u00e7\u00e3o de Euler, ou fun\u00e7\u00e3o totiente de Euler. Segue imediatamente da defini\u00e7\u00e3o … Continue reading A fun\u00e7\u00e3o $\\varphi$ de Euler<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"parent":706,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":[],"_links":{"self":[{"href":"http:\/\/localhost\/index.php\/wp-json\/wp\/v2\/pages\/1798"}],"collection":[{"href":"http:\/\/localhost\/index.php\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"http:\/\/localhost\/index.php\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"http:\/\/localhost\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/localhost\/index.php\/wp-json\/wp\/v2\/comments?post=1798"}],"version-history":[{"count":2,"href":"http:\/\/localhost\/index.php\/wp-json\/wp\/v2\/pages\/1798\/revisions"}],"predecessor-version":[{"id":1800,"href":"http:\/\/localhost\/index.php\/wp-json\/wp\/v2\/pages\/1798\/revisions\/1800"}],"up":[{"embeddable":true,"href":"http:\/\/localhost\/index.php\/wp-json\/wp\/v2\/pages\/706"}],"wp:attachment":[{"href":"http:\/\/localhost\/index.php\/wp-json\/wp\/v2\/media?parent=1798"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}