<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="hu">
	<id>https://vik.wiki/index.php?action=history&amp;feed=atom&amp;title=17._t%C3%A9tel</id>
	<title>17. tétel - Laptörténet</title>
	<link rel="self" type="application/atom+xml" href="https://vik.wiki/index.php?action=history&amp;feed=atom&amp;title=17._t%C3%A9tel"/>
	<link rel="alternate" type="text/html" href="https://vik.wiki/index.php?title=17._t%C3%A9tel&amp;action=history"/>
	<updated>2026-05-17T10:47:19Z</updated>
	<subtitle>Az oldal laptörténete a wikiben</subtitle>
	<generator>MediaWiki 1.43.8</generator>
	<entry>
		<id>https://vik.wiki/index.php?title=17._t%C3%A9tel&amp;diff=138215&amp;oldid=prev</id>
		<title>Unknown user: Új oldal, tartalma: „{{GlobalTemplate|Infoalap|SzamElmTetelA17}}  SzamelmSzig &amp;gt; DaniVeloxKidolgozas &amp;gt; *Teljes és redukált maradékrendszer, &amp;#966;-függvény definíciója. …”</title>
		<link rel="alternate" type="text/html" href="https://vik.wiki/index.php?title=17._t%C3%A9tel&amp;diff=138215&amp;oldid=prev"/>
		<updated>2012-10-21T20:15:03Z</updated>

		<summary type="html">&lt;p&gt;Új oldal, tartalma: „{{GlobalTemplate|Infoalap|SzamElmTetelA17}}  &lt;a href=&quot;/index.php?title=SzamelmSzig&amp;amp;action=edit&amp;amp;redlink=1&quot; class=&quot;new&quot; title=&quot;SzamelmSzig (a lap nem létezik)&quot;&gt;SzamelmSzig&lt;/a&gt; &amp;gt; &lt;a href=&quot;/DaniVeloxKidolgozas&quot; title=&quot;DaniVeloxKidolgozas&quot;&gt;DaniVeloxKidolgozas&lt;/a&gt; &amp;gt; *Teljes és redukált maradékrendszer, φ-függvény definíciója. …”&lt;/p&gt;
&lt;p&gt;&lt;b&gt;Új lap&lt;/b&gt;&lt;/p&gt;&lt;div&gt;{{GlobalTemplate|Infoalap|SzamElmTetelA17}}&lt;br /&gt;
&lt;br /&gt;
[[SzamelmSzig]] &amp;amp;gt; [[DaniVeloxKidolgozas]] &amp;amp;gt;&lt;br /&gt;
*Teljes és redukált maradékrendszer, &amp;amp;#966;-függvény definíciója. Euler-Fermat-tétel &amp;#039;&amp;#039;&amp;#039;, kis Fermat-tétel. Euklideszi algoritmus.&amp;#039;&amp;#039;&amp;#039;&lt;br /&gt;
&lt;br /&gt;
Ha a mod m maradékosztályok mindegyikéből kiválasztunk egy tetszőleges elemet, a keletkező számhalmazt mod m _teljes maradékrendszer_nek nevezzük.&lt;br /&gt;
A mod m maradékosztályok közül azokból, melyek minden eleme relatív prím m-hez kiveszünk egyet-egyet, a keletkező számhalmazt mod m _redukált maradékrendszer_ének nevezzük.&lt;br /&gt;
_&amp;amp;phi;(m)_: az m-nél kisebb, m-hez relatív prímek száma&lt;br /&gt;
&lt;br /&gt;
*Tétel*: _Euler-Fermat_: Ha m&amp;gt;1 tetszőleges egész szám és a tetszőleges olyan szám, melyre (a,m)=1, akkor a&amp;lt;sup&amp;gt;&amp;amp;#966;(m)&amp;lt;/sup&amp;gt;&amp;amp;#8801;1 (mod m).&lt;br /&gt;
&lt;br /&gt;
*Tétel*: _&amp;amp;#8222;kis&amp;amp;#8221; Fermat_: Tetszőleges p prímszámra és tetszőleges a egész számra a&amp;lt;sup&amp;gt;p&amp;lt;/sup&amp;gt;&amp;amp;equiv;a (mod p)&lt;br /&gt;
&lt;br /&gt;
*Bizonyítás*:&amp;lt;br/&amp;gt;&lt;br /&gt;
 1. p|a =&amp;gt;  0&amp;amp;equiv;a&amp;lt;sup&amp;gt;p&amp;lt;/sup&amp;gt;&amp;amp;equiv;a&amp;amp;equiv;0 (mod p)&amp;lt;br/&amp;gt;&lt;br /&gt;
 2. nem p|a =&amp;gt; (p,a)=1 =&amp;gt;{Euler Fermat}=&amp;gt; a&amp;lt;sup&amp;gt;&amp;amp;#966;(p)&amp;lt;/sup&amp;gt;&amp;amp;#8801;1 (mod p) &amp;lt;br/&amp;gt; &amp;amp;phi;(p)=p-1, így a&amp;lt;sup&amp;gt;p-1&amp;lt;/sup&amp;gt;&amp;amp;#8801;1 (mod p), azaz a&amp;lt;sup&amp;gt;p&amp;lt;/sup&amp;gt;&amp;amp;equiv;a (mod p)&lt;br /&gt;
