GCD[2^2^m+1,2^2^n+1]==1/;元素[m,整数]&&m>0&&元素[n,整数]&&n>0&m!=n个
单元格[BoxData[RowBox[List[RowBox[List[CrowBox[List[“GCD”,“[”,RowBox[List[SuperscriptBox[“2”,SuperscriptBox[“2“,”m“]],“+”,“1”]],[列表[“m”,“\[Element]”,“Integers”]],“\[And]”,RowBox[列表[”m“,”>“,”0“]],“\[And]”,RowBox[List[“n”,“\[Element]”,“Integers”]],“\[And]”
<math xmlns='http://www.w3.org/1998/Math/MathML'mathematica:form='TraditionalForm'xmlns:mathematica='http://www.wolfram.com/XML/'><语义><mrow><mrow><mrow><mi>gcd</mi><mo>⁡</mo><mo>(</mo><mrow><mrow><msup><mn>2 mn></mrow></mlow><mo>)</mo></mrodw><mo>⩵</mo><mn>1</mn></mrow><mo>/</mo><mrow><mrow><mi>m</mi><mo>∈</mo><msup><语义><mi>ℕ</mi>TagBox[";\[DoubleStruckCapitalN]&#quot;,函数[整数]]</annotation></setmantics><mo>+</mo></msup></mrow><mo></mo><mrow><mi>n</mi><mo>∈</mo><msup><语义><mi>ℕ</mi>TagBox[";\[DoubleStruckCapitalN]&#quot;,函数[整数]]</annotation></setmantics><mo>+</mo></msup></mrow><mo></mo><mrow><mi>m</mi><mo>≠</mo><mi>n</mi></mrow></mrodw><annotation-xml encoding='MathML-Content'><apply><ci>条件><apply><plus/><apply><power/><cn type='integer'>2</cn><apply><power//><cn-type='interger'>2</cn><ci>n</ci></apply><cn-type='integer'>1</apply><apply><in/><ci>n
单元格[BoxData[RowBox[List[RowBox[List[“HoldPattern”,“[”,RowBox[List[“GCD”,“]”,Row Box[List[ProwBox[List[SuperscriptBox[“2”,SuperscriptBox[“2“,”m_“]],“+”,“1”]],]“,RowBox[List[”1“,”/;“,RowBox[List[RowBox[列表[”m“,”\[Element]“,“整数”]],“&&”,RowBox[List[“m”,“>”,“0”]]
2001-10-29