import{_ as n}from"./plugin-vue_export-helper-DlAUqK2U.js";import{c as t,a as l,b as Q,e as a,o as m}from"./app-DlommLbD.js";const d={},r={class:"MathJax",jax:"SVG",style:{position:"relative"}},e={style:{"vertical-align":"-0.439ex"},xmlns:"http://www.w3.org/2000/svg",width:"3.185ex",height:"1.439ex",role:"img",focusable:"false",viewBox:"0 -442 1407.7 636","aria-hidden":"true"},o={class:"MathJax",jax:"SVG",style:{position:"relative"}},s={style:{"vertical-align":"-0.566ex"},xmlns:"http://www.w3.org/2000/svg",width:"30.082ex",height:"2.262ex",role:"img",focusable:"false",viewBox:"0 -750 13296.1 1000","aria-hidden":"true"},H={class:"MathJax",jax:"SVG",style:{position:"relative"}},g={style:{"vertical-align":"-0.439ex"},xmlns:"http://www.w3.org/2000/svg",width:"6.553ex",height:"1.758ex",role:"img",focusable:"false",viewBox:"0 -583 2896.6 777","aria-hidden":"true"},h={class:"MathJax",jax:"SVG",style:{position:"relative"}},p={style:{"vertical-align":"-0.025ex"},xmlns:"http://www.w3.org/2000/svg",width:"1.357ex",height:"1.025ex",role:"img",focusable:"false",viewBox:"0 -442 600 453","aria-hidden":"true"},i={class:"MathJax",jax:"SVG",style:{position:"relative"}},V={style:{"vertical-align":"-0.781ex"},xmlns:"http://www.w3.org/2000/svg",width:"24.437ex",height:"2.926ex",role:"img",focusable:"false",viewBox:"0 -948.1 10801 1293.1","aria-hidden":"true"},L={class:"MathJax",jax:"SVG",style:{position:"relative"}},f={style:{"vertical-align":"-0.566ex"},xmlns:"http://www.w3.org/2000/svg",width:"36.354ex",height:"2.904ex",role:"img",focusable:"false",viewBox:"0 -1033.4 16068.6 1283.4","aria-hidden":"true"},M={class:"MathJax",jax:"SVG",display:"true",style:{position:"relative"}},u={style:{"vertical-align":"-0.566ex"},xmlns:"http://www.w3.org/2000/svg",width:"34.954ex",height:"2.262ex",role:"img",focusable:"false",viewBox:"0 -750 15449.6 1000","aria-hidden":"true"},Z={class:"MathJax",jax:"SVG",style:{position:"relative"}},c={style:{"vertical-align":"-0.566ex"},xmlns:"http://www.w3.org/2000/svg",width:"18.283ex",height:"2.262ex",role:"img",focusable:"false",viewBox:"0 -750 8080.9 1000","aria-hidden":"true"},x={class:"MathJax",jax:"SVG",display:"true",style:{position:"relative"}},w={style:{"vertical-align":"-6.448ex"},xmlns:"http://www.w3.org/2000/svg",width:"26.372ex",height:"14.027ex",role:"img",focusable:"false",viewBox:"0 -3350 11656.4 6200","aria-hidden":"true"},y={class:"MathJax",jax:"SVG",style:{position:"relative"}},v={style:{"vertical-align":"-0.576ex"},xmlns:"http://www.w3.org/2000/svg",width:"6.531ex",height:"2.142ex",role:"img",focusable:"false",viewBox:"0 -691.8 2886.8 946.6","aria-hidden":"true"},D={class:"MathJax",jax:"SVG",style:{position:"relative"}},b={style:{"vertical-align":"-0.566ex"},xmlns:"http://www.w3.org/2000/svg",width:"10.921ex",height:"2.262ex",role:"img",focusable:"false",viewBox:"0 -750 4827.2 1000","aria-hidden":"true"},j={class:"MathJax",jax:"SVG",style:{position:"relative"}},C={style:{"vertical-align":"-0.464ex"},xmlns:"http://www.w3.org/2000/svg",width:"1.109ex",height:"1.464ex",role:"img",focusable:"false",viewBox:"0 -442 490 647","aria-hidden":"true"},B={class:"MathJax",jax:"SVG",style:{position:"relative"}},k={style:{"vertical-align":"-0.464ex"},xmlns:"http://www.w3.org/2000/svg",width:"2.869ex",height:"1.783ex",role:"img",focusable:"false",viewBox:"0 -583 1268 788","aria-hidden":"true"},J={class:"MathJax",jax:"SVG",style:{position:"relative"}},S={style:{"vertical-align":"-0.439ex"},xmlns:"http://www.w3.org/2000/svg",width:"4.654ex",height:"2.032ex",role:"img",focusable:"false",viewBox:"0 -704 2057.3 898","aria-hidden":"true"},R={class:"MathJax",jax:"SVG",style:{position:"relative"}},G={style:{"vertical-align":"-0.439ex"},xmlns:"http://www.w3.org/2000/svg",width:"6.663ex",height:"2.032ex",role:"img",focusable:"false",viewBox:"0 -704 2945.3 898","aria-hidden":"true"},O={class:"MathJax",jax:"SVG",style:{position:"relative"}},E={style:{"vertical-align":"-0.566ex"},xmlns:"http://www.w3.org/2000/svg",width:"11.718ex",height:"2.262ex",role:"img",focusable:"false",viewBox:"0 -750 5179.2 1000","aria-hidden":"true"},F={class:"MathJax",jax:"SVG",style:{position:"relative"}},N={style:{"vertical-align":"-0.566ex"},xmlns:"http://www.w3.org/2000/svg",width:"12.949ex",height:"2.262ex",role:"img",focusable:"false",viewBox:"0 -750 5723.3 1000","aria-hidden":"true"},A={class:"MathJax",jax:"SVG",style:{position:"relative"}},X={style:{"vertical-align":"-0.566ex"},xmlns:"http://www.w3.org/2000/svg",width:"13.451ex",height:"2.262ex",role:"img",focusable:"false",viewBox:"0 -750 5945.3 1000","aria-hidden":"true"},P={class:"MathJax",jax:"SVG",style:{position:"relative"}},I={style:{"vertical-align":"-0.439ex"},xmlns:"http://www.w3.org/2000/svg",width:"5.294ex",height:"2.032ex",role:"img",focusable:"false",viewBox:"0 -704 2340.1 898","aria-hidden":"true"},q={class:"MathJax",jax:"SVG",style:{position:"relative"}},z={style:{"vertical-align":"-0.566ex"},xmlns:"http://www.w3.org/2000/svg",width:"19.234ex",height:"2.262ex",role:"img",focusable:"false",viewBox:"0 -750 8501.3 1000","aria-hidden":"true"},K={class:"MathJax",jax:"SVG",style:{position:"relative"}},U={style:{"vertical-align":"-0.439ex"},xmlns:"http://www.w3.org/2000/svg",width:"7.303ex",height:"2.032ex",role:"img",focusable:"false",viewBox:"0 -704 3228.1 898","aria-hidden":"true"},W={class:"MathJax",jax:"SVG",style:{position:"relative"}},Y={style:{"vertical-align":"-0.464ex"},xmlns:"http://www.w3.org/2000/svg",width:"8.529ex",height:"2.057ex",role:"img",focusable:"false",viewBox:"0 -704 3769.8 909","aria-hidden":"true"},$={class:"MathJax",jax:"SVG",style:{position:"relative"}},_={style:{"vertical-align":"-0.566ex"},xmlns:"http://www.w3.org/2000/svg",width:"15.934ex",height:"2.452ex",role:"img",focusable:"false",viewBox:"0 -833.9 7042.8 1083.9","aria-hidden":"true"},Q1={class:"MathJax",jax:"SVG",style:{position:"relative"}},T1={style:{"vertical-align":"-0.439ex"},xmlns:"http://www.w3.org/2000/svg",width:"6.918ex",height:"1.946ex",role:"img",focusable:"false",viewBox:"0 -666 3057.7 860","aria-hidden":"true"},a1={class:"MathJax",jax:"SVG",display:"true",style:{position:"relative"}},t1={style:{"vertical-align":"-2.148ex"},xmlns:"http://www.w3.org/2000/svg",width:"59.778ex",height:"5.428ex",role:"img",focusable:"false",viewBox:"0 -1449.5 26421.9 2399","aria-hidden":"true"},m1={class:"MathJax",jax:"SVG",style:{position:"relative"}},l1={style:{"vertical-align":"-0.439ex"},xmlns:"http://www.w3.org/2000/svg",width:"8.715ex",height:"2.032ex",role:"img",focusable:"false",viewBox:"0 -704 3851.8 898","aria-hidden":"true"},n1={class:"MathJax",jax:"SVG",style:{position:"relative"}},d1={style:{"vertical-align":"-0.566ex"},xmlns:"http://www.w3.org/2000/svg",width:"16.861ex",height:"2.452ex",role:"img",focusable:"false",viewBox:"0 -833.9 7452.8 1083.9","aria-hidden":"true"},r1={class:"MathJax",jax:"SVG",style:{position:"relative"}},e1={style:{"vertical-align":"-0.566ex"},xmlns:"http://www.w3.org/2000/svg",width:"19.109ex",height:"2.262ex",role:"img",focusable:"false",viewBox:"0 -750 8446 1000","aria-hidden":"true"},o1={class:"MathJax",jax:"SVG",display:"true",style:{position:"relative"}},s1={style:{"vertical-align":"-2.148ex"},xmlns:"http://www.w3.org/2000/svg",width:"58.332ex",height:"5.428ex",role:"img",focusable:"false",viewBox:"0 -1449.5 25782.9 2399","aria-hidden":"true"},H1={class:"MathJax",jax:"SVG",style:{position:"relative"}},g1={style:{"vertical-align":"-0.566ex"},xmlns:"http://www.w3.org/2000/svg",width:"19.124ex",height:"2.452ex",role:"img",focusable:"false",viewBox:"0 -833.9 8452.8 1083.9","aria-hidden":"true"},h1={class:"MathJax",jax:"SVG",style:{position:"relative"}},p1={style:{"vertical-align":"-0.439ex"},xmlns:"http://www.w3.org/2000/svg",width:"4.654ex",height:"2.032ex",role:"img",focusable:"false",viewBox:"0 -704 2057.3 898","aria-hidden":"true"},i1={class:"MathJax",jax:"SVG",style:{position:"relative"}},V1={style:{"vertical-align":"-0.566ex"},xmlns:"http://www.w3.org/2000/svg",width:"21.44ex",height:"2.262ex",role:"img",focusable:"false",viewBox:"0 -750 9476.3 1000","aria-hidden":"true"},L1={class:"MathJax",jax:"SVG",style:{position:"relative"}},f1={style:{"vertical-align":"-0.566ex"},xmlns:"http://www.w3.org/2000/svg",width:"4.299ex",height:"2.262ex",role:"img",focusable:"false",viewBox:"0 -750 1900 1000","aria-hidden":"true"},M1={class:"MathJax",jax:"SVG",style:{position:"relative"}},u1={style:{"vertical-align":"-0.025ex"},xmlns:"http://www.w3.org/2000/svg",width:"1.294ex",height:"1.025ex",role:"img",focusable:"false",viewBox:"0 -442 572 453","aria-hidden":"true"},Z1={style:{"text-align":"left"}},c1={class:"MathJax",jax:"SVG",style:{position:"relative"}},x1={style:{"vertical-align":"-0.439ex"},xmlns:"http://www.w3.org/2000/svg",width:"9.354ex",height:"2.032ex",role:"img",focusable:"false",viewBox:"0 -704 4134.7 898","aria-hidden":"true"},w1={style:{"text-align":"left"}},y1={class:"MathJax",jax:"SVG",style:{position:"relative"}},v1={style:{"vertical-align":"-0.05ex"},xmlns:"http://www.w3.org/2000/svg",width:"11.837ex",height:"1.937ex",role:"img",focusable:"false",viewBox:"0 -833.9 5231.9 855.9","aria-hidden":"true"},D1={class:"MathJax",jax:"SVG",style:{position:"relative"}},b1={style:{"vertical-align":"-0.464ex"},xmlns:"http://www.w3.org/2000/svg",width:"8.529ex",height:"2.057ex",role:"img",focusable:"false",viewBox:"0 -704 3769.8 909","aria-hidden":"true"},j1={class:"MathJax",jax:"SVG",style:{position:"relative"}},C1={style:{"vertical-align":"-0.566ex"},xmlns:"http://www.w3.org/2000/svg",width:"15.934ex",height:"2.452ex",role:"img",focusable:"false",viewBox:"0 -833.9 7042.8 1083.9","aria-hidden":"true"},B1={class:"MathJax",jax:"SVG",style:{position:"relative"}},k1={style:{"vertical-align":"-0.439ex"},xmlns:"http://www.w3.org/2000/svg",width:"6.918ex",height:"1.946ex",role:"img",focusable:"false",viewBox:"0 -666 3057.7 860","aria-hidden":"true"},J1={class:"MathJax",jax:"SVG",style:{position:"relative"}},S1={style:{"vertical-align":"-0.025ex"},xmlns:"http://www.w3.org/2000/svg",width:"3.054ex",height:"1.532ex",role:"img",focusable:"false",viewBox:"0 -666 1350 677","aria-hidden":"true"},R1={class:"MathJax",jax:"SVG",style:{position:"relative"}},G1={style:{"vertical-align":"-0.439ex"},xmlns:"http://www.w3.org/2000/svg",width:"7.717ex",height:"1.758ex",role:"img",focusable:"false",viewBox:"0 -583 3411.1 777","aria-hidden":"true"},O1={class:"MathJax",jax:"SVG",style:{position:"relative"}},E1={style:{"vertical-align":"-0.566ex"},xmlns:"http://www.w3.org/2000/svg",width:"12.672ex",height:"2.262ex",role:"img",focusable:"false",viewBox:"0 -750 5601.1 1000","aria-hidden":"true"},F1={class:"MathJax",jax:"SVG",style:{position:"relative"}},N1={style:{"vertical-align":"-0.566ex"},xmlns:"http://www.w3.org/2000/svg",width:"16.795ex",height:"2.262ex",role:"img",focusable:"false",viewBox:"0 -750 7423.6 1000","aria-hidden":"true"},A1={class:"MathJax",jax:"SVG",style:{position:"relative"}},X1={style:{"vertical-align":"-0.566ex"},xmlns:"http://www.w3.org/2000/svg",width:"17.993ex",height:"2.452ex",role:"img",focusable:"false",viewBox:"0 -833.9 7952.8 1083.9","aria-hidden":"true"},P1={class:"MathJax",jax:"SVG",style:{position:"relative"}},I1={style:{"vertical-align":"-0.566ex"},xmlns:"http://www.w3.org/2000/svg",width:"14.457ex",height:"2.262ex",role:"img",focusable:"false",viewBox:"0 -750 6390 1000","aria-hidden":"true"},q1={class:"MathJax",jax:"SVG",style:{position:"relative"}},z1={style:{"vertical-align":"-0.576ex"},xmlns:"http://www.w3.org/2000/svg",width:"2.657ex",height:"2.142ex",role:"img",focusable:"false",viewBox:"0 -691.8 1174.3 946.6","aria-hidden":"true"},K1={class:"MathJax",jax:"SVG",style:{position:"relative"}},U1={style:{"vertical-align":"-0.566ex"},xmlns:"http://www.w3.org/2000/svg",width:"31.79ex",height:"2.262ex",role:"img",focusable:"false",viewBox:"0 -750 14051.1 1000","aria-hidden":"true"},W1={class:"MathJax",jax:"SVG",style:{position:"relative"}},Y1={style:{"vertical-align":"-0.566ex"},xmlns:"http://www.w3.org/2000/svg",width:"15.653ex",height:"2.452ex",role:"img",focusable:"false",viewBox:"0 -833.9 6918.8 1083.9","aria-hidden":"true"},$1={class:"MathJax",jax:"SVG",style:{position:"relative"}},_1={style:{"vertical-align":"-0.566ex"},xmlns:"http://www.w3.org/2000/svg",width:"12.564ex",height:"2.262ex",role:"img",focusable:"false",viewBox:"0 -750 5553.2 1000","aria-hidden":"true"},Q2={class:"MathJax",jax:"SVG",style:{position:"relative"}},T2={style:{"vertical-align":"-0.595ex"},xmlns:"http://www.w3.org/2000/svg",width:"54.924ex",height:"2.292ex",role:"img",focusable:"false",viewBox:"0 -750 24276.4 1013.2","aria-hidden":"true"},a2={class:"MathJax",jax:"SVG",display:"true",style:{position:"relative"}},t2={style:{"vertical-align":"-4.977ex"},xmlns:"http://www.w3.org/2000/svg",width:"46.15ex",height:"11.086ex",role:"img",focusable:"false",viewBox:"0 -2700 20398.2 4900","aria-hidden":"true"},m2={class:"MathJax",jax:"SVG",style:{position:"relative"}},l2={style:{"vertical-align":"-0.025ex"},xmlns:"http://www.w3.org/2000/svg",width:"1.357ex",height:"1.025ex",role:"img",focusable:"false",viewBox:"0 -442 600 453","aria-hidden":"true"},n2={class:"MathJax",jax:"SVG",style:{position:"relative"}},d2={style:{"vertical-align":"-0.566ex"},xmlns:"http://www.w3.org/2000/svg",width:"16.022ex",height:"2.452ex",role:"img",focusable:"false",viewBox:"0 -833.9 7081.8 1083.9","aria-hidden":"true"},r2={class:"MathJax",jax:"SVG",style:{position:"relative"}},e2={style:{"vertical-align":"-0.439ex"},xmlns:"http://www.w3.org/2000/svg",width:"9.09ex",height:"1.946ex",role:"img",focusable:"false",viewBox:"0 -666 4017.8 860","aria-hidden":"true"},o2={class:"MathJax",jax:"SVG",style:{position:"relative"}},s2={style:{"vertical-align":"-0.025ex"},xmlns:"http://www.w3.org/2000/svg",width:"1.357ex",height:"1.025ex",role:"img",focusable:"false",viewBox:"0 -442 600 453","aria-hidden":"true"},H2={class:"MathJax",jax:"SVG",style:{position:"relative"}},g2={style:{"vertical-align":"-0.566ex"},xmlns:"http://www.w3.org/2000/svg",width:"30.699ex",height:"2.262ex",role:"img",focusable:"false",viewBox:"0 -750 13569.1 1000","aria-hidden":"true"},h2={class:"MathJax",jax:"SVG",style:{position:"relative"}},p2={style:{"vertical-align":"-0.566ex"},xmlns:"http://www.w3.org/2000/svg",width:"17.993ex",height:"2.452ex",role:"img",focusable:"false",viewBox:"0 -833.9 7952.8 1083.9","aria-hidden":"true"},i2={class:"MathJax",jax:"SVG",style:{position:"relative"}},V2={style:{"vertical-align":"-0.439ex"},xmlns:"http://www.w3.org/2000/svg",width:"7.92ex",height:"1.971ex",role:"img",focusable:"false",viewBox:"0 -677 3500.7 871","aria-hidden":"true"},L2={class:"MathJax",jax:"SVG",style:{position:"relative"}},f2={style:{"vertical-align":"-0.566ex"},xmlns:"http://www.w3.org/2000/svg",width:"38.466ex",height:"2.262ex",role:"img",focusable:"false",viewBox:"0 -750 17002 1000","aria-hidden":"true"};function M2(u2,T){return m(),t("div",null,[T[216]||(T[216]=l('
',4)),Q("p",null,[T[6]||(T[6]=a("如果有质数",-1)),Q("mjx-container",r,[(m(),t("svg",e,[...T[0]||(T[0]=[l('',1)])])),T[1]||(T[1]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mi",null,"p"),Q("mo",null,","),Q("mi",null,"q")])],-1))]),T[7]||(T[7]=a("，满足",-1)),Q("mjx-container",o,[(m(),t("svg",s,[...T[2]||(T[2]=[l('',1)])])),T[3]||(T[3]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mi",null,"p"),Q("mo",null,"≡"),Q("mn",null,"3"),Q("mspace",{width:"0.444em"}),Q("mo",{stretchy:"false"},"("),Q("mi",null,"mod"),Q("mspace",{width:"0.333em"}),Q("mn",null,"4"),Q("mo",{stretchy:"false"},")"),Q("mo",null,","),Q("mi",null,"q"),Q("mo",null,"≡"),Q("mn",null,"3"),Q("mspace",{width:"0.444em"}),Q("mo",{stretchy:"false"},"("),Q("mi",null,"mod"),Q("mspace",{width:"0.333em"}),Q("mn",null,"4"),Q("mo",{stretchy:"false"},")")])],-1))]),T[8]||(T[8]=a(",那么",-1)),Q("mjx-container",H,[(m(),t("svg",g,[...T[4]||(T[4]=[l('',1)])])),T[5]||(T[5]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mi",null,"n"),Q("mo",null,"="),Q("mi",null,"p"),Q("mi",null,"q")])],-1))]),T[9]||(T[9]=a("称为Blum整数",-1)),T[10]||(T[10]=Q("br",null,null,-1)),T[11]||(T[11]=a(" 比如 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))]),T[217]||(T[217]=l('以数学家Manuel Blum命名
',3)),Q("p",null,[T[14]||(T[14]=a("设",-1)),Q("mjx-container",h,[(m(),t("svg",p,[...T[12]||(T[12]=[Q("g",{stroke:"currentColor",fill:"currentColor","stroke-width":"0",transform:"scale(1,-1)"},[Q("g",{"data-mml-node":"math"},[Q("g",{"data-mml-node":"mi"},[Q("path",{"data-c":"1D45B",d:"M21 287Q22 293 24 303T36 341T56 388T89 425T135 442Q171 442 195 424T225 390T231 369Q231 367 232 367L243 378Q304 442 382 442Q436 442 469 415T503 336T465 179T427 52Q427 26 444 26Q450 26 453 27Q482 32 505 65T540 145Q542 153 560 153Q580 153 580 145Q580 144 576 130Q568 101 554 73T508 17T439 -10Q392 -10 371 17T350 73Q350 92 386 193T423 345Q423 404 379 404H374Q288 404 229 303L222 291L189 157Q156 26 151 16Q138 -11 108 -11Q95 -11 87 -5T76 7T74 17Q74 30 112 180T152 343Q153 348 153 366Q153 405 129 405Q91 405 66 305Q60 285 60 284Q58 278 41 278H27Q21 284 21 287Z"})])])],-1)])])),T[13]||(T[13]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mi",null,"n")])],-1))]),T[15]||(T[15]=a("是Blum整数",-1))]),T[218]||(T[218]=Q("h4",{id:"_9-3-1",tabindex:"-1"},[Q("a",{class:"header-anchor",href:"#_9-3-1"},[Q("span",null,"9.3.1")])],-1)),Q("p",null,[T[20]||(T[20]=a("由于",-1)),Q("mjx-container",i,[(m(),t("svg",V,[...T[16]||(T[16]=[l('',1)])])),T[17]||(T[17]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mi",null,"p"),Q("mo",null,"="),Q("mn",null,"4"),Q("mi",null,"k"),Q("mo",null,"+"),Q("mn",null,"3"),Q("mo",null,","),Q("mfrac",null,[Q("mrow",null,[Q("mi",null,"p"),Q("mo",null,"−"),Q("mn",null,"1")]),Q("mn",null,"2")]),Q("mo",null,"="),Q("mn",null,"2"),Q("mi",null,"k"),Q("mo",null,"+"),Q("mn",null,"1")])],-1))]),T[21]||(T[21]=a(", 所以",-1)),Q("mjx-container",L,[(m(),t("svg",f,[...T[18]||(T[18]=[l('',1)])])),T[19]||(T[19]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mi",null,"L"),Q("mo",{stretchy:"false"},"("),Q("mo",null,"−"),Q("mn",null,"1"),Q("mo",null,","),Q("mi",null,"p"),Q("mo",{stretchy:"false"},")"),Q("mo",null,"="),Q("mo",{stretchy:"false"},"("),Q("mo",null,"−"),Q("mn",null,"1"),Q("msup",null,[Q("mo",{stretchy:"false"},")"),Q("mrow",{"data-mjx-texclass":"ORD"},[Q("mfrac",null,[Q("mrow",null,[Q("mi",null,"p"),Q("mo",null,"−"),Q("mn",null,"1")]),Q("mn",null,"2")])])]),Q("mo",null,"="),Q("mo",{stretchy:"false"},"("),Q("mo",null,"−"),Q("mn",null,"1"),Q("msup",null,[Q("mo",{stretchy:"false"},")"),Q("mrow",{"data-mjx-texclass":"ORD"},[Q("mn",null,"2"),Q("mi",null,"k"),Q("mo",null,"+"),Q("mn",null,"1")])]),Q("mo",null,"="),Q("mo",null,"−"),Q("mn",null,"1")])],-1))]),T[22]||(T[22]=Q("br",null,null,-1)),T[23]||(T[23]=a(" 所以",-1))]),Q("mjx-container",M,[(m(),t("svg",u,[...T[24]||(T[24]=[l('',1)])])),T[25]||(T[25]=Q("mjx-assistive-mml",{unselectable:"on",display:"block"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML",display:"block"},[Q("mi",null,"J"),Q("mo",{stretchy:"false"},"("),Q("mo",null,"−"),Q("mn",null,"1"),Q("mo",null,","),Q("mi",null,"n"),Q("mo",{stretchy:"false"},")"),Q("mo",null,"="),Q("mi",null,"L"),Q("mo",{stretchy:"false"},"("),Q("mo",null,"−"),Q("mn",null,"1"),Q("mo",null,","),Q("mi",null,"p"),Q("mo",{stretchy:"false"},")"),Q("mo",null,"×"),Q("mi",null,"L"),Q("mo",{stretchy:"false"},"("),Q("mo",null,"−"),Q("mn",null,"1"),Q("mo",null,","),Q("mi",null,"q"),Q("mo",{stretchy:"false"},")"),Q("mo",null,"="),Q("mn",null,"1")])],-1))]),Q("p",null,[T[28]||(T[28]=a("推论：",-1)),Q("mjx-container",Z,[(m(),t("svg",c,[...T[26]||(T[26]=[l('',1)])])),T[27]||(T[27]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mi",null,"J"),Q("mo",{stretchy:"false"},"("),Q("mi",null,"a"),Q("mo",null,","),Q("mi",null,"n"),Q("mo",{stretchy:"false"},")"),Q("mo",null,"="),Q("mi",null,"J"),Q("mo",{stretchy:"false"},"("),Q("mo",null,"−"),Q("mi",null,"a"),Q("mo",null,","),Q("mi",null,"n"),Q("mo",{stretchy:"false"},")")])],-1))]),T[29]||(T[29]=Q("br",null,null,-1)),T[30]||(T[30]=a(" 举例：",-1))]),Q("mjx-container",x,[(m(),t("svg",w,[...T[31]||(T[31]=[l('',1)])])),T[32]||(T[32]=Q("mjx-assistive-mml",{unselectable:"on",display:"block"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML",display:"block"},[Q("mtable",{displaystyle:"true",columnalign:"right left",columnspacing:"0em",rowspacing:"3pt"},[Q("mtr",null,[Q("mtd",null,[Q("mi",null,"J"),Q("mo",{stretchy:"false"},"("),Q("mn",null,"1"),Q("mo",null,","),Q("mn",null,"21"),Q("mo",{stretchy:"false"},")")]),Q("mtd",null,[Q("mi"),Q("mo",null,"="),Q("mi",null,"J"),Q("mo",{stretchy:"false"},"("),Q("mn",null,"20"),Q("mo",null,","),Q("mn",null,"21"),Q("mo",{stretchy:"false"},")"),Q("mo",null,"="),Q("mn",null,"1")])]),Q("mtr",null,[Q("mtd",null,[Q("mi",null,"J"),Q("mo",{stretchy:"false"},"("),Q("mn",null,"2"),Q("mo",null,","),Q("mn",null,"21"),Q("mo",{stretchy:"false"},")")]),Q("mtd",null,[Q("mi"),Q("mo",null,"="),Q("mi",null,"J"),Q("mo",{stretchy:"false"},"("),Q("mn",null,"19"),Q("mo",null,","),Q("mn",null,"21"),Q("mo",{stretchy:"false"},")"),Q("mo",null,"="),Q("mo",null,"−"),Q("mn",null,"1")])]),Q("mtr",null,[Q("mtd",null,[Q("mi",null,"J"),Q("mo",{stretchy:"false"},"("),Q("mn",null,"4"),Q("mo",null,","),Q("mn",null,"21"),Q("mo",{stretchy:"false"},")")]),Q("mtd",null,[Q("mi"),Q("mo",null,"="),Q("mi",null,"J"),Q("mo",{stretchy:"false"},"("),Q("mn",null,"17"),Q("mo",null,","),Q("mn",null,"21"),Q("mo",{stretchy:"false"},")"),Q("mo",null,"="),Q("mn",null,"1")])]),Q("mtr",null,[Q("mtd",null,[Q("mo",null,"⋯")])]),Q("mtr",null,[Q("mtd",null,[Q("mi",null,"J"),Q("mo",{stretchy:"false"},"("),Q("mn",null,"10"),Q("mo",null,","),Q("mn",null,"21"),Q("mo",{stretchy:"false"},")")]),Q("mtd",null,[Q("mi"),Q("mo",null,"="),Q("mi",null,"J"),Q("mo",{stretchy:"false"},"("),Q("mn",null,"11"),Q("mo",null,","),Q("mn",null,"21"),Q("mo",{stretchy:"false"},")"),Q("mo",null,"="),Q("mo",null,"−"),Q("mn",null,"1")])])])])],-1))]),T[219]||(T[219]=Q("h4",{id:"_9-3-2",tabindex:"-1"},[Q("a",{class:"header-anchor",href:"#_9-3-2"},[Q("span",null,"9.3.2")])],-1)),Q("p",null,[T[57]||(T[57]=a("对于任意",-1)),Q("mjx-container",y,[(m(),t("svg",v,[...T[33]||(T[33]=[l('',1)])])),T[34]||(T[34]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mi",null,"y"),Q("mo",null,"∈"),Q("msubsup",null,[Q("mrow",{"data-mjx-texclass":"ORD"},[Q("mi",{mathvariant:"double-struck"},"Z")]),Q("mi",null,"n"),Q("mrow",{"data-mjx-texclass":"ORD"},[Q("mo",null,"∗")])])])],-1))]),T[58]||(T[58]=a("，如果",-1)),Q("mjx-container",D,[(m(),t("svg",b,[...T[35]||(T[35]=[l('',1)])])),T[36]||(T[36]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mi",null,"L"),Q("mo",{stretchy:"false"},"("),Q("mi",null,"y"),Q("mo",null,","),Q("mi",null,"n"),Q("mo",{stretchy:"false"},")"),Q("mo",null,"="),Q("mn",null,"1")])],-1))]),T[59]||(T[59]=a("，那么",-1)),Q("mjx-container",j,[(m(),t("svg",C,[...T[37]||(T[37]=[Q("g",{stroke:"currentColor",fill:"currentColor","stroke-width":"0",transform:"scale(1,-1)"},[Q("g",{"data-mml-node":"math"},[Q("g",{"data-mml-node":"mi"},[Q("path",{"data-c":"1D466",d:"M21 287Q21 301 36 335T84 406T158 442Q199 442 224 419T250 355Q248 336 247 334Q247 331 231 288T198 191T182 105Q182 62 196 45T238 27Q261 27 281 38T312 61T339 94Q339 95 344 114T358 173T377 247Q415 397 419 404Q432 431 462 431Q475 431 483 424T494 412T496 403Q496 390 447 193T391 -23Q363 -106 294 -155T156 -205Q111 -205 77 -183T43 -117Q43 -95 50 -80T69 -58T89 -48T106 -45Q150 -45 150 -87Q150 -107 138 -122T115 -142T102 -147L99 -148Q101 -153 118 -160T152 -167H160Q177 -167 186 -165Q219 -156 247 -127T290 -65T313 -9T321 21L315 17Q309 13 296 6T270 -6Q250 -11 231 -11Q185 -11 150 11T104 82Q103 89 103 113Q103 170 138 262T173 379Q173 380 173 381Q173 390 173 393T169 400T158 404H154Q131 404 112 385T82 344T65 302T57 280Q55 278 41 278H27Q21 284 21 287Z"})])])],-1)])])),T[38]||(T[38]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mi",null,"y")])],-1))]),T[60]||(T[60]=a("和",-1)),Q("mjx-container",B,[(m(),t("svg",k,[...T[39]||(T[39]=[l('',1)])])),T[40]||(T[40]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mo",null,"−"),Q("mi",null,"y")])],-1))]),T[61]||(T[61]=a("有一个属于",-1)),Q("mjx-container",J,[(m(),t("svg",S,[...T[41]||(T[41]=[l('',1)])])),T[42]||(T[42]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mi",null,"Q"),Q("msub",null,[Q("mi",null,"R"),Q("mi",null,"n")])])],-1))]),T[62]||(T[62]=a("，有一个属于",-1)),Q("mjx-container",R,[(m(),t("svg",G,[...T[43]||(T[43]=[l('',1)])])),T[44]||(T[44]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mi",null,"Q"),Q("mi",null,"N"),Q("msub",null,[Q("mi",null,"R"),Q("mi",null,"n")])])],-1))]),T[63]||(T[63]=Q("br",null,null,-1)),T[64]||(T[64]=a(" 举例：",-1)),T[65]||(T[65]=Q("br",null,null,-1)),T[66]||(T[66]=a(" 满足",-1)),Q("mjx-container",O,[(m(),t("svg",E,[...T[45]||(T[45]=[l('',1)])])),T[46]||(T[46]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mi",null,"J"),Q("mo",{stretchy:"false"},"("),Q("mi",null,"y"),Q("mo",null,","),Q("mn",null,"21"),Q("mo",{stretchy:"false"},")"),Q("mo",null,"="),Q("mn",null,"1")])],-1))]),T[67]||(T[67]=a("的数有",-1)),Q("mjx-container",F,[(m(),t("svg",N,[...T[47]||(T[47]=[l('',1)])])),T[48]||(T[48]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mo",{fence:"false",stretchy:"false"},"{"),Q("mo",null,"±"),Q("mn",null,"1"),Q("mo",null,","),Q("mo",null,"±"),Q("mn",null,"4"),Q("mo",null,","),Q("mo",null,"±"),Q("mn",null,"5"),Q("mo",{fence:"false",stretchy:"false"},"}")])],-1))]),T[68]||(T[68]=a("，其中",-1)),Q("mjx-container",A,[(m(),t("svg",X,[...T[49]||(T[49]=[l('',1)])])),T[50]||(T[50]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mo",{fence:"false",stretchy:"false"},"{"),Q("mn",null,"1"),Q("mo",null,","),Q("mn",null,"4"),Q("mo",null,","),Q("mo",null,"−"),Q("mn",null,"5"),Q("mo",{stretchy:"false"},"("),Q("mn",null,"16"),Q("mo",{stretchy:"false"},")"),Q("mo",{fence:"false",stretchy:"false"},"}")])],-1))]),T[69]||(T[69]=a("属于",-1)),Q("mjx-container",P,[(m(),t("svg",I,[...T[51]||(T[51]=[l('',1)])])),T[52]||(T[52]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mi",null,"Q"),Q("msub",null,[Q("mi",null,"R"),Q("mrow",{"data-mjx-texclass":"ORD"},[Q("mn",null,"21")])])])],-1))]),T[70]||(T[70]=a(", ",-1)),Q("mjx-container",q,[(m(),t("svg",z,[...T[53]||(T[53]=[l('',1)])])),T[54]||(T[54]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mo",{fence:"false",stretchy:"false"},"{"),Q("mo",null,"−"),Q("mn",null,"1"),Q("mo",{stretchy:"false"},"("),Q("mn",null,"20"),Q("mo",{stretchy:"false"},")"),Q("mo",null,","),Q("mo",null,"−"),Q("mn",null,"4"),Q("mo",{stretchy:"false"},"("),Q("mn",null,"17"),Q("mo",{stretchy:"false"},")"),Q("mo",null,","),Q("mn",null,"5"),Q("mo",{fence:"false",stretchy:"false"},"}")])],-1))]),T[71]||(T[71]=a("属于",-1)),Q("mjx-container",K,[(m(),t("svg",U,[...T[55]||(T[55]=[l('',1)])])),T[56]||(T[56]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mi",null,"Q"),Q("mi",null,"N"),Q("msub",null,[Q("mi",null,"R"),Q("mrow",{"data-mjx-texclass":"ORD"},[Q("mn",null,"21")])])])],-1))])]),T[220]||(T[220]=Q("h4",{id:"_9-3-3",tabindex:"-1"},[Q("a",{class:"header-anchor",href:"#_9-3-3"},[Q("span",null,"9.3.3")])],-1)),Q("p",null,[T[78]||(T[78]=a("对于任意",-1)),Q("mjx-container",W,[(m(),t("svg",Y,[...T[72]||(T[72]=[l('',1)])])),T[73]||(T[73]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mi",null,"y"),Q("mo",null,"∈"),Q("mi",null,"Q"),Q("msub",null,[Q("mi",null,"R"),Q("mi",null,"n")])])],-1))]),T[79]||(T[79]=a("，方程",-1)),Q("mjx-container",$,[(m(),t("svg",_,[...T[74]||(T[74]=[l('',1)])])),T[75]||(T[75]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("msup",null,[Q("mi",null,"x"),Q("mn",null,"2")]),Q("mo",null,"≡"),Q("mi",null,"y"),Q("mspace",{width:"0.444em"}),Q("mo",{stretchy:"false"},"("),Q("mi",null,"mod"),Q("mspace",{width:"0.333em"}),Q("mi",null,"n"),Q("mo",{stretchy:"false"},")")])],-1))]),T[80]||(T[80]=a("有四个根",-1)),Q("mjx-container",Q1,[(m(),t("svg",T1,[...T[76]||(T[76]=[l('',1)])])),T[77]||(T[77]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mo",null,"±"),Q("mi",null,"u"),Q("mo",null,","),Q("mo",null,"±"),Q("mi",null,"v")])],-1))]),T[81]||(T[81]=a("，这四个根满足以下组合",-1))]),Q("mjx-container",a1,[(m(),t("svg",t1,[...T[82]||(T[82]=[l('',1)])])),T[83]||(T[83]=Q("mjx-assistive-mml",{unselectable:"on",display:"block"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML",display:"block"},[Q("mrow",{"data-mjx-texclass":"INNER"},[Q("mo",{"data-mjx-texclass":"OPEN"},"{"),Q("mtable",{rowspacing:".1em",columnspacing:"1em",columnalign:"left left"},[Q("mtr",null,[Q("mtd",null,[Q("mi",null,"L"),Q("mo",{stretchy:"false"},"("),Q("mi",null,"u"),Q("mo",null,","),Q("mi",null,"p"),Q("mo",{stretchy:"false"},")"),Q("mo",null,"="),Q("mn",null,"1")])]),Q("mtr",null,[Q("mtd",null,[Q("mi",null,"L"),Q("mo",{stretchy:"false"},"("),Q("mi",null,"u"),Q("mo",null,","),Q("mi",null,"q"),Q("mo",{stretchy:"false"},")"),Q("mo",null,"="),Q("mn",null,"1")])])]),Q("mo",{"data-mjx-texclass":"CLOSE",fence:"true",stretchy:"true",symmetric:"true"})]),Q("mrow",{"data-mjx-texclass":"INNER"},[Q("mo",{"data-mjx-texclass":"OPEN"},"{"),Q("mtable",{rowspacing:".1em",columnspacing:"1em",columnalign:"left left"},[Q("mtr",null,[Q("mtd",null,[Q("mi",null,"L"),Q("mo",{stretchy:"false"},"("),Q("mo",null,"−"),Q("mi",null,"u"),Q("mo",null,","),Q("mi",null,"p"),Q("mo",{stretchy:"false"},")"),Q("mo",null,"="),Q("mo",null,"−"),Q("mn",null,"1")])]),Q("mtr",null,[Q("mtd",null,[Q("mi",null,"L"),Q("mo",{stretchy:"false"},"("),Q("mo",null,"−"),Q("mi",null,"u"),Q("mo",null,","),Q("mi",null,"q"),Q("mo",{stretchy:"false"},")"),Q("mo",null,"="),Q("mo",null,"−"),Q("mn",null,"1")])])]),Q("mo",{"data-mjx-texclass":"CLOSE",fence:"true",stretchy:"true",symmetric:"true"})]),Q("mrow",{"data-mjx-texclass":"INNER"},[Q("mo",{"data-mjx-texclass":"OPEN"},"{"),Q("mtable",{rowspacing:".1em",columnspacing:"1em",columnalign:"left left"},[Q("mtr",null,[Q("mtd",null,[Q("mi",null,"L"),Q("mo",{stretchy:"false"},"("),Q("mi",null,"v"),Q("mo",null,","),Q("mi",null,"p"),Q("mo",{stretchy:"false"},")"),Q("mo",null,"="),Q("mo",null,"−"),Q("mn",null,"1")])]),Q("mtr",null,[Q("mtd",null,[Q("mi",null,"L"),Q("mo",{stretchy:"false"},"("),Q("mi",null,"v"),Q("mo",null,","),Q("mi",null,"q"),Q("mo",{stretchy:"false"},")"),Q("mo",null,"="),Q("mn",null,"1")])])]),Q("mo",{"data-mjx-texclass":"CLOSE",fence:"true",stretchy:"true",symmetric:"true"})]),Q("mrow",{"data-mjx-texclass":"INNER"},[Q("mo",{"data-mjx-texclass":"OPEN"},"{"),Q("mtable",{rowspacing:".1em",columnspacing:"1em",columnalign:"left left"},[Q("mtr",null,[Q("mtd",null,[Q("mi",null,"L"),Q("mo",{stretchy:"false"},"("),Q("mo",null,"−"),Q("mi",null,"v"),Q("mo",null,","),Q("mi",null,"p"),Q("mo",{stretchy:"false"},")"),Q("mo",null,"="),Q("mn",null,"1")])]),Q("mtr",null,[Q("mtd",null,[Q("mi",null,"L"),Q("mo",{stretchy:"false"},"("),Q("mo",null,"−"),Q("mi",null,"v"),Q("mo",null,","),Q("mi",null,"q"),Q("mo",{stretchy:"false"},")"),Q("mo",null,"="),Q("mo",null,"−"),Q("mn",null,"1")])])]),Q("mo",{"data-mjx-texclass":"CLOSE",fence:"true",stretchy:"true",symmetric:"true"})])])],-1))]),Q("p",null,[T[90]||(T[90]=a("其中有且仅有一个解",-1)),Q("mjx-container",m1,[(m(),t("svg",l1,[...T[84]||(T[84]=[l('',1)])])),T[85]||(T[85]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mi",null,"u"),Q("mo",null,"∈"),Q("mi",null,"Q"),Q("msub",null,[Q("mi",null,"R"),Q("mi",null,"n")])])],-1))]),T[91]||(T[91]=a("，",-1)),T[92]||(T[92]=Q("br",null,null,-1)),T[93]||(T[93]=a(" 举例：",-1)),T[94]||(T[94]=Q("br",null,null,-1)),T[95]||(T[95]=a(" 方程",-1)),Q("mjx-container",n1,[(m(),t("svg",d1,[...T[86]||(T[86]=[l('',1)])])),T[87]||(T[87]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("msup",null,[Q("mi",null,"x"),Q("mn",null,"2")]),Q("mo",null,"≡"),Q("mn",null,"4"),Q("mspace",{width:"0.444em"}),Q("mo",{stretchy:"false"},"("),Q("mi",null,"mod"),Q("mspace",{width:"0.333em"}),Q("mn",null,"21"),Q("mo",{stretchy:"false"},")")])],-1))]),T[96]||(T[96]=a("有四个解",-1)),Q("mjx-container",r1,[(m(),t("svg",e1,[...T[88]||(T[88]=[l('',1)])])),T[89]||(T[89]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mo",null,"±"),Q("mn",null,"2"),Q("mo",{stretchy:"false"},"("),Q("mn",null,"2"),Q("mo",null,","),Q("mn",null,"19"),Q("mo",{stretchy:"false"},")"),Q("mo",null,","),Q("mo",null,"±"),Q("mn",null,"5"),Q("mo",{stretchy:"false"},"("),Q("mn",null,"5"),Q("mo",null,","),Q("mn",null,"16"),Q("mo",{stretchy:"false"},")")])],-1))]),T[97]||(T[97]=a(",",-1))]),Q("mjx-container",o1,[(m(),t("svg",s1,[...T[98]||(T[98]=[l('',1)])])),T[99]||(T[99]=Q("mjx-assistive-mml",{unselectable:"on",display:"block"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML",display:"block"},[Q("mrow",{"data-mjx-texclass":"INNER"},[Q("mo",{"data-mjx-texclass":"OPEN"},"{"),Q("mtable",{rowspacing:".1em",columnspacing:"1em",columnalign:"left left"},[Q("mtr",null,[Q("mtd",null,[Q("mi",null,"L"),Q("mo",{stretchy:"false"},"("),Q("mn",null,"16"),Q("mo",null,","),Q("mn",null,"3"),Q("mo",{stretchy:"false"},")"),Q("mo",null,"="),Q("mn",null,"1")])]),Q("mtr",null,[Q("mtd",null,[Q("mi",null,"L"),Q("mo",{stretchy:"false"},"("),Q("mn",null,"16"),Q("mo",null,","),Q("mn",null,"7"),Q("mo",{stretchy:"false"},")"),Q("mo",null,"="),Q("mn",null,"1")])])]),Q("mo",{"data-mjx-texclass":"CLOSE",fence:"true",stretchy:"true",symmetric:"true"})]),Q("mrow",{"data-mjx-texclass":"INNER"},[Q("mo",{"data-mjx-texclass":"OPEN"},"{"),Q("mtable",{rowspacing:".1em",columnspacing:"1em",columnalign:"left left"},[Q("mtr",null,[Q("mtd",null,[Q("mi",null,"L"),Q("mo",{stretchy:"false"},"("),Q("mn",null,"5"),Q("mo",null,","),Q("mn",null,"3"),Q("mo",{stretchy:"false"},")"),Q("mo",null,"="),Q("mo",null,"−"),Q("mn",null,"1")])]),Q("mtr",null,[Q("mtd",null,[Q("mi",null,"L"),Q("mo",{stretchy:"false"},"("),Q("mn",null,"5"),Q("mo",null,","),Q("mn",null,"7"),Q("mo",{stretchy:"false"},")"),Q("mo",null,"="),Q("mo",null,"−"),Q("mn",null,"1")])])]),Q("mo",{"data-mjx-texclass":"CLOSE",fence:"true",stretchy:"true",symmetric:"true"})]),Q("mrow",{"data-mjx-texclass":"INNER"},[Q("mo",{"data-mjx-texclass":"OPEN"},"{"),Q("mtable",{rowspacing:".1em",columnspacing:"1em",columnalign:"left left"},[Q("mtr",null,[Q("mtd",null,[Q("mi",null,"L"),Q("mo",{stretchy:"false"},"("),Q("mn",null,"2"),Q("mo",null,","),Q("mn",null,"3"),Q("mo",{stretchy:"false"},")"),Q("mo",null,"="),Q("mo",null,"−"),Q("mn",null,"1")])]),Q("mtr",null,[Q("mtd",null,[Q("mi",null,"L"),Q("mo",{stretchy:"false"},"("),Q("mn",null,"2"),Q("mo",null,","),Q("mn",null,"7"),Q("mo",{stretchy:"false"},")"),Q("mo",null,"="),Q("mn",null,"1")])])]),Q("mo",{"data-mjx-texclass":"CLOSE",fence:"true",stretchy:"true",symmetric:"true"})]),Q("mrow",{"data-mjx-texclass":"INNER"},[Q("mo",{"data-mjx-texclass":"OPEN"},"{"),Q("mtable",{rowspacing:".1em",columnspacing:"1em",columnalign:"left left"},[Q("mtr",null,[Q("mtd",null,[Q("mi",null,"L"),Q("mo",{stretchy:"false"},"("),Q("mn",null,"19"),Q("mo",null,","),Q("mn",null,"3"),Q("mo",{stretchy:"false"},")"),Q("mo",null,"="),Q("mn",null,"1")])]),Q("mtr",null,[Q("mtd",null,[Q("mi",null,"L"),Q("mo",{stretchy:"false"},"("),Q("mn",null,"19"),Q("mo",null,","),Q("mn",null,"7"),Q("mo",{stretchy:"false"},")"),Q("mo",null,"="),Q("mo",null,"−"),Q("mn",null,"1")])])]),Q("mo",{"data-mjx-texclass":"CLOSE",fence:"true",stretchy:"true",symmetric:"true"})])])],-1))]),T[221]||(T[221]=Q("h4",{id:"_9-3-4",tabindex:"-1"},[Q("a",{class:"header-anchor",href:"#_9-3-4"},[Q("span",null,"9.3.4")])],-1)),Q("p",null,[T[110]||(T[110]=a("函数",-1)),Q("mjx-container",H1,[(m(),t("svg",g1,[...T[100]||(T[100]=[l('',1)])])),T[101]||(T[101]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mi",null,"f"),Q("mo",{stretchy:"false"},"("),Q("mi",null,"x"),Q("mo",{stretchy:"false"},")"),Q("mo",null,"="),Q("msup",null,[Q("mi",null,"x"),Q("mn",null,"2")]),Q("mspace",{width:"0.444em"}),Q("mo",{stretchy:"false"},"("),Q("mi",null,"mod"),Q("mspace",{width:"0.333em"}),Q("mi",null,"n"),Q("mo",{stretchy:"false"},")")])],-1))]),T[111]||(T[111]=a("是集合",-1)),Q("mjx-container",h1,[(m(),t("svg",p1,[...T[102]||(T[102]=[l('',1)])])),T[103]||(T[103]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mi",null,"Q"),Q("msub",null,[Q("mi",null,"R"),Q("mi",null,"n")])])],-1))]),T[112]||(T[112]=a("的一个置换，也就是说，对于任意",-1)),Q("mjx-container",i1,[(m(),t("svg",V1,[...T[104]||(T[104]=[l('',1)])])),T[105]||(T[105]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mi",null,"x"),Q("mo",null,"∈"),Q("mi",null,"Q"),Q("msub",null,[Q("mi",null,"R"),Q("mi",null,"n")]),Q("mo",null,","),Q("mi",null,"f"),Q("mo",{stretchy:"false"},"("),Q("mi",null,"x"),Q("mo",{stretchy:"false"},")"),Q("mo",null,"∈"),Q("mi",null,"Q"),Q("msub",null,[Q("mi",null,"R"),Q("mi",null,"n")])])],-1))]),T[113]||(T[113]=a("，且",-1)),Q("mjx-container",L1,[(m(),t("svg",f1,[...T[106]||(T[106]=[l('',1)])])),T[107]||(T[107]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mi",null,"f"),Q("mo",{stretchy:"false"},"("),Q("mi",null,"x"),Q("mo",{stretchy:"false"},")")])],-1))]),T[114]||(T[114]=a("和",-1)),Q("mjx-container",M1,[(m(),t("svg",u1,[...T[108]||(T[108]=[Q("g",{stroke:"currentColor",fill:"currentColor","stroke-width":"0",transform:"scale(1,-1)"},[Q("g",{"data-mml-node":"math"},[Q("g",{"data-mml-node":"mi"},[Q("path",{"data-c":"1D465",d:"M52 289Q59 331 106 386T222 442Q257 442 286 424T329 379Q371 442 430 442Q467 442 494 420T522 361Q522 332 508 314T481 292T458 288Q439 288 427 299T415 328Q415 374 465 391Q454 404 425 404Q412 404 406 402Q368 386 350 336Q290 115 290 78Q290 50 306 38T341 26Q378 26 414 59T463 140Q466 150 469 151T485 153H489Q504 153 504 145Q504 144 502 134Q486 77 440 33T333 -11Q263 -11 227 52Q186 -10 133 -10H127Q78 -10 57 16T35 71Q35 103 54 123T99 143Q142 143 142 101Q142 81 130 66T107 46T94 41L91 40Q91 39 97 36T113 29T132 26Q168 26 194 71Q203 87 217 139T245 247T261 313Q266 340 266 352Q266 380 251 392T217 404Q177 404 142 372T93 290Q91 281 88 280T72 278H58Q52 284 52 289Z"})])])],-1)])])),T[109]||(T[109]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mi",null,"x")])],-1))]),T[115]||(T[115]=a("一一对应",-1)),T[116]||(T[116]=Q("br",null,null,-1)),T[117]||(T[117]=a(" 举例57=3x19：",-1))]),Q("table",null,[Q("thead",null,[Q("tr",null,[Q("th",Z1,[Q("mjx-container",c1,[(m(),t("svg",x1,[...T[118]||(T[118]=[l('',1)])])),T[119]||(T[119]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mi",null,"x"),Q("mo",null,"∈"),Q("mi",null,"Q"),Q("msub",null,[Q("mi",null,"R"),Q("mrow",{"data-mjx-texclass":"ORD"},[Q("mn",null,"57")])])])],-1))])]),T[120]||(T[120]=Q("th",{style:{"text-align":"left"}},"1",-1)),T[121]||(T[121]=Q("th",{style:{"text-align":"left"}},"4",-1)),T[122]||(T[122]=Q("th",{style:{"text-align":"left"}},"7",-1)),T[123]||(T[123]=Q("th",{style:{"text-align":"left"}},"16",-1)),T[124]||(T[124]=Q("th",{style:{"text-align":"left"}},"25",-1)),T[125]||(T[125]=Q("th",{style:{"text-align":"left"}},"28",-1)),T[126]||(T[126]=Q("th",{style:{"text-align":"left"}},"43",-1)),T[127]||(T[127]=Q("th",{style:{"text-align":"left"}},"49",-1)),T[128]||(T[128]=Q("th",{style:{"text-align":"left"}},"55",-1))])]),Q("tbody",null,[Q("tr",null,[Q("td",w1,[Q("mjx-container",y1,[(m(),t("svg",v1,[...T[129]||(T[129]=[l('',1)])])),T[130]||(T[130]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("msup",null,[Q("mi",null,"x"),Q("mn",null,"2")]),Q("mspace",{width:"0.667em"}),Q("mi",null,"mod"),Q("mstyle",{scriptlevel:"0"},[Q("mspace",{width:"0.167em"})]),Q("mstyle",{scriptlevel:"0"},[Q("mspace",{width:"0.167em"})]),Q("mn",null,"57")])],-1))])]),T[131]||(T[131]=Q("td",{style:{"text-align":"left"}},"1",-1)),T[132]||(T[132]=Q("td",{style:{"text-align":"left"}},"16",-1)),T[133]||(T[133]=Q("td",{style:{"text-align":"left"}},"49",-1)),T[134]||(T[134]=Q("td",{style:{"text-align":"left"}},"28",-1)),T[135]||(T[135]=Q("td",{style:{"text-align":"left"}},"55",-1)),T[136]||(T[136]=Q("td",{style:{"text-align":"left"}},"43",-1)),T[137]||(T[137]=Q("td",{style:{"text-align":"left"}},"25",-1)),T[138]||(T[138]=Q("td",{style:{"text-align":"left"}},"7",-1)),T[139]||(T[139]=Q("td",{style:{"text-align":"left"}},"4",-1))])])]),T[222]||(T[222]=Q("h4",{id:"_9-3-5",tabindex:"-1"},[Q("a",{class:"header-anchor",href:"#_9-3-5"},[Q("span",null,"9.3.5")])],-1)),Q("p",null,[T[158]||(T[158]=a("对于任意",-1)),Q("mjx-container",D1,[(m(),t("svg",b1,[...T[140]||(T[140]=[l('',1)])])),T[141]||(T[141]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mi",null,"y"),Q("mo",null,"∈"),Q("mi",null,"Q"),Q("msub",null,[Q("mi",null,"R"),Q("mi",null,"n")])])],-1))]),T[159]||(T[159]=a("，方程",-1)),Q("mjx-container",j1,[(m(),t("svg",C1,[...T[142]||(T[142]=[l('',1)])])),T[143]||(T[143]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("msup",null,[Q("mi",null,"x"),Q("mn",null,"2")]),Q("mo",null,"≡"),Q("mi",null,"y"),Q("mspace",{width:"0.444em"}),Q("mo",{stretchy:"false"},"("),Q("mi",null,"mod"),Q("mspace",{width:"0.333em"}),Q("mi",null,"n"),Q("mo",{stretchy:"false"},")")])],-1))]),T[160]||(T[160]=a("有四个根",-1)),Q("mjx-container",B1,[(m(),t("svg",k1,[...T[144]||(T[144]=[l('',1)])])),T[145]||(T[145]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mo",null,"±"),Q("mi",null,"u"),Q("mo",null,","),Q("mo",null,"±"),Q("mi",null,"v")])],-1))]),T[161]||(T[161]=a("，其中一对解",-1)),Q("mjx-container",J1,[(m(),t("svg",S1,[...T[146]||(T[146]=[l('',1)])])),T[147]||(T[147]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mo",null,"±"),Q("mi",null,"u")])],-1))]),T[162]||(T[162]=a(",也就是",-1)),Q("mjx-container",R1,[(m(),t("svg",G1,[...T[148]||(T[148]=[l('',1)])])),T[149]||(T[149]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mi",null,"u"),Q("mo",null,","),Q("mi",null,"n"),Q("mo",null,"−"),Q("mi",null,"u")])],-1))]),T[163]||(T[163]=a(", 一定有一个是奇数，另一个是偶数，一个是在",-1)),Q("mjx-container",O1,[(m(),t("svg",E1,[...T[150]||(T[150]=[l('',1)])])),T[151]||(T[151]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mo",{stretchy:"false"},"["),Q("mn",null,"1"),Q("mo",null,","),Q("mo",{stretchy:"false"},"("),Q("mi",null,"n"),Q("mo",null,"−"),Q("mn",null,"1"),Q("mo",{stretchy:"false"},")"),Q("mrow",{"data-mjx-texclass":"ORD"},[Q("mo",null,"/")]),Q("mn",null,"2"),Q("mo",{stretchy:"false"},"]")])],-1))]),T[164]||(T[164]=a("区间，另一个在",-1)),Q("mjx-container",F1,[(m(),t("svg",N1,[...T[152]||(T[152]=[l('',1)])])),T[153]||(T[153]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mo",{stretchy:"false"},"["),Q("mo",{stretchy:"false"},"("),Q("mi",null,"n"),Q("mo",null,"+"),Q("mn",null,"1"),Q("mo",{stretchy:"false"},")"),Q("mrow",{"data-mjx-texclass":"ORD"},[Q("mo",null,"/")]),Q("mn",null,"2"),Q("mo",null,","),Q("mi",null,"n"),Q("mo",null,"−"),Q("mn",null,"1"),Q("mo",{stretchy:"false"},"]")])],-1))]),T[165]||(T[165]=a("区间",-1)),T[166]||(T[166]=Q("br",null,null,-1)),T[167]||(T[167]=a(" 比如",-1)),Q("mjx-container",A1,[(m(),t("svg",X1,[...T[154]||(T[154]=[l('',1)])])),T[155]||(T[155]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("msup",null,[Q("mi",null,"x"),Q("mn",null,"2")]),Q("mo",null,"≡"),Q("mn",null,"16"),Q("mspace",{width:"0.444em"}),Q("mo",{stretchy:"false"},"("),Q("mi",null,"mod"),Q("mspace",{width:"0.333em"}),Q("mn",null,"21"),Q("mo",{stretchy:"false"},")")])],-1))]),T[168]||(T[168]=a("有四个解",-1)),Q("mjx-container",P1,[(m(),t("svg",I1,[...T[156]||(T[156]=[l('',1)])])),T[157]||(T[157]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mo",{stretchy:"false"},"("),Q("mn",null,"4"),Q("mo",null,","),Q("mn",null,"17"),Q("mo",{stretchy:"false"},")"),Q("mo",null,","),Q("mo",{stretchy:"false"},"("),Q("mn",null,"10"),Q("mo",null,","),Q("mn",null,"11"),Q("mo",{stretchy:"false"},")")])],-1))])]),T[223]||(T[223]=Q("h4",{id:"_9-3-6",tabindex:"-1"},[Q("a",{class:"header-anchor",href:"#_9-3-6"},[Q("span",null,"9.3.6")])],-1)),Q("p",null,[Q("mjx-container",q1,[(m(),t("svg",z1,[...T[169]||(T[169]=[l('',1)])])),T[170]||(T[170]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("msubsup",null,[Q("mrow",{"data-mjx-texclass":"ORD"},[Q("mi",{mathvariant:"double-struck"},"Z")]),Q("mi",null,"n"),Q("mo",null,"∗")])])],-1))]),T[179]||(T[179]=a("被分成不相交且数量相等的四份，分别为",-1)),Q("mjx-container",K1,[(m(),t("svg",U1,[...T[171]||(T[171]=[l('',1)])])),T[172]||(T[172]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mi",null,"Q"),Q("msub",null,[Q("mi",null,"R"),Q("mi",null,"n")]),Q("mo",null,","),Q("mo",{stretchy:"false"},"("),Q("mo",null,"−"),Q("mn",null,"1"),Q("mo",{stretchy:"false"},")"),Q("mi",null,"Q"),Q("msub",null,[Q("mi",null,"R"),Q("mi",null,"n")]),Q("mo",null,","),Q("mi",null,"ξ"),Q("mi",null,"Q"),Q("msub",null,[Q("mi",null,"R"),Q("mi",null,"n")]),Q("mo",null,","),Q("mo",{stretchy:"false"},"("),Q("mo",null,"−"),Q("mi",null,"ξ"),Q("mo",{stretchy:"false"},")"),Q("mi",null,"Q"),Q("msub",null,[Q("mi",null,"R"),Q("mi",null,"n")])])],-1))]),T[180]||(T[180]=a("，其中",-1)),Q("mjx-container",W1,[(m(),t("svg",Y1,[...T[173]||(T[173]=[l('',1)])])),T[174]||(T[174]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("msup",null,[Q("mi",null,"ξ"),Q("mn",null,"2")]),Q("mo",null,"≡"),Q("mn",null,"1"),Q("mspace",{width:"0.444em"}),Q("mo",{stretchy:"false"},"("),Q("mi",null,"mod"),Q("mspace",{width:"0.333em"}),Q("mi",null,"n"),Q("mo",{stretchy:"false"},")")])],-1))]),T[181]||(T[181]=a(", 而且",-1)),Q("mjx-container",$1,[(m(),t("svg",_1,[...T[175]||(T[175]=[l('',1)])])),T[176]||(T[176]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mi",null,"L"),Q("mo",{stretchy:"false"},"("),Q("mi",null,"ξ"),Q("mo",null,","),Q("mi",null,"n"),Q("mo",{stretchy:"false"},")"),Q("mo",null,"="),Q("mo",null,"−"),Q("mn",null,"1")])],-1))]),T[182]||(T[182]=Q("br",null,null,-1)),T[183]||(T[183]=a(" 举例：",-1)),T[184]||(T[184]=Q("br",null,null,-1)),T[185]||(T[185]=a(" 对于",-1)),Q("mjx-container",Q2,[(m(),t("svg",T2,[...T[177]||(T[177]=[l('',1)])])),T[178]||(T[178]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mi",null,"n"),Q("mo",null,"="),Q("mn",null,"21"),Q("mo",null,","),Q("mi",null,"ξ"),Q("mo",null,"="),Q("mn",null,"8"),Q("mo",null,","),Q("msubsup",null,[Q("mrow",{"data-mjx-texclass":"ORD"},[Q("mi",{mathvariant:"double-struck"},"Z")]),Q("mrow",{"data-mjx-texclass":"ORD"},[Q("mn",null,"21")]),Q("mo",null,"∗")]),Q("mo",null,"="),Q("mo",{fence:"false",stretchy:"false"},"{"),Q("mn",null,"1"),Q("mo",null,","),Q("mn",null,"2"),Q("mo",null,","),Q("mn",null,"4"),Q("mo",null,","),Q("mn",null,"5"),Q("mo",null,","),Q("mn",null,"8"),Q("mo",null,","),Q("mn",null,"10"),Q("mo",null,","),Q("mn",null,"11"),Q("mo",null,","),Q("mn",null,"13"),Q("mo",null,","),Q("mn",null,"16"),Q("mo",null,","),Q("mn",null,"17"),Q("mo",null,","),Q("mn",null,"19"),Q("mo",null,","),Q("mn",null,"20"),Q("mo",{fence:"false",stretchy:"false"},"}")])],-1))]),T[186]||(T[186]=a(",",-1))]),Q("mjx-container",a2,[(m(),t("svg",t2,[...T[187]||(T[187]=[l('',1)])])),T[188]||(T[188]=Q("mjx-assistive-mml",{unselectable:"on",display:"block"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML",display:"block"},[Q("mtable",{displaystyle:"true",columnalign:"right left",columnspacing:"0em",rowspacing:"3pt"},[Q("mtr",null,[Q("mtd",null,[Q("mi",null,"Q"),Q("msub",null,[Q("mi",null,"R"),Q("mrow",{"data-mjx-texclass":"ORD"},[Q("mn",null,"21")])])]),Q("mtd",null,[Q("mi"),Q("mo",null,"="),Q("mo",{fence:"false",stretchy:"false"},"{"),Q("mn",null,"1"),Q("mo",null,","),Q("mn",null,"4"),Q("mo",null,","),Q("mn",null,"16"),Q("mo",{fence:"false",stretchy:"false"},"}")])]),Q("mtr",null,[Q("mtd",null,[Q("mo",{stretchy:"false"},"("),Q("mo",null,"−"),Q("mn",null,"1"),Q("mo",{stretchy:"false"},")"),Q("mi",null,"Q"),Q("msub",null,[Q("mi",null,"R"),Q("mrow",{"data-mjx-texclass":"ORD"},[Q("mn",null,"21")])])]),Q("mtd",null,[Q("mi"),Q("mo",null,"="),Q("mo",{fence:"false",stretchy:"false"},"{"),Q("mn",null,"20"),Q("mo",null,","),Q("mn",null,"17"),Q("mo",null,","),Q("mn",null,"5"),Q("mo",{fence:"false",stretchy:"false"},"}")])]),Q("mtr",null,[Q("mtd",null,[Q("mi",null,"ξ"),Q("mi",null,"Q"),Q("msub",null,[Q("mi",null,"R"),Q("mrow",{"data-mjx-texclass":"ORD"},[Q("mn",null,"21")])])]),Q("mtd",null,[Q("mi"),Q("mo",null,"="),Q("mo",{fence:"false",stretchy:"false"},"{"),Q("mn",null,"8"),Q("mo",null,","),Q("mn",null,"32"),Q("mo",null,","),Q("mn",null,"128"),Q("mo",{fence:"false",stretchy:"false"},"}"),Q("mspace",{width:"1em"}),Q("mi",null,"mod"),Q("mstyle",{scriptlevel:"0"},[Q("mspace",{width:"0.167em"})]),Q("mstyle",{scriptlevel:"0"},[Q("mspace",{width:"0.167em"})]),Q("mn",null,"21"),Q("mo",null,"="),Q("mo",{fence:"false",stretchy:"false"},"{"),Q("mn",null,"8"),Q("mo",null,","),Q("mn",null,"11"),Q("mo",null,","),Q("mn",null,"2"),Q("mo",{fence:"false",stretchy:"false"},"}")])]),Q("mtr",null,[Q("mtd",null,[Q("mo",{stretchy:"false"},"("),Q("mo",null,"−"),Q("mi",null,"ξ"),Q("mo",{stretchy:"false"},")"),Q("mi",null,"Q"),Q("msub",null,[Q("mi",null,"R"),Q("mrow",{"data-mjx-texclass":"ORD"},[Q("mn",null,"21")])])]),Q("mtd",null,[Q("mi"),Q("mo",null,"="),Q("mo",{fence:"false",stretchy:"false"},"{"),Q("mn",null,"13"),Q("mo",null,","),Q("mn",null,"10"),Q("mo",null,","),Q("mn",null,"19"),Q("mo",{fence:"false",stretchy:"false"},"}")])])])])],-1))]),T[224]||(T[224]=Q("h4",{id:"_9-3-7",tabindex:"-1"},[Q("a",{class:"header-anchor",href:"#_9-3-7"},[Q("span",null,"9.3.7")])],-1)),Q("p",null,[T[199]||(T[199]=a("如果已知Blum整数",-1)),Q("mjx-container",m2,[(m(),t("svg",l2,[...T[189]||(T[189]=[Q("g",{stroke:"currentColor",fill:"currentColor","stroke-width":"0",transform:"scale(1,-1)"},[Q("g",{"data-mml-node":"math"},[Q("g",{"data-mml-node":"mi"},[Q("path",{"data-c":"1D45B",d:"M21 287Q22 293 24 303T36 341T56 388T89 425T135 442Q171 442 195 424T225 390T231 369Q231 367 232 367L243 378Q304 442 382 442Q436 442 469 415T503 336T465 179T427 52Q427 26 444 26Q450 26 453 27Q482 32 505 65T540 145Q542 153 560 153Q580 153 580 145Q580 144 576 130Q568 101 554 73T508 17T439 -10Q392 -10 371 17T350 73Q350 92 386 193T423 345Q423 404 379 404H374Q288 404 229 303L222 291L189 157Q156 26 151 16Q138 -11 108 -11Q95 -11 87 -5T76 7T74 17Q74 30 112 180T152 343Q153 348 153 366Q153 405 129 405Q91 405 66 305Q60 285 60 284Q58 278 41 278H27Q21 284 21 287Z"})])])],-1)])])),T[190]||(T[190]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mi",null,"n")])],-1))]),T[200]||(T[200]=a("，方程",-1)),Q("mjx-container",n2,[(m(),t("svg",d2,[...T[191]||(T[191]=[l('',1)])])),T[192]||(T[192]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("msup",null,[Q("mi",null,"x"),Q("mn",null,"2")]),Q("mo",null,"≡"),Q("mi",null,"a"),Q("mspace",{width:"0.444em"}),Q("mo",{stretchy:"false"},"("),Q("mi",null,"mod"),Q("mspace",{width:"0.333em"}),Q("mi",null,"n"),Q("mo",{stretchy:"false"},")")])],-1))]),T[201]||(T[201]=a("的四个解",-1)),Q("mjx-container",r2,[(m(),t("svg",e2,[...T[193]||(T[193]=[l('',1)])])),T[194]||(T[194]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mo",null,"±"),Q("msub",null,[Q("mi",null,"x"),Q("mn",null,"1")]),Q("mo",null,","),Q("mo",null,"±"),Q("msub",null,[Q("mi",null,"x"),Q("mn",null,"2")])])],-1))]),T[202]||(T[202]=a(", 那么可以推导出",-1)),Q("mjx-container",o2,[(m(),t("svg",s2,[...T[195]||(T[195]=[Q("g",{stroke:"currentColor",fill:"currentColor","stroke-width":"0",transform:"scale(1,-1)"},[Q("g",{"data-mml-node":"math"},[Q("g",{"data-mml-node":"mi"},[Q("path",{"data-c":"1D45B",d:"M21 287Q22 293 24 303T36 341T56 388T89 425T135 442Q171 442 195 424T225 390T231 369Q231 367 232 367L243 378Q304 442 382 442Q436 442 469 415T503 336T465 179T427 52Q427 26 444 26Q450 26 453 27Q482 32 505 65T540 145Q542 153 560 153Q580 153 580 145Q580 144 576 130Q568 101 554 73T508 17T439 -10Q392 -10 371 17T350 73Q350 92 386 193T423 345Q423 404 379 404H374Q288 404 229 303L222 291L189 157Q156 26 151 16Q138 -11 108 -11Q95 -11 87 -5T76 7T74 17Q74 30 112 180T152 343Q153 348 153 366Q153 405 129 405Q91 405 66 305Q60 285 60 284Q58 278 41 278H27Q21 284 21 287Z"})])])],-1)])])),T[196]||(T[196]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mi",null,"n")])],-1))]),T[203]||(T[203]=a("的两个质数因子",-1)),Q("mjx-container",H2,[(m(),t("svg",g2,[...T[197]||(T[197]=[l('',1)])])),T[198]||(T[198]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mo",{"data-mjx-texclass":"OP",movablelimits:"true"},"gcd"),Q("mo",{stretchy:"false"},"("),Q("msub",null,[Q("mi",null,"x"),Q("mn",null,"1")]),Q("mo",null,"+"),Q("msub",null,[Q("mi",null,"x"),Q("mn",null,"2")]),Q("mo",null,","),Q("mi",null,"n"),Q("mo",{stretchy:"false"},")"),Q("mo",null,","),Q("mo",{"data-mjx-texclass":"OP",movablelimits:"true"},"gcd"),Q("mo",{stretchy:"false"},"("),Q("msub",null,[Q("mi",null,"x"),Q("mn",null,"1")]),Q("mo",null,"−"),Q("msub",null,[Q("mi",null,"x"),Q("mn",null,"2")]),Q("mo",null,","),Q("mi",null,"n"),Q("mo",{stretchy:"false"},")")])],-1))])]),Q("p",null,[T[210]||(T[210]=a("举例：",-1)),T[211]||(T[211]=Q("br",null,null,-1)),T[212]||(T[212]=a(" 如果已知方程",-1)),Q("mjx-container",h2,[(m(),t("svg",p2,[...T[204]||(T[204]=[l('',1)])])),T[205]||(T[205]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("msup",null,[Q("mi",null,"x"),Q("mn",null,"2")]),Q("mo",null,"≡"),Q("mn",null,"16"),Q("mspace",{width:"0.444em"}),Q("mo",{stretchy:"false"},"("),Q("mi",null,"mod"),Q("mspace",{width:"0.333em"}),Q("mn",null,"21"),Q("mo",{stretchy:"false"},")")])],-1))]),T[213]||(T[213]=a("的四个解为",-1)),Q("mjx-container",i2,[(m(),t("svg",V2,[...T[206]||(T[206]=[l('',1)])])),T[207]||(T[207]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mo",null,"±"),Q("mn",null,"4"),Q("mo",null,","),Q("mo",null,"±"),Q("mn",null,"10")])],-1))]),T[214]||(T[214]=a("，那么",-1)),Q("mjx-container",L2,[(m(),t("svg",f2,[...T[208]||(T[208]=[l('',1)])])),T[209]||(T[209]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mo",{"data-mjx-texclass":"OP",movablelimits:"true"},"gcd"),Q("mo",{stretchy:"false"},"("),Q("mn",null,"10"),Q("mo",null,"+"),Q("mn",null,"4"),Q("mo",null,","),Q("mn",null,"21"),Q("mo",{stretchy:"false"},")"),Q("mo",null,"="),Q("mn",null,"7"),Q("mo",null,","),Q("mo",{"data-mjx-texclass":"OP",movablelimits:"true"},"gcd"),Q("mo",{stretchy:"false"},"("),Q("mn",null,"10"),Q("mo",null,"−"),Q("mn",null,"4"),Q("mo",null,","),Q("mn",null,"21"),Q("mo",{stretchy:"false"},")"),Q("mo",null,"="),Q("mn",null,"3")])],-1))]),T[215]||(T[215]=a("，所以可以推导出21的两个质因子为3和7",-1))])])}const x2=n(d,[["render",M2]]),w2=JSON.parse('{"path":"/note/math/number_theory_3.html","title":"数论（三）","lang":"zh-CN","frontmatter":{"description":"数论（三） 9. Blum整数Blum Integer 9.1 定义 如果有质数，满足,那么称为Blum整数 比如 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, ...","head":[["script",{"type":"application/ld+json"},"{\\"@context\\":\\"https://schema.org\\",\\"@type\\":\\"Article\\",\\"headline\\":\\"数论（三）\\",\\"image\\":[\\"\\"],\\"dateModified\\":\\"2025-02-22T14:42:02.000Z\\",\\"author\\":[{\\"@type\\":\\"Person\\",\\"name\\":\\"JinChao\\",\\"url\\":\\"https://thecodeway.com\\"}]}"],["meta",{"property":"og:url","content":"https://thejinchao.github.io/note/math/number_theory_3.html"}],["meta",{"property":"og:site_name","content":"我的博客和笔记"}],["meta",{"property":"og:title","content":"数论（三）"}],["meta",{"property":"og:description","content":"数论（三） 9. Blum整数Blum Integer 9.1 定义 如果有质数，满足,那么称为Blum整数 比如 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, ..."}],["meta",{"property":"og:type","content":"article"}],["meta",{"property":"og:locale","content":"zh-CN"}],["meta",{"property":"og:updated_time","content":"2025-02-22T14:42:02.000Z"}],["meta",{"property":"article:modified_time","content":"2025-02-22T14:42:02.000Z"}]]},"git":{"createdTime":1740235322000,"updatedTime":1740235322000,"contributors":[{"name":"thejinchao","username":"thejinchao","email":"thejinchao@gmail.com","commits":1,"url":"https://github.com/thejinchao"}]},"readingTime":{"minutes":2.46,"words":738},"filePathRelative":"note/math/number_theory_3.md","autoDesc":true}');export{x2 as comp,w2 as data};