&lt;br /&gt;
_Euklideszi algoritmus_: a,b számok legnagyobb közös osztójának kiszámításához.&amp;lt;br/&amp;gt;&lt;br /&gt;
a	= h&amp;lt;sub&amp;gt;1&amp;lt;/sub&amp;gt;b+m&amp;lt;sub&amp;gt;1&amp;lt;/sub&amp;gt;	(0&amp;amp;#8804;m&amp;lt;sub&amp;gt;1&amp;lt;/sub&amp;gt;&amp;lt;b)&amp;lt;br/&amp;gt;&lt;br /&gt;
b	= h&amp;lt;sub&amp;gt;2&amp;lt;/sub&amp;gt;m&amp;lt;sub&amp;gt;1&amp;lt;/sub&amp;gt;+m&amp;lt;sub&amp;gt;2&amp;lt;/sub&amp;gt;	(0&amp;amp;#8804;m&amp;lt;sub&amp;gt;2&amp;lt;/sub&amp;gt;&amp;lt;m&amp;lt;sub&amp;gt;1&amp;lt;/sub&amp;gt;)&amp;lt;br/&amp;gt;&lt;br /&gt;
m&amp;lt;sub&amp;gt;1&amp;lt;/sub&amp;gt; = h&amp;lt;sub&amp;gt;3&amp;lt;/sub&amp;gt;m&amp;lt;sub&amp;gt;2&amp;lt;/sub&amp;gt;+m&amp;lt;sub&amp;gt;3&amp;lt;/sub&amp;gt;(0&amp;amp;#8804;m&amp;lt;sub&amp;gt;3&amp;lt;/sub&amp;gt;&amp;lt;m&amp;lt;sub&amp;gt;2&amp;lt;/sub&amp;gt;)&amp;lt;br/&amp;gt;&lt;br /&gt;
és így tovább.&amp;lt;br/&amp;gt;&lt;br /&gt;
Az eljárás akkor ér véget, ha nincs az osztásnak maradéka, vagyis m&amp;lt;sub&amp;gt;n-2&amp;lt;/sub&amp;gt;=h&amp;lt;sub&amp;gt;n&amp;lt;/sub&amp;gt;m&amp;lt;sub&amp;gt;n-1&amp;lt;/sub&amp;gt;. m&amp;lt;sub&amp;gt;n-3&amp;lt;/sub&amp;gt;=h&amp;lt;sub&amp;gt;n-1&amp;lt;/sub&amp;gt;m&amp;lt;sub&amp;gt;n-2&amp;lt;/sub&amp;gt;+ m&amp;lt;sub&amp;gt;n-1&amp;lt;/sub&amp;gt;=(h&amp;lt;sub&amp;gt;n-1&amp;lt;/sub&amp;gt;h&amp;lt;sub&amp;gt;n&amp;lt;/sub&amp;gt;+1)m&amp;lt;sub&amp;gt;n-1&amp;lt;/sub&amp;gt;,&amp;amp;#8230; a és b is m&amp;lt;sub&amp;gt;n-1&amp;lt;/sub&amp;gt; többszöröse lesz,&amp;amp;#8594;m&amp;lt;sub&amp;gt;n-1&amp;lt;/sub&amp;gt; közös osztója a-nak és b-nek. Megfordítva, a és b tetszőleges közös osztója m&amp;lt;sub&amp;gt;1&amp;lt;/sub&amp;gt;-nek is osztója&amp;amp;#8230;m&amp;lt;sub&amp;gt;n-1&amp;lt;/sub&amp;gt;-nek is. Tehát m&amp;lt;sub&amp;gt;n-1&amp;lt;/sub&amp;gt;= (a,b). Másképp: (a,b)=(b,m&amp;lt;sub&amp;gt;1&amp;lt;/sub&amp;gt;)=(m&amp;lt;sub&amp;gt;1&amp;lt;/sub&amp;gt;,m&amp;lt;sub&amp;gt;2&amp;lt;/sub&amp;gt;)=&amp;amp;#8230;=(m&amp;lt;sub&amp;gt;n-2&amp;lt;/sub&amp;gt;,m&amp;lt;sub&amp;gt;n-1&amp;lt;/sub&amp;gt;)=m&amp;lt;sub&amp;gt;n-1&amp;lt;/sub&amp;gt;&amp;amp;#8594;a és b közös osztóinak halmaza megegyezik legnagyobb közös osztójuk osztóinak halmazával.&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
-- [[SzaMa|SzaMa]] - 2005.09.17.&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
[[Category:Infoalap]]&lt;/div&gt;</summary>
		<author><name>Unknown user</name></author>
	</entry>
</feed>