@prefix psr: <http://data.loterre.fr/ark:/67375/PSR> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix dc: <http://purl.org/dc/terms/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

psr:-NM1F1MRK-M
  skos:prefLabel "modular arithmetic"@en, "arithmétique modulaire"@fr ;
  a skos:Concept ;
  skos:narrower psr:-R4QCJJXC-1 .

psr:-R4QCJJXC-1
  dc:modified "2024-10-18"^^xsd:date ;
  skos:related psr:-LRPB5V08-Q ;
  skos:prefLabel "théorème des deux carrés de Fermat"@fr, "Fermat's theorem on sums of two squares"@en ;
  skos:broader psr:-NM1F1MRK-M, psr:-PJSZQ3B9-1, psr:-TT0V0XBL-P, psr:-C7ZLH8LZ-5 ;
  skos:inScheme psr: ;
  skos:definition """En mathématiques, le <b>théorème des deux carrés de Fermat</b> énonce les conditions pour qu’un nombre entier soit la somme de deux carrés parfaits (c'est-à-dire de deux carrés d’entiers) et précise de combien de façons différentes il peut l’être. Par exemple, selon ce théorème, un nombre premier impair (c'est-à-dire tous les nombres premiers sauf 2) est une somme de deux carrés parfaits si et seulement si le reste de sa division euclidienne par 4 est 1 ; dans ce cas, les carrés sont déterminés de manière unique. On peut le vérifier sur 17 (= 4 × 4 + 1) ou 97 (= 24 × 4 + 1), qui sont bien tous deux d’une seule façon une somme de deux carrés (17 = 1<sup>2</sup> + 4<sup>2</sup> et 97 = 9<sup>2</sup> + 4<sup>2</sup>), alors que des nombres premiers comme 7 (= 4 × 1 + 3) ou 31 (= 4 × 7 + 3) ne sont pas des sommes de deux carrés. Ce résultat est parfois nommé simplement théorème des deux carrés ou bien encore théorème de Fermat de Noël. 
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/Th%C3%A9or%C3%A8me_des_deux_carr%C3%A9s_de_Fermat">https://fr.wikipedia.org/wiki/Th%C3%A9or%C3%A8me_des_deux_carr%C3%A9s_de_Fermat</a>)"""@fr, """In additive number theory, <b>Fermat's theorem on sums of two squares</b> states that an odd prime <i>p</i> can be expressed as:  <dl><dd><span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\\\\displaystyle p=x^{2}+y^{2},}">   <semantics>     <mrow class="MJX-TeXAtom-ORD">       <mstyle displaystyle="true" scriptlevel="0">         <mi>p</mi>         <mo>=</mo>         <msup>           <mi>x</mi>           <mrow class="MJX-TeXAtom-ORD">             <mn>2</mn>           </mrow>         </msup>         <mo>+</mo>         <msup>           <mi>y</mi>           <mrow class="MJX-TeXAtom-ORD">             <mn>2</mn>           </mrow>         </msup>         <mo>,</mo>       </mstyle>     </mrow>     <annotation encoding="application/x-tex">{\\\\displaystyle p=x^{2}+y^{2},}</annotation>   </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/9a2148bd17007f26375a36746e87034f26036f67" class="mwe-math-fallback-image-inline mw-invert" aria-hidden="true" style="vertical-align: -0.671ex; margin-left: -0.089ex; width:12.443ex; height:3.009ex;" alt="{\\\\displaystyle p=x^{2}+y^{2},}"></span></dd></dl> with <i>x</i> and <i>y</i> integers, if and only if  <dl><dd><span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\\\\displaystyle p\\\\equiv 1{\\\\pmod {4}}.}">   <semantics>     <mrow class="MJX-TeXAtom-ORD">       <mstyle displaystyle="true" scriptlevel="0">         <mi>p</mi>         <mo>≡<!-- ≡ --></mo>         <mn>1</mn>         <mrow class="MJX-TeXAtom-ORD">           <mspace width="1em"></mspace>           <mo stretchy="false">(</mo>           <mi>mod</mi>           <mspace width="0.333em"></mspace>           <mn>4</mn>           <mo stretchy="false">)</mo>         </mrow>         <mo>.</mo>       </mstyle>     </mrow>     <annotation encoding="application/x-tex">{\\\\displaystyle p\\\\equiv 1{\\\\pmod {4}}.}</annotation>   </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/34dd7a30a03aab50f19113294a5c6e92ec536ddd" class="mwe-math-fallback-image-inline mw-invert" aria-hidden="true" style="vertical-align: -0.838ex; margin-left: -0.089ex; width:17.013ex; height:2.843ex;" alt="p \\\\equiv 1 \\\\pmod{4}."></span></dd></dl> The prime numbers for which this is true are called Pythagorean primes. For example, the primes 5, 13, 17, 29, 37 and 41 are all congruent to 1 modulo 4, and they can be expressed as sums of two squares in the following ways:  <dl><dd><span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\\\\displaystyle 5=1^{2}+2^{2},\\\\quad 13=2^{2}+3^{2},\\\\quad 17=1^{2}+4^{2},\\\\quad 29=2^{2}+5^{2},\\\\quad 37=1^{2}+6^{2},\\\\quad 41=4^{2}+5^{2}.}">   <semantics>     <mrow class="MJX-TeXAtom-ORD">       <mstyle displaystyle="true" scriptlevel="0">         <mn>5</mn>         <mo>=</mo>         <msup>           <mn>1</mn>           <mrow class="MJX-TeXAtom-ORD">             <mn>2</mn>           </mrow>         </msup>         <mo>+</mo>         <msup>           <mn>2</mn>           <mrow class="MJX-TeXAtom-ORD">             <mn>2</mn>           </mrow>         </msup>         <mo>,</mo>         <mspace width="1em"></mspace>         <mn>13</mn>         <mo>=</mo>         <msup>           <mn>2</mn>           <mrow class="MJX-TeXAtom-ORD">             <mn>2</mn>           </mrow>         </msup>         <mo>+</mo>         <msup>           <mn>3</mn>           <mrow class="MJX-TeXAtom-ORD">             <mn>2</mn>           </mrow>         </msup>         <mo>,</mo>         <mspace width="1em"></mspace>         <mn>17</mn>         <mo>=</mo>         <msup>           <mn>1</mn>           <mrow class="MJX-TeXAtom-ORD">             <mn>2</mn>           </mrow>         </msup>         <mo>+</mo>         <msup>           <mn>4</mn>           <mrow class="MJX-TeXAtom-ORD">             <mn>2</mn>           </mrow>         </msup>         <mo>,</mo>         <mspace width="1em"></mspace>         <mn>29</mn>         <mo>=</mo>         <msup>           <mn>2</mn>           <mrow class="MJX-TeXAtom-ORD">             <mn>2</mn>           </mrow>         </msup>         <mo>+</mo>         <msup>           <mn>5</mn>           <mrow class="MJX-TeXAtom-ORD">             <mn>2</mn>           </mrow>         </msup>         <mo>,</mo>         <mspace width="1em"></mspace>         <mn>37</mn>         <mo>=</mo>         <msup>           <mn>1</mn>           <mrow class="MJX-TeXAtom-ORD">             <mn>2</mn>           </mrow>         </msup>         <mo>+</mo>         <msup>           <mn>6</mn>           <mrow class="MJX-TeXAtom-ORD">             <mn>2</mn>           </mrow>         </msup>         <mo>,</mo>         <mspace width="1em"></mspace>         <mn>41</mn>         <mo>=</mo>         <msup>           <mn>4</mn>           <mrow class="MJX-TeXAtom-ORD">             <mn>2</mn>           </mrow>         </msup>         <mo>+</mo>         <msup>           <mn>5</mn>           <mrow class="MJX-TeXAtom-ORD">             <mn>2</mn>           </mrow>         </msup>         <mo>.</mo>       </mstyle>     </mrow>     <annotation encoding="application/x-tex">{\\\\displaystyle 5=1^{2}+2^{2},\\\\quad 13=2^{2}+3^{2},\\\\quad 17=1^{2}+4^{2},\\\\quad 29=2^{2}+5^{2},\\\\quad 37=1^{2}+6^{2},\\\\quad 41=4^{2}+5^{2}.}</annotation>   </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/c0cad5ed58d57988218fc19c51ce43e9996beb70" class="mwe-math-fallback-image-inline mw-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:92.45ex; height:3.009ex;" alt="5 = 1^2 + 2^2, \\\\quad 13 = 2^2 + 3^2, \\\\quad 17 = 1^2 + 4^2, \\\\quad 29 = 2^2 + 5^2, \\\\quad 37 = 1^2 + 6^2, \\\\quad 41 = 4^2 + 5^2."></span></dd></dl> On the other hand, the primes 3, 7, 11, 19, 23 and 31 are all congruent to 3 modulo 4, and none of them can be expressed as the sum of two squares. This is the easier part of the theorem, and follows immediately from the observation that all squares are congruent to 0 or 1 modulo 4. 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Fermat%27s_theorem_on_sums_of_two_squares">https://en.wikipedia.org/wiki/Fermat%27s_theorem_on_sums_of_two_squares</a>)"""@en ;
  dc:created "2023-08-28"^^xsd:date ;
  skos:exactMatch <https://en.wikipedia.org/wiki/Fermat%27s_theorem_on_sums_of_two_squares>, <https://fr.wikipedia.org/wiki/Th%C3%A9or%C3%A8me_des_deux_carr%C3%A9s_de_Fermat> ;
  a skos:Concept .

psr:-TT0V0XBL-P
  skos:prefLabel "entier quadratique"@fr, "quadratic integer"@en ;
  a skos:Concept ;
  skos:narrower psr:-R4QCJJXC-1 .

psr:-C7ZLH8LZ-5
  skos:prefLabel "théorie additive des nombres"@fr, "additive number theory"@en ;
  a skos:Concept ;
  skos:narrower psr:-R4QCJJXC-1 .

psr: a skos:ConceptScheme .
psr:-LRPB5V08-Q
  skos:prefLabel "square number"@en, "nombre carré"@fr ;
  a skos:Concept ;
  skos:related psr:-R4QCJJXC-1 .

psr:-PJSZQ3B9-1
  skos:prefLabel "Diophantine equation"@en, "équation diophantienne"@fr ;
  a skos:Concept ;
  skos:narrower psr:-R4QCJJXC-1 .

