import{_ as n,c as t,a as l,b as Q,d as a,o as m}from"./app-CNQ1C_0h.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"},k={class:"MathJax",jax:"SVG",style:{position:"relative"}},B={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"},k1={class:"MathJax",jax:"SVG",style:{position:"relative"}},B1={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("如果有质数")),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("，满足")),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(",那么")),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整数")),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, ..."))]),T[217]||(T[217]=l('以数学家Manuel Blum命名
',3)),Q("p",null,[T[14]||(T[14]=a("设")),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整数"))]),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("由于")),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(", 所以")),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(" 所以"))]),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("推论：")),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(" 举例："))]),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("对于任意")),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("，如果")),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("，那么")),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("和")),Q("mjx-container",k,[(m(),t("svg",B,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("有一个属于")),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("，有一个属于")),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(" 举例：")),T[65]||(T[65]=Q("br",null,null,-1)),T[66]||(T[66]=a(" 满足")),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("的数有")),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("，其中")),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("属于")),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(", ")),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("属于")),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("对于任意")),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("，方程")),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("有四个根")),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("，这四个根满足以下组合"))]),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("其中有且仅有一个解")),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("，")),T[92]||(T[92]=Q("br",null,null,-1)),T[93]||(T[93]=a(" 举例：")),T[94]||(T[94]=Q("br",null,null,-1)),T[95]||(T[95]=a(" 方程")),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("有四个解")),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(","))]),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("函数")),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("是集合")),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("的一个置换，也就是说，对于任意")),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("，且")),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("和")),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("一一对应")),T[116]||(T[116]=Q("br",null,null,-1)),T[117]||(T[117]=a(" 举例57=3x19："))]),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("对于任意")),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("，方程")),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("有四个根")),Q("mjx-container",k1,[(m(),t("svg",B1,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("，其中一对解")),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(",也就是")),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(", 一定有一个是奇数，另一个是偶数，一个是在")),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("区间，另一个在")),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("区间")),T[166]||(T[166]=Q("br",null,null,-1)),T[167]||(T[167]=a(" 比如")),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("有四个解")),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("被分成不相交且数量相等的四份，分别为")),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("，其中")),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(", 而且")),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(" 举例：")),T[184]||(T[184]=Q("br",null,null,-1)),T[185]||(T[185]=a(" 对于")),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(","))]),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整数")),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("，方程")),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("的四个解")),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(", 那么可以推导出")),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("的两个质数因子")),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("举例：")),T[211]||(T[211]=Q("br",null,null,-1)),T[212]||(T[212]=a(" 如果已知方程")),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("的四个解为")),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("，那么")),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"))])])}const c2=n(d,[["render",M2],["__file","number_theory_3.html.vue"]]),x2=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":{},"filePathRelative":"note/math/number_theory_3.md"}');export{c2 as comp,x2 as data};