@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: a skos:ConceptScheme .
psr:-THPXX327-8
  a skos:Concept ;
  dc:modified "2024-10-18"^^xsd:date ;
  skos:definition """En mathématiques, le conjugué d'un nombre complexe z est le nombre complexe formé de la même partie réelle que z mais de partie imaginaire opposée.  
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/Conjugu%C3%A9">https://fr.wikipedia.org/wiki/Conjugu%C3%A9</a>)"""@fr, """In mathematics, the <b>complex conjugate</b> of a complex number is the number with an equal real part and an imaginary part equal in magnitude but opposite in sign. That is, if <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 a}">   <semantics>     <mrow class="MJX-TeXAtom-ORD">       <mstyle displaystyle="true" scriptlevel="0">         <mi>a</mi>       </mstyle>     </mrow>     <annotation encoding="application/x-tex">{\\\\displaystyle a}</annotation>   </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/ffd2487510aa438433a2579450ab2b3d557e5edc" class="mwe-math-fallback-image-inline mw-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.23ex; height:1.676ex;" alt="a"></span> and <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 b}">   <semantics>     <mrow class="MJX-TeXAtom-ORD">       <mstyle displaystyle="true" scriptlevel="0">         <mi>b</mi>       </mstyle>     </mrow>     <annotation encoding="application/x-tex">{\\\\displaystyle b}</annotation>   </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/f11423fbb2e967f986e36804a8ae4271734917c3" class="mwe-math-fallback-image-inline mw-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:0.998ex; height:2.176ex;" alt="b"></span> are real numbers then the complex conjugate of <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 a+bi}">   <semantics>     <mrow class="MJX-TeXAtom-ORD">       <mstyle displaystyle="true" scriptlevel="0">         <mi>a</mi>         <mo>+</mo>         <mi>b</mi>         <mi>i</mi>       </mstyle>     </mrow>     <annotation encoding="application/x-tex">{\\\\displaystyle a+bi}</annotation>   </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/a92f853c2c9235c06be640b91b7c75e2a907cbda" class="mwe-math-fallback-image-inline mw-invert" aria-hidden="true" style="vertical-align: -0.505ex; width:5.87ex; height:2.343ex;" alt="{\\\\displaystyle a+bi}"></span> is <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 a-bi.}">   <semantics>     <mrow class="MJX-TeXAtom-ORD">       <mstyle displaystyle="true" scriptlevel="0">         <mi>a</mi>         <mo>−<!-- − --></mo>         <mi>b</mi>         <mi>i</mi>         <mo>.</mo>       </mstyle>     </mrow>     <annotation encoding="application/x-tex">{\\\\displaystyle a-bi.}</annotation>   </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/fbfbc84ddc58f5ea936fadb738f0ee80b0c74caa" class="mwe-math-fallback-image-inline mw-invert" aria-hidden="true" style="vertical-align: -0.505ex; width:6.517ex; height:2.343ex;" alt="{\\\\displaystyle a-bi.}"></span>   The complex conjugate of <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 z}">   <semantics>     <mrow class="MJX-TeXAtom-ORD">       <mstyle displaystyle="true" scriptlevel="0">         <mi>z</mi>       </mstyle>     </mrow>     <annotation encoding="application/x-tex">{\\\\displaystyle z}</annotation>   </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/bf368e72c009decd9b6686ee84a375632e11de98" class="mwe-math-fallback-image-inline mw-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.088ex; height:1.676ex;" alt="z"></span> is often denoted as <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 {\\\\overline {z}}}">   <semantics>     <mrow class="MJX-TeXAtom-ORD">       <mstyle displaystyle="true" scriptlevel="0">         <mrow class="MJX-TeXAtom-ORD">           <mover>             <mi>z</mi>             <mo accent="false">¯<!-- ¯ --></mo>           </mover>         </mrow>       </mstyle>     </mrow>     <annotation encoding="application/x-tex">{\\\\displaystyle {\\\\overline {z}}}</annotation>   </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/64281d029a1d4bef9545644f01821c713f876f76" class="mwe-math-fallback-image-inline mw-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.208ex; height:2.343ex;" alt="{\\\\overline {z}}"></span> or <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 z^{*}}">   <semantics>     <mrow class="MJX-TeXAtom-ORD">       <mstyle displaystyle="true" scriptlevel="0">         <msup>           <mi>z</mi>           <mrow class="MJX-TeXAtom-ORD">             <mo>∗<!-- ∗ --></mo>           </mrow>         </msup>       </mstyle>     </mrow>     <annotation encoding="application/x-tex">{\\\\displaystyle z^{*}}</annotation>   </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/a5b376dccffe5ae946dcdb7e98bf41beae28dc9e" class="mwe-math-fallback-image-inline mw-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:2.145ex; height:2.343ex;" alt="z^{*}"></span>. In polar form, if <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 r}">   <semantics>     <mrow class="MJX-TeXAtom-ORD">       <mstyle displaystyle="true" scriptlevel="0">         <mi>r</mi>       </mstyle>     </mrow>     <annotation encoding="application/x-tex">{\\\\displaystyle r}</annotation>   </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/0d1ecb613aa2984f0576f70f86650b7c2a132538" class="mwe-math-fallback-image-inline mw-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.049ex; height:1.676ex;" alt="r"></span> and <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 \\\\varphi }">   <semantics>     <mrow class="MJX-TeXAtom-ORD">       <mstyle displaystyle="true" scriptlevel="0">         <mi>φ<!-- φ --></mi>       </mstyle>     </mrow>     <annotation encoding="application/x-tex">{\\\\displaystyle \\\\varphi }</annotation>   </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/33ee699558d09cf9d653f6351f9fda0b2f4aaa3e" class="mwe-math-fallback-image-inline mw-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:1.52ex; height:2.176ex;" alt="\\\\varphi "></span> are real numbers then the conjugate of <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 re^{i\\\\varphi }}">   <semantics>     <mrow class="MJX-TeXAtom-ORD">       <mstyle displaystyle="true" scriptlevel="0">         <mi>r</mi>         <msup>           <mi>e</mi>           <mrow class="MJX-TeXAtom-ORD">             <mi>i</mi>             <mi>φ<!-- φ --></mi>           </mrow>         </msup>       </mstyle>     </mrow>     <annotation encoding="application/x-tex">{\\\\displaystyle re^{i\\\\varphi }}</annotation>   </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/1a3baa9456e8a581a66e0427dd9fcd05b345904c" class="mwe-math-fallback-image-inline mw-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:4.007ex; height:2.676ex;" alt="{\\\\displaystyle re^{i\\\\varphi }}"></span> is <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 re^{-i\\\\varphi }.}">   <semantics>     <mrow class="MJX-TeXAtom-ORD">       <mstyle displaystyle="true" scriptlevel="0">         <mi>r</mi>         <msup>           <mi>e</mi>           <mrow class="MJX-TeXAtom-ORD">             <mo>−<!-- − --></mo>             <mi>i</mi>             <mi>φ<!-- φ --></mi>           </mrow>         </msup>         <mo>.</mo>       </mstyle>     </mrow>     <annotation encoding="application/x-tex">{\\\\displaystyle re^{-i\\\\varphi }.}</annotation>   </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/513eb66965393d19204e64c7d5a25fc1753212ea" class="mwe-math-fallback-image-inline mw-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:5.932ex; height:2.676ex;" alt="{\\\\displaystyle re^{-i\\\\varphi }.}"></span> This can be shown using Euler's formula. The product of a complex number and its conjugate is a real number: <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 a^{2}+b^{2}}">   <semantics>     <mrow class="MJX-TeXAtom-ORD">       <mstyle displaystyle="true" scriptlevel="0">         <msup>           <mi>a</mi>           <mrow class="MJX-TeXAtom-ORD">             <mn>2</mn>           </mrow>         </msup>         <mo>+</mo>         <msup>           <mi>b</mi>           <mrow class="MJX-TeXAtom-ORD">             <mn>2</mn>           </mrow>         </msup>       </mstyle>     </mrow>     <annotation encoding="application/x-tex">{\\\\displaystyle a^{2}+b^{2}}</annotation>   </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/14fc28103c5d2aa9276728469f82c9f415f4b257" class="mwe-math-fallback-image-inline mw-invert" aria-hidden="true" style="vertical-align: -0.505ex; width:7.176ex; height:2.843ex;" alt="a^2 + b^2"></span> (or <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 r^{2}}">   <semantics>     <mrow class="MJX-TeXAtom-ORD">       <mstyle displaystyle="true" scriptlevel="0">         <msup>           <mi>r</mi>           <mrow class="MJX-TeXAtom-ORD">             <mn>2</mn>           </mrow>         </msup>       </mstyle>     </mrow>     <annotation encoding="application/x-tex">{\\\\displaystyle r^{2}}</annotation>   </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/a363a15442d031416d1eb62254a9c726e3f6c66c" class="mwe-math-fallback-image-inline mw-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:2.103ex; height:2.676ex;" alt="r^{2}"></span> in polar coordinates). If a root of a univariate polynomial with real coefficients is complex, then its complex conjugate is also a root. 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Complex_conjugate">https://en.wikipedia.org/wiki/Complex_conjugate</a>)"""@en ;
  skos:exactMatch <https://en.wikipedia.org/wiki/Complex_conjugate>, <https://fr.wikipedia.org/wiki/Conjugu%C3%A9> ;
  skos:prefLabel "conjugué complexe"@fr, "complex conjugate"@en ;
  skos:broader psr:-PFC2HSVT-Z ;
  skos:inScheme psr: .

psr:-PFC2HSVT-Z
  skos:prefLabel "nombre complexe"@fr, "complex number"@en ;
  a skos:Concept ;
  skos:narrower psr:-THPXX327-8 .

