import{_ as x,c as j,a as c,b as m,d as s,o as a}from"./app-cMmQV7Pr.js";const n={};function t(e,l){return a(),j("div",null,l[0]||(l[0]=[c('<h1 id="数论-三" tabindex="-1"><a class="header-anchor" href="#数论-三"><span>数论（三）</span></a></h1><hr><h2 id="_9-blum整数blum-integer" tabindex="-1"><a class="header-anchor" href="#_9-blum整数blum-integer"><span>9. Blum整数<a href="https://en.wikipedia.org/wiki/Blum_integer" target="_blank" rel="noopener noreferrer">Blum Integer</a></span></a></h2><h3 id="_9-1-定义" tabindex="-1"><a class="header-anchor" href="#_9-1-定义"><span>9.1 定义</span></a></h3>',4),m("p",null,[s("如果有质数"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D45D TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mi",{class:"mjx-i",space:"2"},[m("mjx-c",{class:"mjx-c1D45E TEX-I"})])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("mi",null,"p"),m("mo",null,","),m("mi",null,"q")])])]),s("，满足"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D45D TEX-I"})]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c2261"})]),m("mjx-mn",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c33"})]),m("mjx-mspace",{style:{width:"0.444em"}}),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-mi",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c6D"}),m("mjx-c",{class:"mjx-c6F"}),m("mjx-c",{class:"mjx-c64"})]),m("mjx-mspace",{style:{width:"0.333em"}}),m("mjx-mn",{class:"mjx-n",space:"2"},[m("mjx-c",{class:"mjx-c34"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mi",{class:"mjx-i",space:"2"},[m("mjx-c",{class:"mjx-c1D45E TEX-I"})]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c2261"})]),m("mjx-mn",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c33"})]),m("mjx-mspace",{style:{width:"0.444em"}}),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-mi",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c6D"}),m("mjx-c",{class:"mjx-c6F"}),m("mjx-c",{class:"mjx-c64"})]),m("mjx-mspace",{style:{width:"0.333em"}}),m("mjx-mn",{class:"mjx-n",space:"2"},[m("mjx-c",{class:"mjx-c34"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("mi",null,"p"),m("mo",null,"≡"),m("mn",null,"3"),m("mspace",{width:"0.444em"}),m("mo",{stretchy:"false"},"("),m("mi",null,"mod"),m("mspace",{width:"0.333em"}),m("mn",null,"4"),m("mo",{stretchy:"false"},")"),m("mo",null,","),m("mi",null,"q"),m("mo",null,"≡"),m("mn",null,"3"),m("mspace",{width:"0.444em"}),m("mo",{stretchy:"false"},"("),m("mi",null,"mod"),m("mspace",{width:"0.333em"}),m("mn",null,"4"),m("mo",{stretchy:"false"},")")])])]),s(",那么"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D45B TEX-I"})]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c3D"})]),m("mjx-mi",{class:"mjx-i",space:"4"},[m("mjx-c",{class:"mjx-c1D45D TEX-I"})]),m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D45E TEX-I"})])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("mi",null,"n"),m("mo",null,"="),m("mi",null,"p"),m("mi",null,"q")])])]),s("称为Blum整数"),m("br"),s(" 比如 21, 33, 57, 69, 77, 93, 129, 133, 141, 161, 177, 201, 209, 213, 217, 237, 249, 253, 301, 309, 321, 329, 341, 381, 393, 413, 417, 437, 453, 469, 473, 489, 497, ...")],-1),c('<h3 id="_9-2-历史" tabindex="-1"><a class="header-anchor" href="#_9-2-历史"><span>9.2 历史</span></a></h3><p>以数学家<a href="https://en.wikipedia.org/wiki/Manuel_Blum" target="_blank" rel="noopener noreferrer">Manuel Blum</a>命名</p><h3 id="_9-3-特性" tabindex="-1"><a class="header-anchor" href="#_9-3-特性"><span>9.3 特性</span></a></h3>',3),m("p",null,[s("设"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D45B TEX-I"})])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("mi",null,"n")])])]),s("是Blum整数")],-1),m("h4",{id:"_9-3-1",tabindex:"-1"},[m("a",{class:"header-anchor",href:"#_9-3-1"},[m("span",null,"9.3.1")])],-1),m("p",null,[s("由于"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D45D TEX-I"})]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c3D"})]),m("mjx-mn",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c34"})]),m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D458 TEX-I"})]),m("mjx-mo",{class:"mjx-n",space:"3"},[m("mjx-c",{class:"mjx-c2B"})]),m("mjx-mn",{class:"mjx-n",space:"3"},[m("mjx-c",{class:"mjx-c33"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mfrac",{space:"2"},[m("mjx-frac",null,[m("mjx-num",null,[m("mjx-nstrut"),m("mjx-mrow",{size:"s"},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D45D TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2212"})]),m("mjx-mn",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c31"})])])]),m("mjx-dbox",null,[m("mjx-dtable",null,[m("mjx-line"),m("mjx-row",null,[m("mjx-den",null,[m("mjx-dstrut"),m("mjx-mn",{class:"mjx-n",size:"s"},[m("mjx-c",{class:"mjx-c32"})])])])])])])]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c3D"})]),m("mjx-mn",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c32"})]),m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D458 TEX-I"})]),m("mjx-mo",{class:"mjx-n",space:"3"},[m("mjx-c",{class:"mjx-c2B"})]),m("mjx-mn",{class:"mjx-n",space:"3"},[m("mjx-c",{class:"mjx-c31"})])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("mi",null,"p"),m("mo",null,"="),m("mn",null,"4"),m("mi",null,"k"),m("mo",null,"+"),m("mn",null,"3"),m("mo",null,","),m("mfrac",null,[m("mrow",null,[m("mi",null,"p"),m("mo",null,"−"),m("mn",null,"1")]),m("mn",null,"2")]),m("mo",null,"="),m("mn",null,"2"),m("mi",null,"k"),m("mo",null,"+"),m("mn",null,"1")])])]),s(", 所以"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D43F TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2212"})]),m("mjx-mn",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c31"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mi",{class:"mjx-i",space:"2"},[m("mjx-c",{class:"mjx-c1D45D TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c3D"})]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2212"})]),m("mjx-mn",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c31"})]),m("mjx-msup",null,[m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})]),m("mjx-script",{style:{"vertical-align":"0.363em"}},[m("mjx-TeXAtom",{size:"s",texclass:"ORD"},[m("mjx-mfrac",null,[m("mjx-frac",null,[m("mjx-num",null,[m("mjx-nstrut"),m("mjx-mrow",{size:"s"},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D45D TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2212"})]),m("mjx-mn",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c31"})])])]),m("mjx-dbox",null,[m("mjx-dtable",null,[m("mjx-line"),m("mjx-row",null,[m("mjx-den",null,[m("mjx-dstrut"),m("mjx-mn",{class:"mjx-n",size:"s"},[m("mjx-c",{class:"mjx-c32"})])])])])])])])])])]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c3D"})]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2212"})]),m("mjx-mn",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c31"})]),m("mjx-msup",null,[m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})]),m("mjx-script",{style:{"vertical-align":"0.363em"}},[m("mjx-TeXAtom",{size:"s",texclass:"ORD"},[m("mjx-mn",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c32"})]),m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D458 TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2B"})]),m("mjx-mn",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c31"})])])])]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c3D"})]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c2212"})]),m("mjx-mn",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c31"})])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("mi",null,"L"),m("mo",{stretchy:"false"},"("),m("mo",null,"−"),m("mn",null,"1"),m("mo",null,","),m("mi",null,"p"),m("mo",{stretchy:"false"},")"),m("mo",null,"="),m("mo",{stretchy:"false"},"("),m("mo",null,"−"),m("mn",null,"1"),m("msup",null,[m("mo",{stretchy:"false"},")"),m("mrow",{"data-mjx-texclass":"ORD"},[m("mfrac",null,[m("mrow",null,[m("mi",null,"p"),m("mo",null,"−"),m("mn",null,"1")]),m("mn",null,"2")])])]),m("mo",null,"="),m("mo",{stretchy:"false"},"("),m("mo",null,"−"),m("mn",null,"1"),m("msup",null,[m("mo",{stretchy:"false"},")"),m("mrow",{"data-mjx-texclass":"ORD"},[m("mn",null,"2"),m("mi",null,"k"),m("mo",null,"+"),m("mn",null,"1")])]),m("mo",null,"="),m("mo",null,"−"),m("mn",null,"1")])])]),m("br"),s(" 所以")],-1),m("mjx-container",{class:"MathJax",jax:"CHTML",display:"true",style:{position:"relative"}},[m("mjx-math",{display:"true",style:{"margin-left":"0","margin-right":"0"},class:"MJX-TEX","aria-hidden":"true"},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D43D TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2212"})]),m("mjx-mn",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c31"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mi",{class:"mjx-i",space:"2"},[m("mjx-c",{class:"mjx-c1D45B TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c3D"})]),m("mjx-mi",{class:"mjx-i",space:"4"},[m("mjx-c",{class:"mjx-c1D43F TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2212"})]),m("mjx-mn",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c31"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mi",{class:"mjx-i",space:"2"},[m("mjx-c",{class:"mjx-c1D45D TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})]),m("mjx-mo",{class:"mjx-n",space:"3"},[m("mjx-c",{class:"mjx-cD7"})]),m("mjx-mi",{class:"mjx-i",space:"3"},[m("mjx-c",{class:"mjx-c1D43F TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2212"})]),m("mjx-mn",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c31"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mi",{class:"mjx-i",space:"2"},[m("mjx-c",{class:"mjx-c1D45E TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c3D"})]),m("mjx-mn",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c31"})])]),m("mjx-assistive-mml",{unselectable:"on",display:"block"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML",display:"block"},[m("mi",null,"J"),m("mo",{stretchy:"false"},"("),m("mo",null,"−"),m("mn",null,"1"),m("mo",null,","),m("mi",null,"n"),m("mo",{stretchy:"false"},")"),m("mo",null,"="),m("mi",null,"L"),m("mo",{stretchy:"false"},"("),m("mo",null,"−"),m("mn",null,"1"),m("mo",null,","),m("mi",null,"p"),m("mo",{stretchy:"false"},")"),m("mo",null,"×"),m("mi",null,"L"),m("mo",{stretchy:"false"},"("),m("mo",null,"−"),m("mn",null,"1"),m("mo",null,","),m("mi",null,"q"),m("mo",{stretchy:"false"},")"),m("mo",null,"="),m("mn",null,"1")])])],-1),m("p",null,[s("推论："),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D43D TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D44E TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mi",{class:"mjx-i",space:"2"},[m("mjx-c",{class:"mjx-c1D45B TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c3D"})]),m("mjx-mi",{class:"mjx-i",space:"4"},[m("mjx-c",{class:"mjx-c1D43D TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2212"})]),m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D44E TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mi",{class:"mjx-i",space:"2"},[m("mjx-c",{class:"mjx-c1D45B TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("mi",null,"J"),m("mo",{stretchy:"false"},"("),m("mi",null,"a"),m("mo",null,","),m("mi",null,"n"),m("mo",{stretchy:"false"},")"),m("mo",null,"="),m("mi",null,"J"),m("mo",{stretchy:"false"},"("),m("mo",null,"−"),m("mi",null,"a"),m("mo",null,","),m("mi",null,"n"),m("mo",{stretchy:"false"},")")])])]),m("br"),s(" 举例：")],-1),m("mjx-container",{class:"MathJax",jax:"CHTML",display:"true",style:{position:"relative"}},[m("mjx-math",{display:"true",style:{"margin-left":"0","margin-right":"0"},class:"MJX-TEX","aria-hidden":"true"},[m("mjx-mtable",{style:{"min-width":"11.656em"}},[m("mjx-table",null,[m("mjx-itable",null,[m("mjx-mtr",null,[m("mjx-mtd",{style:{"text-align":"right","padding-right":"0","padding-bottom":"0.15em"}},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D43D TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-mn",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c31"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mn",{class:"mjx-n",space:"2"},[m("mjx-c",{class:"mjx-c32"}),m("mjx-c",{class:"mjx-c31"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})]),m("mjx-tstrut")]),m("mjx-mtd",{style:{"text-align":"left","padding-left":"0","padding-bottom":"0.15em"}},[m("mjx-mi",{class:"mjx-n"}),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c3D"})]),m("mjx-mi",{class:"mjx-i",space:"4"},[m("mjx-c",{class:"mjx-c1D43D TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-mn",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c32"}),m("mjx-c",{class:"mjx-c30"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mn",{class:"mjx-n",space:"2"},[m("mjx-c",{class:"mjx-c32"}),m("mjx-c",{class:"mjx-c31"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c3D"})]),m("mjx-mn",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c31"})]),m("mjx-tstrut")])]),m("mjx-mtr",null,[m("mjx-mtd",{style:{"text-align":"right","padding-right":"0","padding-top":"0.15em","padding-bottom":"0.15em"}},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D43D TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-mn",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c32"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mn",{class:"mjx-n",space:"2"},[m("mjx-c",{class:"mjx-c32"}),m("mjx-c",{class:"mjx-c31"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})]),m("mjx-tstrut")]),m("mjx-mtd",{style:{"text-align":"left","padding-left":"0","padding-top":"0.15em","padding-bottom":"0.15em"}},[m("mjx-mi",{class:"mjx-n"}),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c3D"})]),m("mjx-mi",{class:"mjx-i",space:"4"},[m("mjx-c",{class:"mjx-c1D43D TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-mn",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c31"}),m("mjx-c",{class:"mjx-c39"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mn",{class:"mjx-n",space:"2"},[m("mjx-c",{class:"mjx-c32"}),m("mjx-c",{class:"mjx-c31"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c3D"})]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c2212"})]),m("mjx-mn",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c31"})]),m("mjx-tstrut")])]),m("mjx-mtr",null,[m("mjx-mtd",{style:{"text-align":"right","padding-right":"0","padding-top":"0.15em","padding-bottom":"0.15em"}},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D43D TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-mn",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c34"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mn",{class:"mjx-n",space:"2"},[m("mjx-c",{class:"mjx-c32"}),m("mjx-c",{class:"mjx-c31"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})]),m("mjx-tstrut")]),m("mjx-mtd",{style:{"text-align":"left","padding-left":"0","padding-top":"0.15em","padding-bottom":"0.15em"}},[m("mjx-mi",{class:"mjx-n"}),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c3D"})]),m("mjx-mi",{class:"mjx-i",space:"4"},[m("mjx-c",{class:"mjx-c1D43D TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-mn",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c31"}),m("mjx-c",{class:"mjx-c37"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mn",{class:"mjx-n",space:"2"},[m("mjx-c",{class:"mjx-c32"}),m("mjx-c",{class:"mjx-c31"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c3D"})]),m("mjx-mn",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c31"})]),m("mjx-tstrut")])]),m("mjx-mtr",null,[m("mjx-mtd",{style:{"text-align":"right","padding-right":"0","padding-top":"0.15em","padding-bottom":"0.15em"}},[m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c22EF"})]),m("mjx-tstrut")]),m("mjx-mtd",{extra:"true"})]),m("mjx-mtr",null,[m("mjx-mtd",{style:{"text-align":"right","padding-right":"0","padding-top":"0.15em"}},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D43D TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-mn",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c31"}),m("mjx-c",{class:"mjx-c30"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mn",{class:"mjx-n",space:"2"},[m("mjx-c",{class:"mjx-c32"}),m("mjx-c",{class:"mjx-c31"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})]),m("mjx-tstrut")]),m("mjx-mtd",{style:{"text-align":"left","padding-left":"0","padding-top":"0.15em"}},[m("mjx-mi",{class:"mjx-n"}),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c3D"})]),m("mjx-mi",{class:"mjx-i",space:"4"},[m("mjx-c",{class:"mjx-c1D43D TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-mn",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c31"}),m("mjx-c",{class:"mjx-c31"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mn",{class:"mjx-n",space:"2"},[m("mjx-c",{class:"mjx-c32"}),m("mjx-c",{class:"mjx-c31"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c3D"})]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c2212"})]),m("mjx-mn",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c31"})]),m("mjx-tstrut")])])])])])]),m("mjx-assistive-mml",{unselectable:"on",display:"block"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML",display:"block"},[m("mtable",{displaystyle:"true",columnalign:"right left",columnspacing:"0em",rowspacing:"3pt"},[m("mtr",null,[m("mtd",null,[m("mi",null,"J"),m("mo",{stretchy:"false"},"("),m("mn",null,"1"),m("mo",null,","),m("mn",null,"21"),m("mo",{stretchy:"false"},")")]),m("mtd",null,[m("mi"),m("mo",null,"="),m("mi",null,"J"),m("mo",{stretchy:"false"},"("),m("mn",null,"20"),m("mo",null,","),m("mn",null,"21"),m("mo",{stretchy:"false"},")"),m("mo",null,"="),m("mn",null,"1")])]),m("mtr",null,[m("mtd",null,[m("mi",null,"J"),m("mo",{stretchy:"false"},"("),m("mn",null,"2"),m("mo",null,","),m("mn",null,"21"),m("mo",{stretchy:"false"},")")]),m("mtd",null,[m("mi"),m("mo",null,"="),m("mi",null,"J"),m("mo",{stretchy:"false"},"("),m("mn",null,"19"),m("mo",null,","),m("mn",null,"21"),m("mo",{stretchy:"false"},")"),m("mo",null,"="),m("mo",null,"−"),m("mn",null,"1")])]),m("mtr",null,[m("mtd",null,[m("mi",null,"J"),m("mo",{stretchy:"false"},"("),m("mn",null,"4"),m("mo",null,","),m("mn",null,"21"),m("mo",{stretchy:"false"},")")]),m("mtd",null,[m("mi"),m("mo",null,"="),m("mi",null,"J"),m("mo",{stretchy:"false"},"("),m("mn",null,"17"),m("mo",null,","),m("mn",null,"21"),m("mo",{stretchy:"false"},")"),m("mo",null,"="),m("mn",null,"1")])]),m("mtr",null,[m("mtd",null,[m("mo",null,"⋯")])]),m("mtr",null,[m("mtd",null,[m("mi",null,"J"),m("mo",{stretchy:"false"},"("),m("mn",null,"10"),m("mo",null,","),m("mn",null,"21"),m("mo",{stretchy:"false"},")")]),m("mtd",null,[m("mi"),m("mo",null,"="),m("mi",null,"J"),m("mo",{stretchy:"false"},"("),m("mn",null,"11"),m("mo",null,","),m("mn",null,"21"),m("mo",{stretchy:"false"},")"),m("mo",null,"="),m("mo",null,"−"),m("mn",null,"1")])])])])])],-1),m("h4",{id:"_9-3-2",tabindex:"-1"},[m("a",{class:"header-anchor",href:"#_9-3-2"},[m("span",null,"9.3.2")])],-1),m("p",null,[s("对于任意"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D466 TEX-I"})]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c2208"})]),m("mjx-msubsup",{space:"4"},[m("mjx-TeXAtom",{texclass:"ORD"},[m("mjx-mi",{class:"mjx-ds mjx-b"},[m("mjx-c",{class:"mjx-c2124 TEX-A"})])]),m("mjx-script",{style:{"vertical-align":"-0.247em","margin-left":"0"}},[m("mjx-TeXAtom",{size:"s",texclass:"ORD"},[m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2217"})])]),m("mjx-spacer",{style:{"margin-top":"0.322em"}}),m("mjx-mi",{class:"mjx-i",size:"s"},[m("mjx-c",{class:"mjx-c1D45B TEX-I"})])])])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("mi",null,"y"),m("mo",null,"∈"),m("msubsup",null,[m("mrow",{"data-mjx-texclass":"ORD"},[m("mi",{mathvariant:"double-struck"},"Z")]),m("mi",null,"n"),m("mrow",{"data-mjx-texclass":"ORD"},[m("mo",null,"∗")])])])])]),s("，如果"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D43F TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D466 TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mi",{class:"mjx-i",space:"2"},[m("mjx-c",{class:"mjx-c1D45B TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c3D"})]),m("mjx-mn",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c31"})])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("mi",null,"L"),m("mo",{stretchy:"false"},"("),m("mi",null,"y"),m("mo",null,","),m("mi",null,"n"),m("mo",{stretchy:"false"},")"),m("mo",null,"="),m("mn",null,"1")])])]),s("，那么"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D466 TEX-I"})])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("mi",null,"y")])])]),s("和"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2212"})]),m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D466 TEX-I"})])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("mo",null,"−"),m("mi",null,"y")])])]),s("有一个属于"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D444 TEX-I"})]),m("mjx-msub",null,[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D445 TEX-I"})]),m("mjx-script",{style:{"vertical-align":"-0.15em"}},[m("mjx-mi",{class:"mjx-i",size:"s"},[m("mjx-c",{class:"mjx-c1D45B TEX-I"})])])])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("mi",null,"Q"),m("msub",null,[m("mi",null,"R"),m("mi",null,"n")])])])]),s("，有一个属于"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D444 TEX-I"})]),m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D441 TEX-I"})]),m("mjx-msub",null,[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D445 TEX-I"})]),m("mjx-script",{style:{"vertical-align":"-0.15em"}},[m("mjx-mi",{class:"mjx-i",size:"s"},[m("mjx-c",{class:"mjx-c1D45B TEX-I"})])])])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("mi",null,"Q"),m("mi",null,"N"),m("msub",null,[m("mi",null,"R"),m("mi",null,"n")])])])]),m("br"),s(" 举例："),m("br"),s(" 满足"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D43D TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D466 TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mn",{class:"mjx-n",space:"2"},[m("mjx-c",{class:"mjx-c32"}),m("mjx-c",{class:"mjx-c31"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c3D"})]),m("mjx-mn",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c31"})])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("mi",null,"J"),m("mo",{stretchy:"false"},"("),m("mi",null,"y"),m("mo",null,","),m("mn",null,"21"),m("mo",{stretchy:"false"},")"),m("mo",null,"="),m("mn",null,"1")])])]),s("的数有"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c7B"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-cB1"})]),m("mjx-mn",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c31"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mo",{class:"mjx-n",space:"2"},[m("mjx-c",{class:"mjx-cB1"})]),m("mjx-mn",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c34"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mo",{class:"mjx-n",space:"2"},[m("mjx-c",{class:"mjx-cB1"})]),m("mjx-mn",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c35"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c7D"})])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("mo",{fence:"false",stretchy:"false"},"{"),m("mo",null,"±"),m("mn",null,"1"),m("mo",null,","),m("mo",null,"±"),m("mn",null,"4"),m("mo",null,","),m("mo",null,"±"),m("mn",null,"5"),m("mo",{fence:"false",stretchy:"false"},"}")])])]),s("，其中"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c7B"})]),m("mjx-mn",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c31"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mn",{class:"mjx-n",space:"2"},[m("mjx-c",{class:"mjx-c34"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mo",{class:"mjx-n",space:"2"},[m("mjx-c",{class:"mjx-c2212"})]),m("mjx-mn",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c35"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-mn",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c31"}),m("mjx-c",{class:"mjx-c36"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c7D"})])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("mo",{fence:"false",stretchy:"false"},"{"),m("mn",null,"1"),m("mo",null,","),m("mn",null,"4"),m("mo",null,","),m("mo",null,"−"),m("mn",null,"5"),m("mo",{stretchy:"false"},"("),m("mn",null,"16"),m("mo",{stretchy:"false"},")"),m("mo",{fence:"false",stretchy:"false"},"}")])])]),s("属于"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D444 TEX-I"})]),m("mjx-msub",null,[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D445 TEX-I"})]),m("mjx-script",{style:{"vertical-align":"-0.15em"}},[m("mjx-TeXAtom",{size:"s",texclass:"ORD"},[m("mjx-mn",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c32"}),m("mjx-c",{class:"mjx-c31"})])])])])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("mi",null,"Q"),m("msub",null,[m("mi",null,"R"),m("mrow",{"data-mjx-texclass":"ORD"},[m("mn",null,"21")])])])])]),s(", "),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c7B"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2212"})]),m("mjx-mn",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c31"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-mn",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c32"}),m("mjx-c",{class:"mjx-c30"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mo",{class:"mjx-n",space:"2"},[m("mjx-c",{class:"mjx-c2212"})]),m("mjx-mn",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c34"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-mn",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c31"}),m("mjx-c",{class:"mjx-c37"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mn",{class:"mjx-n",space:"2"},[m("mjx-c",{class:"mjx-c35"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c7D"})])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("mo",{fence:"false",stretchy:"false"},"{"),m("mo",null,"−"),m("mn",null,"1"),m("mo",{stretchy:"false"},"("),m("mn",null,"20"),m("mo",{stretchy:"false"},")"),m("mo",null,","),m("mo",null,"−"),m("mn",null,"4"),m("mo",{stretchy:"false"},"("),m("mn",null,"17"),m("mo",{stretchy:"false"},")"),m("mo",null,","),m("mn",null,"5"),m("mo",{fence:"false",stretchy:"false"},"}")])])]),s("属于"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D444 TEX-I"})]),m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D441 TEX-I"})]),m("mjx-msub",null,[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D445 TEX-I"})]),m("mjx-script",{style:{"vertical-align":"-0.15em"}},[m("mjx-TeXAtom",{size:"s",texclass:"ORD"},[m("mjx-mn",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c32"}),m("mjx-c",{class:"mjx-c31"})])])])])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("mi",null,"Q"),m("mi",null,"N"),m("msub",null,[m("mi",null,"R"),m("mrow",{"data-mjx-texclass":"ORD"},[m("mn",null,"21")])])])])])],-1),m("h4",{id:"_9-3-3",tabindex:"-1"},[m("a",{class:"header-anchor",href:"#_9-3-3"},[m("span",null,"9.3.3")])],-1),m("p",null,[s("对于任意"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D466 TEX-I"})]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c2208"})]),m("mjx-mi",{class:"mjx-i",space:"4"},[m("mjx-c",{class:"mjx-c1D444 TEX-I"})]),m("mjx-msub",null,[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D445 TEX-I"})]),m("mjx-script",{style:{"vertical-align":"-0.15em"}},[m("mjx-mi",{class:"mjx-i",size:"s"},[m("mjx-c",{class:"mjx-c1D45B TEX-I"})])])])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("mi",null,"y"),m("mo",null,"∈"),m("mi",null,"Q"),m("msub",null,[m("mi",null,"R"),m("mi",null,"n")])])])]),s("，方程"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-msup",null,[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D465 TEX-I"})]),m("mjx-script",{style:{"vertical-align":"0.363em"}},[m("mjx-mn",{class:"mjx-n",size:"s"},[m("mjx-c",{class:"mjx-c32"})])])]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c2261"})]),m("mjx-mi",{class:"mjx-i",space:"4"},[m("mjx-c",{class:"mjx-c1D466 TEX-I"})]),m("mjx-mspace",{style:{width:"0.444em"}}),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-mi",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c6D"}),m("mjx-c",{class:"mjx-c6F"}),m("mjx-c",{class:"mjx-c64"})]),m("mjx-mspace",{style:{width:"0.333em"}}),m("mjx-mi",{class:"mjx-i",space:"2"},[m("mjx-c",{class:"mjx-c1D45B TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("msup",null,[m("mi",null,"x"),m("mn",null,"2")]),m("mo",null,"≡"),m("mi",null,"y"),m("mspace",{width:"0.444em"}),m("mo",{stretchy:"false"},"("),m("mi",null,"mod"),m("mspace",{width:"0.333em"}),m("mi",null,"n"),m("mo",{stretchy:"false"},")")])])]),s("有四个根"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-cB1"})]),m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D462 TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mo",{class:"mjx-n",space:"2"},[m("mjx-c",{class:"mjx-cB1"})]),m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D463 TEX-I"})])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("mo",null,"±"),m("mi",null,"u"),m("mo",null,","),m("mo",null,"±"),m("mi",null,"v")])])]),s("，这四个根满足以下组合")],-1),m("mjx-container",{class:"MathJax",jax:"CHTML",display:"true",style:{position:"relative"}},[m("mjx-math",{display:"true",style:{"margin-left":"0","margin-right":"0"},class:"MJX-TEX","aria-hidden":"true"},[m("mjx-mrow",null,[m("mjx-mo",{class:"mjx-s3"},[m("mjx-c",{class:"mjx-c7B TEX-S3"})]),m("mjx-mtable",{style:{"min-width":"4.812em"}},[m("mjx-table",null,[m("mjx-itable",null,[m("mjx-mtr",null,[m("mjx-mtd",{style:{"text-align":"left","padding-bottom":"0.05em"}},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D43F TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D462 TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mi",{class:"mjx-i",space:"2"},[m("mjx-c",{class:"mjx-c1D45D TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c3D"})]),m("mjx-mn",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c31"})]),m("mjx-tstrut")])]),m("mjx-mtr",null,[m("mjx-mtd",{style:{"text-align":"left","padding-top":"0.05em"}},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D43F TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D462 TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mi",{class:"mjx-i",space:"2"},[m("mjx-c",{class:"mjx-c1D45E TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c3D"})]),m("mjx-mn",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c31"})]),m("mjx-tstrut")])])])])]),m("mjx-mo",{class:"mjx-n",style:{"vertical-align":"0.25em"}})]),m("mjx-mrow",{space:"2"},[m("mjx-mo",{class:"mjx-s3"},[m("mjx-c",{class:"mjx-c7B TEX-S3"})]),m("mjx-mtable",{style:{"min-width":"6.368em"}},[m("mjx-table",null,[m("mjx-itable",null,[m("mjx-mtr",null,[m("mjx-mtd",{style:{"text-align":"left","padding-bottom":"0.05em"}},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D43F TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2212"})]),m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D462 TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mi",{class:"mjx-i",space:"2"},[m("mjx-c",{class:"mjx-c1D45D TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c3D"})]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c2212"})]),m("mjx-mn",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c31"})]),m("mjx-tstrut")])]),m("mjx-mtr",null,[m("mjx-mtd",{style:{"text-align":"left","padding-top":"0.05em"}},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D43F TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2212"})]),m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D462 TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mi",{class:"mjx-i",space:"2"},[m("mjx-c",{class:"mjx-c1D45E TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c3D"})]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c2212"})]),m("mjx-mn",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c31"})]),m("mjx-tstrut")])])])])]),m("mjx-mo",{class:"mjx-n",style:{"vertical-align":"0.25em"}})]),m("mjx-mrow",{space:"2"},[m("mjx-mo",{class:"mjx-s3"},[m("mjx-c",{class:"mjx-c7B TEX-S3"})]),m("mjx-mtable",{style:{"min-width":"5.503em"}},[m("mjx-table",null,[m("mjx-itable",null,[m("mjx-mtr",null,[m("mjx-mtd",{style:{"text-align":"left","padding-bottom":"0.05em"}},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D43F TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D463 TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mi",{class:"mjx-i",space:"2"},[m("mjx-c",{class:"mjx-c1D45D TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c3D"})]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c2212"})]),m("mjx-mn",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c31"})]),m("mjx-tstrut")])]),m("mjx-mtr",null,[m("mjx-mtd",{style:{"text-align":"left","padding-top":"0.05em"}},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D43F TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D463 TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mi",{class:"mjx-i",space:"2"},[m("mjx-c",{class:"mjx-c1D45E TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c3D"})]),m("mjx-mn",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c31"})]),m("mjx-tstrut")])])])])]),m("mjx-mo",{class:"mjx-n",style:{"vertical-align":"0.25em"}})]),m("mjx-mrow",{space:"2"},[m("mjx-mo",{class:"mjx-s3"},[m("mjx-c",{class:"mjx-c7B TEX-S3"})]),m("mjx-mtable",{style:{"min-width":"6.238em"}},[m("mjx-table",null,[m("mjx-itable",null,[m("mjx-mtr",null,[m("mjx-mtd",{style:{"text-align":"left","padding-bottom":"0.05em"}},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D43F TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2212"})]),m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D463 TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mi",{class:"mjx-i",space:"2"},[m("mjx-c",{class:"mjx-c1D45D TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c3D"})]),m("mjx-mn",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c31"})]),m("mjx-tstrut")])]),m("mjx-mtr",null,[m("mjx-mtd",{style:{"text-align":"left","padding-top":"0.05em"}},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D43F TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2212"})]),m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D463 TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mi",{class:"mjx-i",space:"2"},[m("mjx-c",{class:"mjx-c1D45E TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c3D"})]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c2212"})]),m("mjx-mn",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c31"})]),m("mjx-tstrut")])])])])]),m("mjx-mo",{class:"mjx-n",style:{"vertical-align":"0.25em"}})])]),m("mjx-assistive-mml",{unselectable:"on",display:"block"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML",display:"block"},[m("mrow",{"data-mjx-texclass":"INNER"},[m("mo",{"data-mjx-texclass":"OPEN"},"{"),m("mtable",{rowspacing:".1em",columnspacing:"1em",columnalign:"left left"},[m("mtr",null,[m("mtd",null,[m("mi",null,"L"),m("mo",{stretchy:"false"},"("),m("mi",null,"u"),m("mo",null,","),m("mi",null,"p"),m("mo",{stretchy:"false"},")"),m("mo",null,"="),m("mn",null,"1")])]),m("mtr",null,[m("mtd",null,[m("mi",null,"L"),m("mo",{stretchy:"false"},"("),m("mi",null,"u"),m("mo",null,","),m("mi",null,"q"),m("mo",{stretchy:"false"},")"),m("mo",null,"="),m("mn",null,"1")])])]),m("mo",{"data-mjx-texclass":"CLOSE",fence:"true",stretchy:"true",symmetric:"true"})]),m("mrow",{"data-mjx-texclass":"INNER"},[m("mo",{"data-mjx-texclass":"OPEN"},"{"),m("mtable",{rowspacing:".1em",columnspacing:"1em",columnalign:"left left"},[m("mtr",null,[m("mtd",null,[m("mi",null,"L"),m("mo",{stretchy:"false"},"("),m("mo",null,"−"),m("mi",null,"u"),m("mo",null,","),m("mi",null,"p"),m("mo",{stretchy:"false"},")"),m("mo",null,"="),m("mo",null,"−"),m("mn",null,"1")])]),m("mtr",null,[m("mtd",null,[m("mi",null,"L"),m("mo",{stretchy:"false"},"("),m("mo",null,"−"),m("mi",null,"u"),m("mo",null,","),m("mi",null,"q"),m("mo",{stretchy:"false"},")"),m("mo",null,"="),m("mo",null,"−"),m("mn",null,"1")])])]),m("mo",{"data-mjx-texclass":"CLOSE",fence:"true",stretchy:"true",symmetric:"true"})]),m("mrow",{"data-mjx-texclass":"INNER"},[m("mo",{"data-mjx-texclass":"OPEN"},"{"),m("mtable",{rowspacing:".1em",columnspacing:"1em",columnalign:"left left"},[m("mtr",null,[m("mtd",null,[m("mi",null,"L"),m("mo",{stretchy:"false"},"("),m("mi",null,"v"),m("mo",null,","),m("mi",null,"p"),m("mo",{stretchy:"false"},")"),m("mo",null,"="),m("mo",null,"−"),m("mn",null,"1")])]),m("mtr",null,[m("mtd",null,[m("mi",null,"L"),m("mo",{stretchy:"false"},"("),m("mi",null,"v"),m("mo",null,","),m("mi",null,"q"),m("mo",{stretchy:"false"},")"),m("mo",null,"="),m("mn",null,"1")])])]),m("mo",{"data-mjx-texclass":"CLOSE",fence:"true",stretchy:"true",symmetric:"true"})]),m("mrow",{"data-mjx-texclass":"INNER"},[m("mo",{"data-mjx-texclass":"OPEN"},"{"),m("mtable",{rowspacing:".1em",columnspacing:"1em",columnalign:"left left"},[m("mtr",null,[m("mtd",null,[m("mi",null,"L"),m("mo",{stretchy:"false"},"("),m("mo",null,"−"),m("mi",null,"v"),m("mo",null,","),m("mi",null,"p"),m("mo",{stretchy:"false"},")"),m("mo",null,"="),m("mn",null,"1")])]),m("mtr",null,[m("mtd",null,[m("mi",null,"L"),m("mo",{stretchy:"false"},"("),m("mo",null,"−"),m("mi",null,"v"),m("mo",null,","),m("mi",null,"q"),m("mo",{stretchy:"false"},")"),m("mo",null,"="),m("mo",null,"−"),m("mn",null,"1")])])]),m("mo",{"data-mjx-texclass":"CLOSE",fence:"true",stretchy:"true",symmetric:"true"})])])])],-1),m("p",null,[s("其中有且仅有一个解"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D462 TEX-I"})]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c2208"})]),m("mjx-mi",{class:"mjx-i",space:"4"},[m("mjx-c",{class:"mjx-c1D444 TEX-I"})]),m("mjx-msub",null,[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D445 TEX-I"})]),m("mjx-script",{style:{"vertical-align":"-0.15em"}},[m("mjx-mi",{class:"mjx-i",size:"s"},[m("mjx-c",{class:"mjx-c1D45B TEX-I"})])])])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("mi",null,"u"),m("mo",null,"∈"),m("mi",null,"Q"),m("msub",null,[m("mi",null,"R"),m("mi",null,"n")])])])]),s("，"),m("br"),s(" 举例："),m("br"),s(" 方程"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-msup",null,[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D465 TEX-I"})]),m("mjx-script",{style:{"vertical-align":"0.363em"}},[m("mjx-mn",{class:"mjx-n",size:"s"},[m("mjx-c",{class:"mjx-c32"})])])]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c2261"})]),m("mjx-mn",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c34"})]),m("mjx-mspace",{style:{width:"0.444em"}}),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-mi",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c6D"}),m("mjx-c",{class:"mjx-c6F"}),m("mjx-c",{class:"mjx-c64"})]),m("mjx-mspace",{style:{width:"0.333em"}}),m("mjx-mn",{class:"mjx-n",space:"2"},[m("mjx-c",{class:"mjx-c32"}),m("mjx-c",{class:"mjx-c31"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("msup",null,[m("mi",null,"x"),m("mn",null,"2")]),m("mo",null,"≡"),m("mn",null,"4"),m("mspace",{width:"0.444em"}),m("mo",{stretchy:"false"},"("),m("mi",null,"mod"),m("mspace",{width:"0.333em"}),m("mn",null,"21"),m("mo",{stretchy:"false"},")")])])]),s("有四个解"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-cB1"})]),m("mjx-mn",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c32"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-mn",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c32"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mn",{class:"mjx-n",space:"2"},[m("mjx-c",{class:"mjx-c31"}),m("mjx-c",{class:"mjx-c39"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mo",{class:"mjx-n",space:"2"},[m("mjx-c",{class:"mjx-cB1"})]),m("mjx-mn",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c35"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-mn",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c35"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mn",{class:"mjx-n",space:"2"},[m("mjx-c",{class:"mjx-c31"}),m("mjx-c",{class:"mjx-c36"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("mo",null,"±"),m("mn",null,"2"),m("mo",{stretchy:"false"},"("),m("mn",null,"2"),m("mo",null,","),m("mn",null,"19"),m("mo",{stretchy:"false"},")"),m("mo",null,","),m("mo",null,"±"),m("mn",null,"5"),m("mo",{stretchy:"false"},"("),m("mn",null,"5"),m("mo",null,","),m("mn",null,"16"),m("mo",{stretchy:"false"},")")])])]),s(",")],-1),m("mjx-container",{class:"MathJax",jax:"CHTML",display:"true",style:{position:"relative"}},[m("mjx-math",{display:"true",style:{"margin-left":"0","margin-right":"0"},class:"MJX-TEX","aria-hidden":"true"},[m("mjx-mrow",null,[m("mjx-mo",{class:"mjx-s3"},[m("mjx-c",{class:"mjx-c7B TEX-S3"})]),m("mjx-mtable",{style:{"min-width":"5.237em"}},[m("mjx-table",null,[m("mjx-itable",null,[m("mjx-mtr",null,[m("mjx-mtd",{style:{"text-align":"left","padding-bottom":"0.05em"}},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D43F TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-mn",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c31"}),m("mjx-c",{class:"mjx-c36"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mn",{class:"mjx-n",space:"2"},[m("mjx-c",{class:"mjx-c33"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c3D"})]),m("mjx-mn",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c31"})]),m("mjx-tstrut")])]),m("mjx-mtr",null,[m("mjx-mtd",{style:{"text-align":"left","padding-top":"0.05em"}},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D43F TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-mn",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c31"}),m("mjx-c",{class:"mjx-c36"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mn",{class:"mjx-n",space:"2"},[m("mjx-c",{class:"mjx-c37"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c3D"})]),m("mjx-mn",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c31"})]),m("mjx-tstrut")])])])])]),m("mjx-mo",{class:"mjx-n",style:{"vertical-align":"0.25em"}})]),m("mjx-mrow",{space:"2"},[m("mjx-mo",{class:"mjx-s3"},[m("mjx-c",{class:"mjx-c7B TEX-S3"})]),m("mjx-mtable",{style:{"min-width":"5.515em"}},[m("mjx-table",null,[m("mjx-itable",null,[m("mjx-mtr",null,[m("mjx-mtd",{style:{"text-align":"left","padding-bottom":"0.05em"}},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D43F TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-mn",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c35"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mn",{class:"mjx-n",space:"2"},[m("mjx-c",{class:"mjx-c33"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c3D"})]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c2212"})]),m("mjx-mn",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c31"})]),m("mjx-tstrut")])]),m("mjx-mtr",null,[m("mjx-mtd",{style:{"text-align":"left","padding-top":"0.05em"}},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D43F TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-mn",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c35"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mn",{class:"mjx-n",space:"2"},[m("mjx-c",{class:"mjx-c37"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c3D"})]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c2212"})]),m("mjx-mn",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c31"})]),m("mjx-tstrut")])])])])]),m("mjx-mo",{class:"mjx-n",style:{"vertical-align":"0.25em"}})]),m("mjx-mrow",{space:"2"},[m("mjx-mo",{class:"mjx-s3"},[m("mjx-c",{class:"mjx-c7B TEX-S3"})]),m("mjx-mtable",{style:{"min-width":"5.515em"}},[m("mjx-table",null,[m("mjx-itable",null,[m("mjx-mtr",null,[m("mjx-mtd",{style:{"text-align":"left","padding-bottom":"0.05em"}},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D43F TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-mn",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c32"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mn",{class:"mjx-n",space:"2"},[m("mjx-c",{class:"mjx-c33"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c3D"})]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c2212"})]),m("mjx-mn",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c31"})]),m("mjx-tstrut")])]),m("mjx-mtr",null,[m("mjx-mtd",{style:{"text-align":"left","padding-top":"0.05em"}},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D43F TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-mn",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c32"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mn",{class:"mjx-n",space:"2"},[m("mjx-c",{class:"mjx-c37"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c3D"})]),m("mjx-mn",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c31"})]),m("mjx-tstrut")])])])])]),m("mjx-mo",{class:"mjx-n",style:{"vertical-align":"0.25em"}})]),m("mjx-mrow",{space:"2"},[m("mjx-mo",{class:"mjx-s3"},[m("mjx-c",{class:"mjx-c7B TEX-S3"})]),m("mjx-mtable",{style:{"min-width":"6.015em"}},[m("mjx-table",null,[m("mjx-itable",null,[m("mjx-mtr",null,[m("mjx-mtd",{style:{"text-align":"left","padding-bottom":"0.05em"}},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D43F TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-mn",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c31"}),m("mjx-c",{class:"mjx-c39"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mn",{class:"mjx-n",space:"2"},[m("mjx-c",{class:"mjx-c33"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c3D"})]),m("mjx-mn",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c31"})]),m("mjx-tstrut")])]),m("mjx-mtr",null,[m("mjx-mtd",{style:{"text-align":"left","padding-top":"0.05em"}},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D43F TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-mn",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c31"}),m("mjx-c",{class:"mjx-c39"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mn",{class:"mjx-n",space:"2"},[m("mjx-c",{class:"mjx-c37"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c3D"})]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c2212"})]),m("mjx-mn",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c31"})]),m("mjx-tstrut")])])])])]),m("mjx-mo",{class:"mjx-n",style:{"vertical-align":"0.25em"}})])]),m("mjx-assistive-mml",{unselectable:"on",display:"block"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML",display:"block"},[m("mrow",{"data-mjx-texclass":"INNER"},[m("mo",{"data-mjx-texclass":"OPEN"},"{"),m("mtable",{rowspacing:".1em",columnspacing:"1em",columnalign:"left left"},[m("mtr",null,[m("mtd",null,[m("mi",null,"L"),m("mo",{stretchy:"false"},"("),m("mn",null,"16"),m("mo",null,","),m("mn",null,"3"),m("mo",{stretchy:"false"},")"),m("mo",null,"="),m("mn",null,"1")])]),m("mtr",null,[m("mtd",null,[m("mi",null,"L"),m("mo",{stretchy:"false"},"("),m("mn",null,"16"),m("mo",null,","),m("mn",null,"7"),m("mo",{stretchy:"false"},")"),m("mo",null,"="),m("mn",null,"1")])])]),m("mo",{"data-mjx-texclass":"CLOSE",fence:"true",stretchy:"true",symmetric:"true"})]),m("mrow",{"data-mjx-texclass":"INNER"},[m("mo",{"data-mjx-texclass":"OPEN"},"{"),m("mtable",{rowspacing:".1em",columnspacing:"1em",columnalign:"left left"},[m("mtr",null,[m("mtd",null,[m("mi",null,"L"),m("mo",{stretchy:"false"},"("),m("mn",null,"5"),m("mo",null,","),m("mn",null,"3"),m("mo",{stretchy:"false"},")"),m("mo",null,"="),m("mo",null,"−"),m("mn",null,"1")])]),m("mtr",null,[m("mtd",null,[m("mi",null,"L"),m("mo",{stretchy:"false"},"("),m("mn",null,"5"),m("mo",null,","),m("mn",null,"7"),m("mo",{stretchy:"false"},")"),m("mo",null,"="),m("mo",null,"−"),m("mn",null,"1")])])]),m("mo",{"data-mjx-texclass":"CLOSE",fence:"true",stretchy:"true",symmetric:"true"})]),m("mrow",{"data-mjx-texclass":"INNER"},[m("mo",{"data-mjx-texclass":"OPEN"},"{"),m("mtable",{rowspacing:".1em",columnspacing:"1em",columnalign:"left left"},[m("mtr",null,[m("mtd",null,[m("mi",null,"L"),m("mo",{stretchy:"false"},"("),m("mn",null,"2"),m("mo",null,","),m("mn",null,"3"),m("mo",{stretchy:"false"},")"),m("mo",null,"="),m("mo",null,"−"),m("mn",null,"1")])]),m("mtr",null,[m("mtd",null,[m("mi",null,"L"),m("mo",{stretchy:"false"},"("),m("mn",null,"2"),m("mo",null,","),m("mn",null,"7"),m("mo",{stretchy:"false"},")"),m("mo",null,"="),m("mn",null,"1")])])]),m("mo",{"data-mjx-texclass":"CLOSE",fence:"true",stretchy:"true",symmetric:"true"})]),m("mrow",{"data-mjx-texclass":"INNER"},[m("mo",{"data-mjx-texclass":"OPEN"},"{"),m("mtable",{rowspacing:".1em",columnspacing:"1em",columnalign:"left left"},[m("mtr",null,[m("mtd",null,[m("mi",null,"L"),m("mo",{stretchy:"false"},"("),m("mn",null,"19"),m("mo",null,","),m("mn",null,"3"),m("mo",{stretchy:"false"},")"),m("mo",null,"="),m("mn",null,"1")])]),m("mtr",null,[m("mtd",null,[m("mi",null,"L"),m("mo",{stretchy:"false"},"("),m("mn",null,"19"),m("mo",null,","),m("mn",null,"7"),m("mo",{stretchy:"false"},")"),m("mo",null,"="),m("mo",null,"−"),m("mn",null,"1")])])]),m("mo",{"data-mjx-texclass":"CLOSE",fence:"true",stretchy:"true",symmetric:"true"})])])])],-1),m("h4",{id:"_9-3-4",tabindex:"-1"},[m("a",{class:"header-anchor",href:"#_9-3-4"},[m("span",null,"9.3.4")])],-1),m("p",null,[s("函数"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D453 TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D465 TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c3D"})]),m("mjx-msup",{space:"4"},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D465 TEX-I"})]),m("mjx-script",{style:{"vertical-align":"0.363em"}},[m("mjx-mn",{class:"mjx-n",size:"s"},[m("mjx-c",{class:"mjx-c32"})])])]),m("mjx-mspace",{style:{width:"0.444em"}}),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-mi",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c6D"}),m("mjx-c",{class:"mjx-c6F"}),m("mjx-c",{class:"mjx-c64"})]),m("mjx-mspace",{style:{width:"0.333em"}}),m("mjx-mi",{class:"mjx-i",space:"2"},[m("mjx-c",{class:"mjx-c1D45B TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("mi",null,"f"),m("mo",{stretchy:"false"},"("),m("mi",null,"x"),m("mo",{stretchy:"false"},")"),m("mo",null,"="),m("msup",null,[m("mi",null,"x"),m("mn",null,"2")]),m("mspace",{width:"0.444em"}),m("mo",{stretchy:"false"},"("),m("mi",null,"mod"),m("mspace",{width:"0.333em"}),m("mi",null,"n"),m("mo",{stretchy:"false"},")")])])]),s("是集合"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D444 TEX-I"})]),m("mjx-msub",null,[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D445 TEX-I"})]),m("mjx-script",{style:{"vertical-align":"-0.15em"}},[m("mjx-mi",{class:"mjx-i",size:"s"},[m("mjx-c",{class:"mjx-c1D45B TEX-I"})])])])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("mi",null,"Q"),m("msub",null,[m("mi",null,"R"),m("mi",null,"n")])])])]),s("的一个置换，也就是说，对于任意"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D465 TEX-I"})]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c2208"})]),m("mjx-mi",{class:"mjx-i",space:"4"},[m("mjx-c",{class:"mjx-c1D444 TEX-I"})]),m("mjx-msub",null,[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D445 TEX-I"})]),m("mjx-script",{style:{"vertical-align":"-0.15em"}},[m("mjx-mi",{class:"mjx-i",size:"s"},[m("mjx-c",{class:"mjx-c1D45B TEX-I"})])])]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mi",{class:"mjx-i",space:"2"},[m("mjx-c",{class:"mjx-c1D453 TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D465 TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c2208"})]),m("mjx-mi",{class:"mjx-i",space:"4"},[m("mjx-c",{class:"mjx-c1D444 TEX-I"})]),m("mjx-msub",null,[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D445 TEX-I"})]),m("mjx-script",{style:{"vertical-align":"-0.15em"}},[m("mjx-mi",{class:"mjx-i",size:"s"},[m("mjx-c",{class:"mjx-c1D45B TEX-I"})])])])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("mi",null,"x"),m("mo",null,"∈"),m("mi",null,"Q"),m("msub",null,[m("mi",null,"R"),m("mi",null,"n")]),m("mo",null,","),m("mi",null,"f"),m("mo",{stretchy:"false"},"("),m("mi",null,"x"),m("mo",{stretchy:"false"},")"),m("mo",null,"∈"),m("mi",null,"Q"),m("msub",null,[m("mi",null,"R"),m("mi",null,"n")])])])]),s("，且"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D453 TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D465 TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("mi",null,"f"),m("mo",{stretchy:"false"},"("),m("mi",null,"x"),m("mo",{stretchy:"false"},")")])])]),s("和"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D465 TEX-I"})])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("mi",null,"x")])])]),s("一一对应"),m("br"),s(" 举例57=3x19：")],-1),m("table",null,[m("thead",null,[m("tr",null,[m("th",{style:{"text-align":"left"}},[m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D465 TEX-I"})]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c2208"})]),m("mjx-mi",{class:"mjx-i",space:"4"},[m("mjx-c",{class:"mjx-c1D444 TEX-I"})]),m("mjx-msub",null,[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D445 TEX-I"})]),m("mjx-script",{style:{"vertical-align":"-0.15em"}},[m("mjx-TeXAtom",{size:"s",texclass:"ORD"},[m("mjx-mn",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c35"}),m("mjx-c",{class:"mjx-c37"})])])])])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("mi",null,"x"),m("mo",null,"∈"),m("mi",null,"Q"),m("msub",null,[m("mi",null,"R"),m("mrow",{"data-mjx-texclass":"ORD"},[m("mn",null,"57")])])])])])]),m("th",{style:{"text-align":"left"}},"1"),m("th",{style:{"text-align":"left"}},"4"),m("th",{style:{"text-align":"left"}},"7"),m("th",{style:{"text-align":"left"}},"16"),m("th",{style:{"text-align":"left"}},"25"),m("th",{style:{"text-align":"left"}},"28"),m("th",{style:{"text-align":"left"}},"43"),m("th",{style:{"text-align":"left"}},"49"),m("th",{style:{"text-align":"left"}},"55")])]),m("tbody",null,[m("tr",null,[m("td",{style:{"text-align":"left"}},[m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-msup",null,[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D465 TEX-I"})]),m("mjx-script",{style:{"vertical-align":"0.363em"}},[m("mjx-mn",{class:"mjx-n",size:"s"},[m("mjx-c",{class:"mjx-c32"})])])]),m("mjx-mspace",{style:{width:"0.667em"}}),m("mjx-mi",{class:"mjx-n",space:"2"},[m("mjx-c",{class:"mjx-c6D"}),m("mjx-c",{class:"mjx-c6F"}),m("mjx-c",{class:"mjx-c64"})]),m("mjx-mstyle",null,[m("mjx-mspace",{style:{width:"0.167em"}})]),m("mjx-mstyle",null,[m("mjx-mspace",{style:{width:"0.167em"}})]),m("mjx-mn",{class:"mjx-n",space:"2"},[m("mjx-c",{class:"mjx-c35"}),m("mjx-c",{class:"mjx-c37"})])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("msup",null,[m("mi",null,"x"),m("mn",null,"2")]),m("mspace",{width:"0.667em"}),m("mi",null,"mod"),m("mstyle",{scriptlevel:"0"},[m("mspace",{width:"0.167em"})]),m("mstyle",{scriptlevel:"0"},[m("mspace",{width:"0.167em"})]),m("mn",null,"57")])])])]),m("td",{style:{"text-align":"left"}},"1"),m("td",{style:{"text-align":"left"}},"16"),m("td",{style:{"text-align":"left"}},"49"),m("td",{style:{"text-align":"left"}},"28"),m("td",{style:{"text-align":"left"}},"55"),m("td",{style:{"text-align":"left"}},"43"),m("td",{style:{"text-align":"left"}},"25"),m("td",{style:{"text-align":"left"}},"7"),m("td",{style:{"text-align":"left"}},"4")])])],-1),m("h4",{id:"_9-3-5",tabindex:"-1"},[m("a",{class:"header-anchor",href:"#_9-3-5"},[m("span",null,"9.3.5")])],-1),m("p",null,[s("对于任意"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D466 TEX-I"})]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c2208"})]),m("mjx-mi",{class:"mjx-i",space:"4"},[m("mjx-c",{class:"mjx-c1D444 TEX-I"})]),m("mjx-msub",null,[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D445 TEX-I"})]),m("mjx-script",{style:{"vertical-align":"-0.15em"}},[m("mjx-mi",{class:"mjx-i",size:"s"},[m("mjx-c",{class:"mjx-c1D45B TEX-I"})])])])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("mi",null,"y"),m("mo",null,"∈"),m("mi",null,"Q"),m("msub",null,[m("mi",null,"R"),m("mi",null,"n")])])])]),s("，方程"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-msup",null,[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D465 TEX-I"})]),m("mjx-script",{style:{"vertical-align":"0.363em"}},[m("mjx-mn",{class:"mjx-n",size:"s"},[m("mjx-c",{class:"mjx-c32"})])])]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c2261"})]),m("mjx-mi",{class:"mjx-i",space:"4"},[m("mjx-c",{class:"mjx-c1D466 TEX-I"})]),m("mjx-mspace",{style:{width:"0.444em"}}),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-mi",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c6D"}),m("mjx-c",{class:"mjx-c6F"}),m("mjx-c",{class:"mjx-c64"})]),m("mjx-mspace",{style:{width:"0.333em"}}),m("mjx-mi",{class:"mjx-i",space:"2"},[m("mjx-c",{class:"mjx-c1D45B TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("msup",null,[m("mi",null,"x"),m("mn",null,"2")]),m("mo",null,"≡"),m("mi",null,"y"),m("mspace",{width:"0.444em"}),m("mo",{stretchy:"false"},"("),m("mi",null,"mod"),m("mspace",{width:"0.333em"}),m("mi",null,"n"),m("mo",{stretchy:"false"},")")])])]),s("有四个根"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-cB1"})]),m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D462 TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mo",{class:"mjx-n",space:"2"},[m("mjx-c",{class:"mjx-cB1"})]),m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D463 TEX-I"})])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("mo",null,"±"),m("mi",null,"u"),m("mo",null,","),m("mo",null,"±"),m("mi",null,"v")])])]),s("，其中一对解"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-cB1"})]),m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D462 TEX-I"})])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("mo",null,"±"),m("mi",null,"u")])])]),s(",也就是"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D462 TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mi",{class:"mjx-i",space:"2"},[m("mjx-c",{class:"mjx-c1D45B TEX-I"})]),m("mjx-mo",{class:"mjx-n",space:"3"},[m("mjx-c",{class:"mjx-c2212"})]),m("mjx-mi",{class:"mjx-i",space:"3"},[m("mjx-c",{class:"mjx-c1D462 TEX-I"})])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("mi",null,"u"),m("mo",null,","),m("mi",null,"n"),m("mo",null,"−"),m("mi",null,"u")])])]),s(", 一定有一个是奇数，另一个是偶数，一个是在"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c5B"})]),m("mjx-mn",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c31"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mo",{class:"mjx-n",space:"2"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D45B TEX-I"})]),m("mjx-mo",{class:"mjx-n",space:"3"},[m("mjx-c",{class:"mjx-c2212"})]),m("mjx-mn",{class:"mjx-n",space:"3"},[m("mjx-c",{class:"mjx-c31"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})]),m("mjx-TeXAtom",{texclass:"ORD"},[m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2F"})])]),m("mjx-mn",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c32"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c5D"})])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("mo",{stretchy:"false"},"["),m("mn",null,"1"),m("mo",null,","),m("mo",{stretchy:"false"},"("),m("mi",null,"n"),m("mo",null,"−"),m("mn",null,"1"),m("mo",{stretchy:"false"},")"),m("mrow",{"data-mjx-texclass":"ORD"},[m("mo",null,"/")]),m("mn",null,"2"),m("mo",{stretchy:"false"},"]")])])]),s("区间，另一个在"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c5B"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D45B TEX-I"})]),m("mjx-mo",{class:"mjx-n",space:"3"},[m("mjx-c",{class:"mjx-c2B"})]),m("mjx-mn",{class:"mjx-n",space:"3"},[m("mjx-c",{class:"mjx-c31"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})]),m("mjx-TeXAtom",{texclass:"ORD"},[m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2F"})])]),m("mjx-mn",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c32"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mi",{class:"mjx-i",space:"2"},[m("mjx-c",{class:"mjx-c1D45B TEX-I"})]),m("mjx-mo",{class:"mjx-n",space:"3"},[m("mjx-c",{class:"mjx-c2212"})]),m("mjx-mn",{class:"mjx-n",space:"3"},[m("mjx-c",{class:"mjx-c31"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c5D"})])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("mo",{stretchy:"false"},"["),m("mo",{stretchy:"false"},"("),m("mi",null,"n"),m("mo",null,"+"),m("mn",null,"1"),m("mo",{stretchy:"false"},")"),m("mrow",{"data-mjx-texclass":"ORD"},[m("mo",null,"/")]),m("mn",null,"2"),m("mo",null,","),m("mi",null,"n"),m("mo",null,"−"),m("mn",null,"1"),m("mo",{stretchy:"false"},"]")])])]),s("区间"),m("br"),s(" 比如"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-msup",null,[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D465 TEX-I"})]),m("mjx-script",{style:{"vertical-align":"0.363em"}},[m("mjx-mn",{class:"mjx-n",size:"s"},[m("mjx-c",{class:"mjx-c32"})])])]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c2261"})]),m("mjx-mn",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c31"}),m("mjx-c",{class:"mjx-c36"})]),m("mjx-mspace",{style:{width:"0.444em"}}),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-mi",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c6D"}),m("mjx-c",{class:"mjx-c6F"}),m("mjx-c",{class:"mjx-c64"})]),m("mjx-mspace",{style:{width:"0.333em"}}),m("mjx-mn",{class:"mjx-n",space:"2"},[m("mjx-c",{class:"mjx-c32"}),m("mjx-c",{class:"mjx-c31"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("msup",null,[m("mi",null,"x"),m("mn",null,"2")]),m("mo",null,"≡"),m("mn",null,"16"),m("mspace",{width:"0.444em"}),m("mo",{stretchy:"false"},"("),m("mi",null,"mod"),m("mspace",{width:"0.333em"}),m("mn",null,"21"),m("mo",{stretchy:"false"},")")])])]),s("有四个解"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-mn",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c34"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mn",{class:"mjx-n",space:"2"},[m("mjx-c",{class:"mjx-c31"}),m("mjx-c",{class:"mjx-c37"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mo",{class:"mjx-n",space:"2"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-mn",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c31"}),m("mjx-c",{class:"mjx-c30"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mn",{class:"mjx-n",space:"2"},[m("mjx-c",{class:"mjx-c31"}),m("mjx-c",{class:"mjx-c31"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("mo",{stretchy:"false"},"("),m("mn",null,"4"),m("mo",null,","),m("mn",null,"17"),m("mo",{stretchy:"false"},")"),m("mo",null,","),m("mo",{stretchy:"false"},"("),m("mn",null,"10"),m("mo",null,","),m("mn",null,"11"),m("mo",{stretchy:"false"},")")])])])],-1),m("h4",{id:"_9-3-6",tabindex:"-1"},[m("a",{class:"header-anchor",href:"#_9-3-6"},[m("span",null,"9.3.6")])],-1),m("p",null,[m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-msubsup",null,[m("mjx-TeXAtom",{texclass:"ORD"},[m("mjx-mi",{class:"mjx-ds mjx-b"},[m("mjx-c",{class:"mjx-c2124 TEX-A"})])]),m("mjx-script",{style:{"vertical-align":"-0.247em","margin-left":"0"}},[m("mjx-mo",{class:"mjx-n",size:"s"},[m("mjx-c",{class:"mjx-c2217"})]),m("mjx-spacer",{style:{"margin-top":"0.322em"}}),m("mjx-mi",{class:"mjx-i",size:"s"},[m("mjx-c",{class:"mjx-c1D45B TEX-I"})])])])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("msubsup",null,[m("mrow",{"data-mjx-texclass":"ORD"},[m("mi",{mathvariant:"double-struck"},"Z")]),m("mi",null,"n"),m("mo",null,"∗")])])])]),s("被分成不相交且数量相等的四份，分别为"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D444 TEX-I"})]),m("mjx-msub",null,[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D445 TEX-I"})]),m("mjx-script",{style:{"vertical-align":"-0.15em"}},[m("mjx-mi",{class:"mjx-i",size:"s"},[m("mjx-c",{class:"mjx-c1D45B TEX-I"})])])]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mo",{class:"mjx-n",space:"2"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2212"})]),m("mjx-mn",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c31"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})]),m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D444 TEX-I"})]),m("mjx-msub",null,[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D445 TEX-I"})]),m("mjx-script",{style:{"vertical-align":"-0.15em"}},[m("mjx-mi",{class:"mjx-i",size:"s"},[m("mjx-c",{class:"mjx-c1D45B TEX-I"})])])]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mi",{class:"mjx-i",space:"2"},[m("mjx-c",{class:"mjx-c1D709 TEX-I"})]),m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D444 TEX-I"})]),m("mjx-msub",null,[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D445 TEX-I"})]),m("mjx-script",{style:{"vertical-align":"-0.15em"}},[m("mjx-mi",{class:"mjx-i",size:"s"},[m("mjx-c",{class:"mjx-c1D45B TEX-I"})])])]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mo",{class:"mjx-n",space:"2"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2212"})]),m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D709 TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})]),m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D444 TEX-I"})]),m("mjx-msub",null,[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D445 TEX-I"})]),m("mjx-script",{style:{"vertical-align":"-0.15em"}},[m("mjx-mi",{class:"mjx-i",size:"s"},[m("mjx-c",{class:"mjx-c1D45B TEX-I"})])])])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("mi",null,"Q"),m("msub",null,[m("mi",null,"R"),m("mi",null,"n")]),m("mo",null,","),m("mo",{stretchy:"false"},"("),m("mo",null,"−"),m("mn",null,"1"),m("mo",{stretchy:"false"},")"),m("mi",null,"Q"),m("msub",null,[m("mi",null,"R"),m("mi",null,"n")]),m("mo",null,","),m("mi",null,"ξ"),m("mi",null,"Q"),m("msub",null,[m("mi",null,"R"),m("mi",null,"n")]),m("mo",null,","),m("mo",{stretchy:"false"},"("),m("mo",null,"−"),m("mi",null,"ξ"),m("mo",{stretchy:"false"},")"),m("mi",null,"Q"),m("msub",null,[m("mi",null,"R"),m("mi",null,"n")])])])]),s("，其中"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-msup",null,[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D709 TEX-I"})]),m("mjx-script",{style:{"vertical-align":"0.363em"}},[m("mjx-mn",{class:"mjx-n",size:"s"},[m("mjx-c",{class:"mjx-c32"})])])]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c2261"})]),m("mjx-mn",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c31"})]),m("mjx-mspace",{style:{width:"0.444em"}}),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-mi",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c6D"}),m("mjx-c",{class:"mjx-c6F"}),m("mjx-c",{class:"mjx-c64"})]),m("mjx-mspace",{style:{width:"0.333em"}}),m("mjx-mi",{class:"mjx-i",space:"2"},[m("mjx-c",{class:"mjx-c1D45B TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("msup",null,[m("mi",null,"ξ"),m("mn",null,"2")]),m("mo",null,"≡"),m("mn",null,"1"),m("mspace",{width:"0.444em"}),m("mo",{stretchy:"false"},"("),m("mi",null,"mod"),m("mspace",{width:"0.333em"}),m("mi",null,"n"),m("mo",{stretchy:"false"},")")])])]),s(", 而且"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D43F TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D709 TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mi",{class:"mjx-i",space:"2"},[m("mjx-c",{class:"mjx-c1D45B TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c3D"})]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c2212"})]),m("mjx-mn",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c31"})])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("mi",null,"L"),m("mo",{stretchy:"false"},"("),m("mi",null,"ξ"),m("mo",null,","),m("mi",null,"n"),m("mo",{stretchy:"false"},")"),m("mo",null,"="),m("mo",null,"−"),m("mn",null,"1")])])]),m("br"),s(" 举例："),m("br"),s(" 对于"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D45B TEX-I"})]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c3D"})]),m("mjx-mn",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c32"}),m("mjx-c",{class:"mjx-c31"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mi",{class:"mjx-i",space:"2"},[m("mjx-c",{class:"mjx-c1D709 TEX-I"})]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c3D"})]),m("mjx-mn",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c38"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-msubsup",{space:"2"},[m("mjx-TeXAtom",{texclass:"ORD"},[m("mjx-mi",{class:"mjx-ds mjx-b"},[m("mjx-c",{class:"mjx-c2124 TEX-A"})])]),m("mjx-script",{style:{"vertical-align":"-0.263em","margin-left":"0"}},[m("mjx-mo",{class:"mjx-n",size:"s"},[m("mjx-c",{class:"mjx-c2217"})]),m("mjx-spacer",{style:{"margin-top":"0.18em"}}),m("mjx-TeXAtom",{size:"s",texclass:"ORD"},[m("mjx-mn",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c32"}),m("mjx-c",{class:"mjx-c31"})])])])]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c3D"})]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c7B"})]),m("mjx-mn",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c31"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mn",{class:"mjx-n",space:"2"},[m("mjx-c",{class:"mjx-c32"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mn",{class:"mjx-n",space:"2"},[m("mjx-c",{class:"mjx-c34"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mn",{class:"mjx-n",space:"2"},[m("mjx-c",{class:"mjx-c35"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mn",{class:"mjx-n",space:"2"},[m("mjx-c",{class:"mjx-c38"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mn",{class:"mjx-n",space:"2"},[m("mjx-c",{class:"mjx-c31"}),m("mjx-c",{class:"mjx-c30"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mn",{class:"mjx-n",space:"2"},[m("mjx-c",{class:"mjx-c31"}),m("mjx-c",{class:"mjx-c31"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mn",{class:"mjx-n",space:"2"},[m("mjx-c",{class:"mjx-c31"}),m("mjx-c",{class:"mjx-c33"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mn",{class:"mjx-n",space:"2"},[m("mjx-c",{class:"mjx-c31"}),m("mjx-c",{class:"mjx-c36"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mn",{class:"mjx-n",space:"2"},[m("mjx-c",{class:"mjx-c31"}),m("mjx-c",{class:"mjx-c37"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mn",{class:"mjx-n",space:"2"},[m("mjx-c",{class:"mjx-c31"}),m("mjx-c",{class:"mjx-c39"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mn",{class:"mjx-n",space:"2"},[m("mjx-c",{class:"mjx-c32"}),m("mjx-c",{class:"mjx-c30"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c7D"})])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("mi",null,"n"),m("mo",null,"="),m("mn",null,"21"),m("mo",null,","),m("mi",null,"ξ"),m("mo",null,"="),m("mn",null,"8"),m("mo",null,","),m("msubsup",null,[m("mrow",{"data-mjx-texclass":"ORD"},[m("mi",{mathvariant:"double-struck"},"Z")]),m("mrow",{"data-mjx-texclass":"ORD"},[m("mn",null,"21")]),m("mo",null,"∗")]),m("mo",null,"="),m("mo",{fence:"false",stretchy:"false"},"{"),m("mn",null,"1"),m("mo",null,","),m("mn",null,"2"),m("mo",null,","),m("mn",null,"4"),m("mo",null,","),m("mn",null,"5"),m("mo",null,","),m("mn",null,"8"),m("mo",null,","),m("mn",null,"10"),m("mo",null,","),m("mn",null,"11"),m("mo",null,","),m("mn",null,"13"),m("mo",null,","),m("mn",null,"16"),m("mo",null,","),m("mn",null,"17"),m("mo",null,","),m("mn",null,"19"),m("mo",null,","),m("mn",null,"20"),m("mo",{fence:"false",stretchy:"false"},"}")])])]),s(",")],-1),m("mjx-container",{class:"MathJax",jax:"CHTML",display:"true",style:{position:"relative"}},[m("mjx-math",{display:"true",style:{"margin-left":"0","margin-right":"0"},class:"MJX-TEX","aria-hidden":"true"},[m("mjx-mtable",{style:{"min-width":"20.398em"}},[m("mjx-table",null,[m("mjx-itable",null,[m("mjx-mtr",null,[m("mjx-mtd",{style:{"text-align":"right","padding-right":"0","padding-bottom":"0.15em"}},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D444 TEX-I"})]),m("mjx-msub",null,[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D445 TEX-I"})]),m("mjx-script",{style:{"vertical-align":"-0.15em"}},[m("mjx-TeXAtom",{size:"s",texclass:"ORD"},[m("mjx-mn",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c32"}),m("mjx-c",{class:"mjx-c31"})])])])]),m("mjx-tstrut")]),m("mjx-mtd",{style:{"text-align":"left","padding-left":"0","padding-bottom":"0.15em"}},[m("mjx-mi",{class:"mjx-n"}),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c3D"})]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c7B"})]),m("mjx-mn",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c31"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mn",{class:"mjx-n",space:"2"},[m("mjx-c",{class:"mjx-c34"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mn",{class:"mjx-n",space:"2"},[m("mjx-c",{class:"mjx-c31"}),m("mjx-c",{class:"mjx-c36"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c7D"})]),m("mjx-tstrut")])]),m("mjx-mtr",null,[m("mjx-mtd",{style:{"text-align":"right","padding-right":"0","padding-top":"0.15em","padding-bottom":"0.15em"}},[m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2212"})]),m("mjx-mn",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c31"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})]),m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D444 TEX-I"})]),m("mjx-msub",null,[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D445 TEX-I"})]),m("mjx-script",{style:{"vertical-align":"-0.15em"}},[m("mjx-TeXAtom",{size:"s",texclass:"ORD"},[m("mjx-mn",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c32"}),m("mjx-c",{class:"mjx-c31"})])])])]),m("mjx-tstrut")]),m("mjx-mtd",{style:{"text-align":"left","padding-left":"0","padding-top":"0.15em","padding-bottom":"0.15em"}},[m("mjx-mi",{class:"mjx-n"}),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c3D"})]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c7B"})]),m("mjx-mn",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c32"}),m("mjx-c",{class:"mjx-c30"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mn",{class:"mjx-n",space:"2"},[m("mjx-c",{class:"mjx-c31"}),m("mjx-c",{class:"mjx-c37"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mn",{class:"mjx-n",space:"2"},[m("mjx-c",{class:"mjx-c35"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c7D"})]),m("mjx-tstrut")])]),m("mjx-mtr",null,[m("mjx-mtd",{style:{"text-align":"right","padding-right":"0","padding-top":"0.15em","padding-bottom":"0.15em"}},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D709 TEX-I"})]),m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D444 TEX-I"})]),m("mjx-msub",null,[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D445 TEX-I"})]),m("mjx-script",{style:{"vertical-align":"-0.15em"}},[m("mjx-TeXAtom",{size:"s",texclass:"ORD"},[m("mjx-mn",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c32"}),m("mjx-c",{class:"mjx-c31"})])])])]),m("mjx-tstrut")]),m("mjx-mtd",{style:{"text-align":"left","padding-left":"0","padding-top":"0.15em","padding-bottom":"0.15em"}},[m("mjx-mi",{class:"mjx-n"}),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c3D"})]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c7B"})]),m("mjx-mn",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c38"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mn",{class:"mjx-n",space:"2"},[m("mjx-c",{class:"mjx-c33"}),m("mjx-c",{class:"mjx-c32"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mn",{class:"mjx-n",space:"2"},[m("mjx-c",{class:"mjx-c31"}),m("mjx-c",{class:"mjx-c32"}),m("mjx-c",{class:"mjx-c38"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c7D"})]),m("mjx-mspace",{style:{width:"1em"}}),m("mjx-mi",{class:"mjx-n",space:"2"},[m("mjx-c",{class:"mjx-c6D"}),m("mjx-c",{class:"mjx-c6F"}),m("mjx-c",{class:"mjx-c64"})]),m("mjx-mstyle",null,[m("mjx-mspace",{style:{width:"0.167em"}})]),m("mjx-mstyle",null,[m("mjx-mspace",{style:{width:"0.167em"}})]),m("mjx-mn",{class:"mjx-n",space:"2"},[m("mjx-c",{class:"mjx-c32"}),m("mjx-c",{class:"mjx-c31"})]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c3D"})]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c7B"})]),m("mjx-mn",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c38"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mn",{class:"mjx-n",space:"2"},[m("mjx-c",{class:"mjx-c31"}),m("mjx-c",{class:"mjx-c31"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mn",{class:"mjx-n",space:"2"},[m("mjx-c",{class:"mjx-c32"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c7D"})]),m("mjx-tstrut")])]),m("mjx-mtr",null,[m("mjx-mtd",{style:{"text-align":"right","padding-right":"0","padding-top":"0.15em"}},[m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2212"})]),m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D709 TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})]),m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D444 TEX-I"})]),m("mjx-msub",null,[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D445 TEX-I"})]),m("mjx-script",{style:{"vertical-align":"-0.15em"}},[m("mjx-TeXAtom",{size:"s",texclass:"ORD"},[m("mjx-mn",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c32"}),m("mjx-c",{class:"mjx-c31"})])])])]),m("mjx-tstrut")]),m("mjx-mtd",{style:{"text-align":"left","padding-left":"0","padding-top":"0.15em"}},[m("mjx-mi",{class:"mjx-n"}),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c3D"})]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c7B"})]),m("mjx-mn",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c31"}),m("mjx-c",{class:"mjx-c33"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mn",{class:"mjx-n",space:"2"},[m("mjx-c",{class:"mjx-c31"}),m("mjx-c",{class:"mjx-c30"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mn",{class:"mjx-n",space:"2"},[m("mjx-c",{class:"mjx-c31"}),m("mjx-c",{class:"mjx-c39"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c7D"})]),m("mjx-tstrut")])])])])])]),m("mjx-assistive-mml",{unselectable:"on",display:"block"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML",display:"block"},[m("mtable",{displaystyle:"true",columnalign:"right left",columnspacing:"0em",rowspacing:"3pt"},[m("mtr",null,[m("mtd",null,[m("mi",null,"Q"),m("msub",null,[m("mi",null,"R"),m("mrow",{"data-mjx-texclass":"ORD"},[m("mn",null,"21")])])]),m("mtd",null,[m("mi"),m("mo",null,"="),m("mo",{fence:"false",stretchy:"false"},"{"),m("mn",null,"1"),m("mo",null,","),m("mn",null,"4"),m("mo",null,","),m("mn",null,"16"),m("mo",{fence:"false",stretchy:"false"},"}")])]),m("mtr",null,[m("mtd",null,[m("mo",{stretchy:"false"},"("),m("mo",null,"−"),m("mn",null,"1"),m("mo",{stretchy:"false"},")"),m("mi",null,"Q"),m("msub",null,[m("mi",null,"R"),m("mrow",{"data-mjx-texclass":"ORD"},[m("mn",null,"21")])])]),m("mtd",null,[m("mi"),m("mo",null,"="),m("mo",{fence:"false",stretchy:"false"},"{"),m("mn",null,"20"),m("mo",null,","),m("mn",null,"17"),m("mo",null,","),m("mn",null,"5"),m("mo",{fence:"false",stretchy:"false"},"}")])]),m("mtr",null,[m("mtd",null,[m("mi",null,"ξ"),m("mi",null,"Q"),m("msub",null,[m("mi",null,"R"),m("mrow",{"data-mjx-texclass":"ORD"},[m("mn",null,"21")])])]),m("mtd",null,[m("mi"),m("mo",null,"="),m("mo",{fence:"false",stretchy:"false"},"{"),m("mn",null,"8"),m("mo",null,","),m("mn",null,"32"),m("mo",null,","),m("mn",null,"128"),m("mo",{fence:"false",stretchy:"false"},"}"),m("mspace",{width:"1em"}),m("mi",null,"mod"),m("mstyle",{scriptlevel:"0"},[m("mspace",{width:"0.167em"})]),m("mstyle",{scriptlevel:"0"},[m("mspace",{width:"0.167em"})]),m("mn",null,"21"),m("mo",null,"="),m("mo",{fence:"false",stretchy:"false"},"{"),m("mn",null,"8"),m("mo",null,","),m("mn",null,"11"),m("mo",null,","),m("mn",null,"2"),m("mo",{fence:"false",stretchy:"false"},"}")])]),m("mtr",null,[m("mtd",null,[m("mo",{stretchy:"false"},"("),m("mo",null,"−"),m("mi",null,"ξ"),m("mo",{stretchy:"false"},")"),m("mi",null,"Q"),m("msub",null,[m("mi",null,"R"),m("mrow",{"data-mjx-texclass":"ORD"},[m("mn",null,"21")])])]),m("mtd",null,[m("mi"),m("mo",null,"="),m("mo",{fence:"false",stretchy:"false"},"{"),m("mn",null,"13"),m("mo",null,","),m("mn",null,"10"),m("mo",null,","),m("mn",null,"19"),m("mo",{fence:"false",stretchy:"false"},"}")])])])])])],-1),m("h4",{id:"_9-3-7",tabindex:"-1"},[m("a",{class:"header-anchor",href:"#_9-3-7"},[m("span",null,"9.3.7")])],-1),m("p",null,[s("如果已知Blum整数"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D45B TEX-I"})])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("mi",null,"n")])])]),s("，方程"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-msup",null,[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D465 TEX-I"})]),m("mjx-script",{style:{"vertical-align":"0.363em"}},[m("mjx-mn",{class:"mjx-n",size:"s"},[m("mjx-c",{class:"mjx-c32"})])])]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c2261"})]),m("mjx-mi",{class:"mjx-i",space:"4"},[m("mjx-c",{class:"mjx-c1D44E TEX-I"})]),m("mjx-mspace",{style:{width:"0.444em"}}),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-mi",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c6D"}),m("mjx-c",{class:"mjx-c6F"}),m("mjx-c",{class:"mjx-c64"})]),m("mjx-mspace",{style:{width:"0.333em"}}),m("mjx-mi",{class:"mjx-i",space:"2"},[m("mjx-c",{class:"mjx-c1D45B TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("msup",null,[m("mi",null,"x"),m("mn",null,"2")]),m("mo",null,"≡"),m("mi",null,"a"),m("mspace",{width:"0.444em"}),m("mo",{stretchy:"false"},"("),m("mi",null,"mod"),m("mspace",{width:"0.333em"}),m("mi",null,"n"),m("mo",{stretchy:"false"},")")])])]),s("的四个解"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-cB1"})]),m("mjx-msub",null,[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D465 TEX-I"})]),m("mjx-script",{style:{"vertical-align":"-0.15em"}},[m("mjx-mn",{class:"mjx-n",size:"s"},[m("mjx-c",{class:"mjx-c31"})])])]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mo",{class:"mjx-n",space:"2"},[m("mjx-c",{class:"mjx-cB1"})]),m("mjx-msub",null,[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D465 TEX-I"})]),m("mjx-script",{style:{"vertical-align":"-0.15em"}},[m("mjx-mn",{class:"mjx-n",size:"s"},[m("mjx-c",{class:"mjx-c32"})])])])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("mo",null,"±"),m("msub",null,[m("mi",null,"x"),m("mn",null,"1")]),m("mo",null,","),m("mo",null,"±"),m("msub",null,[m("mi",null,"x"),m("mn",null,"2")])])])]),s(", 那么可以推导出"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D45B TEX-I"})])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("mi",null,"n")])])]),s("的两个质数因子"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c67"}),m("mjx-c",{class:"mjx-c63"}),m("mjx-c",{class:"mjx-c64"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-msub",null,[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D465 TEX-I"})]),m("mjx-script",{style:{"vertical-align":"-0.15em"}},[m("mjx-mn",{class:"mjx-n",size:"s"},[m("mjx-c",{class:"mjx-c31"})])])]),m("mjx-mo",{class:"mjx-n",space:"3"},[m("mjx-c",{class:"mjx-c2B"})]),m("mjx-msub",{space:"3"},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D465 TEX-I"})]),m("mjx-script",{style:{"vertical-align":"-0.15em"}},[m("mjx-mn",{class:"mjx-n",size:"s"},[m("mjx-c",{class:"mjx-c32"})])])]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mi",{class:"mjx-i",space:"2"},[m("mjx-c",{class:"mjx-c1D45B TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mo",{class:"mjx-n",space:"2"},[m("mjx-c",{class:"mjx-c67"}),m("mjx-c",{class:"mjx-c63"}),m("mjx-c",{class:"mjx-c64"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-msub",null,[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D465 TEX-I"})]),m("mjx-script",{style:{"vertical-align":"-0.15em"}},[m("mjx-mn",{class:"mjx-n",size:"s"},[m("mjx-c",{class:"mjx-c31"})])])]),m("mjx-mo",{class:"mjx-n",space:"3"},[m("mjx-c",{class:"mjx-c2212"})]),m("mjx-msub",{space:"3"},[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D465 TEX-I"})]),m("mjx-script",{style:{"vertical-align":"-0.15em"}},[m("mjx-mn",{class:"mjx-n",size:"s"},[m("mjx-c",{class:"mjx-c32"})])])]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mi",{class:"mjx-i",space:"2"},[m("mjx-c",{class:"mjx-c1D45B TEX-I"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("mo",{"data-mjx-texclass":"OP",movablelimits:"true"},"gcd"),m("mo",{stretchy:"false"},"("),m("msub",null,[m("mi",null,"x"),m("mn",null,"1")]),m("mo",null,"+"),m("msub",null,[m("mi",null,"x"),m("mn",null,"2")]),m("mo",null,","),m("mi",null,"n"),m("mo",{stretchy:"false"},")"),m("mo",null,","),m("mo",{"data-mjx-texclass":"OP",movablelimits:"true"},"gcd"),m("mo",{stretchy:"false"},"("),m("msub",null,[m("mi",null,"x"),m("mn",null,"1")]),m("mo",null,"−"),m("msub",null,[m("mi",null,"x"),m("mn",null,"2")]),m("mo",null,","),m("mi",null,"n"),m("mo",{stretchy:"false"},")")])])])],-1),m("p",null,[s("举例："),m("br"),s(" 如果已知方程"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-msup",null,[m("mjx-mi",{class:"mjx-i"},[m("mjx-c",{class:"mjx-c1D465 TEX-I"})]),m("mjx-script",{style:{"vertical-align":"0.363em"}},[m("mjx-mn",{class:"mjx-n",size:"s"},[m("mjx-c",{class:"mjx-c32"})])])]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c2261"})]),m("mjx-mn",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c31"}),m("mjx-c",{class:"mjx-c36"})]),m("mjx-mspace",{style:{width:"0.444em"}}),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-mi",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c6D"}),m("mjx-c",{class:"mjx-c6F"}),m("mjx-c",{class:"mjx-c64"})]),m("mjx-mspace",{style:{width:"0.333em"}}),m("mjx-mn",{class:"mjx-n",space:"2"},[m("mjx-c",{class:"mjx-c32"}),m("mjx-c",{class:"mjx-c31"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("msup",null,[m("mi",null,"x"),m("mn",null,"2")]),m("mo",null,"≡"),m("mn",null,"16"),m("mspace",{width:"0.444em"}),m("mo",{stretchy:"false"},"("),m("mi",null,"mod"),m("mspace",{width:"0.333em"}),m("mn",null,"21"),m("mo",{stretchy:"false"},")")])])]),s("的四个解为"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-cB1"})]),m("mjx-mn",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c34"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mo",{class:"mjx-n",space:"2"},[m("mjx-c",{class:"mjx-cB1"})]),m("mjx-mn",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c31"}),m("mjx-c",{class:"mjx-c30"})])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("mo",null,"±"),m("mn",null,"4"),m("mo",null,","),m("mo",null,"±"),m("mn",null,"10")])])]),s("，那么"),m("mjx-container",{class:"MathJax",jax:"CHTML",style:{position:"relative"}},[m("mjx-math",{class:"MJX-TEX","aria-hidden":"true"},[m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c67"}),m("mjx-c",{class:"mjx-c63"}),m("mjx-c",{class:"mjx-c64"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-mn",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c31"}),m("mjx-c",{class:"mjx-c30"})]),m("mjx-mo",{class:"mjx-n",space:"3"},[m("mjx-c",{class:"mjx-c2B"})]),m("mjx-mn",{class:"mjx-n",space:"3"},[m("mjx-c",{class:"mjx-c34"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mn",{class:"mjx-n",space:"2"},[m("mjx-c",{class:"mjx-c32"}),m("mjx-c",{class:"mjx-c31"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c3D"})]),m("mjx-mn",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c37"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mo",{class:"mjx-n",space:"2"},[m("mjx-c",{class:"mjx-c67"}),m("mjx-c",{class:"mjx-c63"}),m("mjx-c",{class:"mjx-c64"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c28"})]),m("mjx-mn",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c31"}),m("mjx-c",{class:"mjx-c30"})]),m("mjx-mo",{class:"mjx-n",space:"3"},[m("mjx-c",{class:"mjx-c2212"})]),m("mjx-mn",{class:"mjx-n",space:"3"},[m("mjx-c",{class:"mjx-c34"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c2C"})]),m("mjx-mn",{class:"mjx-n",space:"2"},[m("mjx-c",{class:"mjx-c32"}),m("mjx-c",{class:"mjx-c31"})]),m("mjx-mo",{class:"mjx-n"},[m("mjx-c",{class:"mjx-c29"})]),m("mjx-mo",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c3D"})]),m("mjx-mn",{class:"mjx-n",space:"4"},[m("mjx-c",{class:"mjx-c33"})])]),m("mjx-assistive-mml",{unselectable:"on",display:"inline"},[m("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[m("mo",{"data-mjx-texclass":"OP",movablelimits:"true"},"gcd"),m("mo",{stretchy:"false"},"("),m("mn",null,"10"),m("mo",null,"+"),m("mn",null,"4"),m("mo",null,","),m("mn",null,"21"),m("mo",{stretchy:"false"},")"),m("mo",null,"="),m("mn",null,"7"),m("mo",null,","),m("mo",{"data-mjx-texclass":"OP",movablelimits:"true"},"gcd"),m("mo",{stretchy:"false"},"("),m("mn",null,"10"),m("mo",null,"−"),m("mn",null,"4"),m("mo",null,","),m("mn",null,"21"),m("mo",{stretchy:"false"},")"),m("mo",null,"="),m("mn",null,"3")])])]),s("，所以可以推导出21的两个质因子为3和7")],-1)]))}const o=x(n,[["render",t],["__file","number_theory_3.html.vue"]]),u=JSON.parse('{"path":"/note/math/number_theory_3.html","title":"数论（三）","lang":"zh-CN","frontmatter":{},"headers":[{"level":2,"title":"9. Blum整数Blum Integer","slug":"_9-blum整数blum-integer","link":"#_9-blum整数blum-integer","children":[{"level":3,"title":"9.1 定义","slug":"_9-1-定义","link":"#_9-1-定义","children":[]},{"level":3,"title":"9.2 历史","slug":"_9-2-历史","link":"#_9-2-历史","children":[]},{"level":3,"title":"9.3 特性","slug":"_9-3-特性","link":"#_9-3-特性","children":[]}]}],"git":{"contributors":[{"name":"thejinchao","username":"thejinchao","email":"thejinchao@gmail.com","commits":1,"url":"https://github.com/thejinchao"}]},"filePathRelative":"note/math/number_theory_3.md"}');export{o as comp,u as data};