{"id":248,"date":"2025-08-13T11:50:00","date_gmt":"2025-08-13T03:50:00","guid":{"rendered":"http:\/\/www.triode.cc\/?p=248"},"modified":"2025-10-02T15:10:34","modified_gmt":"2025-10-02T07:10:34","slug":"apple-banana-pineapple","status":"publish","type":"post","link":"https:\/\/www.triode.cc\/index.php\/2025\/08\/13\/apple-banana-pineapple\/","title":{"rendered":"\u4e00\u9053\u7ecf\u5178\u6570\u8bba\u95ee\u9898\u7684\u89e3\u7b54\u4e0e\u7b80\u8981\u5206\u6790"},"content":{"rendered":"\n<p>\u8fd9\u6bb5\u65f6\u95f4\u5076\u7136\u5237\u5230\u4e00\u9053\u6211\u8fd8\u662f\u9ad8\u4e2d\u751f\u7684\u65f6\u5019\u5c31\u89c1\u8fc7\u7684\u770b\u8d77\u6765\u7b80\u5355\u4f46\u662f\u5b9e\u9645\u4e0a\u5e76\u4e0d\u7b97\u5f88\u7b80\u5355\u7684\u6570\u5b66\u9898\uff0c\u60f3\u7740\u73b0\u5728\u7684\u77e5\u8bc6\u50a8\u5907\u5e94\u8be5\u8db3\u591f\u89e3\u51b3\u8fd9\u9053\u9898\u4e86\uff0c\u6240\u4ee5\u8bb0\u5f55\u4e00\u4e0b.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">\u539f\u95ee\u9898<\/h2>\n\n\n\n<p>\u5df2\u77e5\\(x,y,z\\)\u4e3a\u4e09\u6b63\u6574\u6570\u4e14\u6ee1\u8db3<\/p>\n\n\n\n<p>$$<br>\\frac{x}{y+z}+\\frac{y}{x+z}+\\frac{z}{x+y}=4<br>$$<\/p>\n\n\n\n<p>\u6c42\\(x,y,z\\).<\/p>\n\n\n\n<h3 class=\"wp-block-heading\">\u89e3\u7b54<\/h3>\n\n\n\n<p>\u65b9\u7a0b\u4e24\u8fb9\u4e58\u4e0a\\((x+y)(x+z)(y+z)\\)\u53ef\u4ee5\u5f97\u5230\uff1a<\/p>\n\n\n\n<p>$$<br>x(x+y)(x+z)+y(x+y)(y+z)+z(x+z)(y+z)=4(x+y)(x+z)(y+z)<br>$$<\/p>\n\n\n\n<p>\u5c55\u5f00\u540e\u6574\u7406\u53ef\u5f97\uff1a<\/p>\n\n\n\n<p>$$<br>x^{3} &#8211; 3 x^{2} y &#8211; 3 x y^{2} + y^{3} &#8211; 3 x^{2} z &#8211; 5 x y z &#8211; 3 y^{2} z &#8211; 3 x z^{2} &#8211; 3 y z^{2} + z^{3}=0<br>$$<\/p>\n\n\n\n<p>\u4f7f\u7528sagemath\u7684<code>EllipticCurve_from_cubic<\/code>\u65b9\u6cd5\u53ef\u4ee5\u5f97\u5230\uff1a<\/p>\n\n\n\n<div class=\"wp-block-kevinbatdorf-code-block-pro\" data-code-block-pro-font-family=\"Code-Pro-JetBrains-Mono\" style=\"font-size:.875rem;font-family:Code-Pro-JetBrains-Mono,ui-monospace,SFMono-Regular,Menlo,Monaco,Consolas,monospace;line-height:1.25rem;--cbp-tab-width:2;tab-size:var(--cbp-tab-width, 2)\"><span style=\"display:block;padding:16px 0 0 16px;margin-bottom:-1px;width:100%;text-align:left;background-color:#2e3440ff\"><svg xmlns=\"http:\/\/www.w3.org\/2000\/svg\" width=\"54\" height=\"14\" viewBox=\"0 0 54 14\"><g fill=\"none\" fill-rule=\"evenodd\" transform=\"translate(1 1)\"><circle cx=\"6\" cy=\"6\" r=\"6\" fill=\"#FF5F56\" stroke=\"#E0443E\" stroke-width=\".5\"><\/circle><circle cx=\"26\" cy=\"6\" r=\"6\" fill=\"#FFBD2E\" stroke=\"#DEA123\" stroke-width=\".5\"><\/circle><circle cx=\"46\" cy=\"6\" r=\"6\" fill=\"#27C93F\" stroke=\"#1AAB29\" stroke-width=\".5\"><\/circle><\/g><\/svg><\/span><span role=\"button\" tabindex=\"0\" style=\"color:#d8dee9ff;display:none\" aria-label=\"\u590d\u5236\" class=\"code-block-pro-copy-button\"><pre class=\"code-block-pro-copy-button-pre\" aria-hidden=\"true\"><textarea class=\"code-block-pro-copy-button-textarea\" tabindex=\"-1\" aria-hidden=\"true\" readonly>Scheme morphism:\n  From: Projective Plane Curve over Rational Field defined by x^3 - 3*x^2*y - 3*x*y^2 + y^3 - 3*x^2*z - 5*x*y*z - 3*y^2*z - 3*x*z^2 - 3*y*z^2 + z^3\n  To:   Elliptic Curve defined by y^2 + x*y = x^3 + 69*x^2 + 1365*x + 8281 over Rational Field\n  Defn: Defined on coordinates by sending (x : y : z) to\n        (-x - z : x : 6\/91*x - 1\/91*y + 6\/91*z)<\/textarea><\/pre><svg xmlns=\"http:\/\/www.w3.org\/2000\/svg\" style=\"width:24px;height:24px\" fill=\"none\" viewBox=\"0 0 24 24\" stroke=\"currentColor\" stroke-width=\"2\"><path class=\"with-check\" stroke-linecap=\"round\" stroke-linejoin=\"round\" d=\"M9 5H7a2 2 0 00-2 2v12a2 2 0 002 2h10a2 2 0 002-2V7a2 2 0 00-2-2h-2M9 5a2 2 0 002 2h2a2 2 0 002-2M9 5a2 2 0 012-2h2a2 2 0 012 2m-6 9l2 2 4-4\"><\/path><path class=\"without-check\" stroke-linecap=\"round\" stroke-linejoin=\"round\" d=\"M9 5H7a2 2 0 00-2 2v12a2 2 0 002 2h10a2 2 0 002-2V7a2 2 0 00-2-2h-2M9 5a2 2 0 002 2h2a2 2 0 002-2M9 5a2 2 0 012-2h2a2 2 0 012 2\"><\/path><\/svg><\/span><pre class=\"shiki nord\" style=\"background-color: #2e3440ff\" tabindex=\"0\"><code><span class=\"line\"><span style=\"color: #d8dee9ff\">Scheme morphism:<\/span><\/span>\n<span class=\"line\"><span style=\"color: #d8dee9ff\">  From: Projective Plane Curve over Rational Field defined by x^3 - 3*x^2*y - 3*x*y^2 + y^3 - 3*x^2*z - 5*x*y*z - 3*y^2*z - 3*x*z^2 - 3*y*z^2 + z^3<\/span><\/span>\n<span class=\"line\"><span style=\"color: #d8dee9ff\">  To:   Elliptic Curve defined by y^2 + x*y = x^3 + 69*x^2 + 1365*x + 8281 over Rational Field<\/span><\/span>\n<span class=\"line\"><span style=\"color: #d8dee9ff\">  Defn: Defined on coordinates by sending (x : y : z) to<\/span><\/span>\n<span class=\"line\"><span style=\"color: #d8dee9ff\">        (-x - z : x : 6\/91*x - 1\/91*y + 6\/91*z)<\/span><\/span><\/code><\/pre><\/div>\n\n\n\n<p>\u4e5f\u5c31\u662f\u4ee4\\(X=-x-z,Y=x,Z=\\frac{6}{91}x-\\frac{1}{91}y+\\frac{6}{91}z\\)\u53ef\u4ee5\u5f97\u5230\u66f2\u7ebf\uff1a<\/p>\n\n\n\n<p>$$<br>Y^2+XY=X^3+69X^2+1365X+8281<br>$$<\/p>\n\n\n\n<p>\u90a3\u4e48\u6211\u4eec\u53ea\u9700\u8981\u641c\u7d22\u8be5\u66f2\u7ebf\u4e0a\u7684\u6709\u7406\u70b9\\((X_r\/Z_r,Y_r\/Z_r,1)\\)\uff0c\u5e76\u8ba1\u7b97\uff1a<\/p>\n\n\n\n<p>$$<br>\\begin{cases}<br>x=Y_r\\\\<br>y=-91(Z_r+\\frac{6}{91}X_r)=-91Z_r-6X_r\\\\<br>z=-X_r-Y_r<br>\\end{cases}<br>$$<\/p>\n\n\n\n<p>\u5224\u65ad\\(x,y,z\\)\u662f\u5426\u5747\u5927\u4e8e\\(0\\)\u5373\u53ef\uff1a<\/p>\n\n\n\n<div class=\"wp-block-kevinbatdorf-code-block-pro\" data-code-block-pro-font-family=\"Code-Pro-JetBrains-Mono\" style=\"font-size:.875rem;font-family:Code-Pro-JetBrains-Mono,ui-monospace,SFMono-Regular,Menlo,Monaco,Consolas,monospace;line-height:1.25rem;--cbp-tab-width:2;tab-size:var(--cbp-tab-width, 2)\"><span style=\"display:block;padding:16px 0 0 16px;margin-bottom:-1px;width:100%;text-align:left;background-color:#2e3440ff\"><svg xmlns=\"http:\/\/www.w3.org\/2000\/svg\" width=\"54\" height=\"14\" viewBox=\"0 0 54 14\"><g fill=\"none\" fill-rule=\"evenodd\" transform=\"translate(1 1)\"><circle cx=\"6\" cy=\"6\" r=\"6\" fill=\"#FF5F56\" stroke=\"#E0443E\" stroke-width=\".5\"><\/circle><circle cx=\"26\" cy=\"6\" r=\"6\" fill=\"#FFBD2E\" stroke=\"#DEA123\" stroke-width=\".5\"><\/circle><circle cx=\"46\" cy=\"6\" r=\"6\" fill=\"#27C93F\" stroke=\"#1AAB29\" stroke-width=\".5\"><\/circle><\/g><\/svg><\/span><span role=\"button\" tabindex=\"0\" style=\"color:#d8dee9ff;display:none\" aria-label=\"\u590d\u5236\" class=\"code-block-pro-copy-button\"><pre class=\"code-block-pro-copy-button-pre\" aria-hidden=\"true\"><textarea class=\"code-block-pro-copy-button-textarea\" tabindex=\"-1\" aria-hidden=\"true\" readonly>R.&lt;x, y, z> = QQ[]\neq = x*(x+y)*(x+z)+y*(x+y)*(y+z)+z*(x+z)*(y+z)-4*(x+y)*(x+z)*(y+z)\n\n\n# print(EllipticCurve_from_cubic(eq, morphism=True))\nE = EllipticCurve_from_cubic(eq, morphism=False)\nprint(E)\nG = E.gens()&#91;0&#93;\n\ntmp = G\nwhile True:\n    tmp = tmp + G\n    Z = lcm(tmp.x().denominator(), tmp.y().denominator())\n    X = tmp.x().numerator() * (Z \/ tmp.x().denominator())\n    Y = tmp.y().numerator() * (Z \/ tmp.y().denominator())\n\n    solx = Y\n    soly = -91*Z - 6*X\n    solz = -X-Y\n    if solx > 0 and soly > 0 and solz > 0 and eq(solx, soly, solz) == 0:\n        print(f'x = {solx}\\ny = {soly}\\nz = {solz}')\n        break<\/textarea><\/pre><svg xmlns=\"http:\/\/www.w3.org\/2000\/svg\" style=\"width:24px;height:24px\" fill=\"none\" viewBox=\"0 0 24 24\" stroke=\"currentColor\" stroke-width=\"2\"><path class=\"with-check\" stroke-linecap=\"round\" stroke-linejoin=\"round\" d=\"M9 5H7a2 2 0 00-2 2v12a2 2 0 002 2h10a2 2 0 002-2V7a2 2 0 00-2-2h-2M9 5a2 2 0 002 2h2a2 2 0 002-2M9 5a2 2 0 012-2h2a2 2 0 012 2m-6 9l2 2 4-4\"><\/path><path class=\"without-check\" stroke-linecap=\"round\" stroke-linejoin=\"round\" d=\"M9 5H7a2 2 0 00-2 2v12a2 2 0 002 2h10a2 2 0 002-2V7a2 2 0 00-2-2h-2M9 5a2 2 0 002 2h2a2 2 0 002-2M9 5a2 2 0 012-2h2a2 2 0 012 2\"><\/path><\/svg><\/span><pre class=\"shiki nord\" style=\"background-color: #2e3440ff\" tabindex=\"0\"><code><span class=\"line\"><span style=\"color: #D8DEE9FF\">R<\/span><span style=\"color: #ECEFF4\">.<\/span><span style=\"color: #81A1C1\">&lt;<\/span><span style=\"color: #D8DEE9FF\">x<\/span><span style=\"color: #ECEFF4\">,<\/span><span style=\"color: #D8DEE9FF\"> y<\/span><span style=\"color: #ECEFF4\">,<\/span><span style=\"color: #D8DEE9FF\"> z<\/span><span style=\"color: #81A1C1\">&gt;<\/span><span style=\"color: #D8DEE9FF\"> <\/span><span style=\"color: #81A1C1\">=<\/span><span style=\"color: #D8DEE9FF\"> QQ<\/span><span style=\"color: #ECEFF4\">[]<\/span><\/span>\n<span class=\"line\"><span style=\"color: #D8DEE9FF\">eq <\/span><span style=\"color: #81A1C1\">=<\/span><span style=\"color: #D8DEE9FF\"> x<\/span><span style=\"color: #81A1C1\">*<\/span><span style=\"color: #ECEFF4\">(<\/span><span style=\"color: #D8DEE9FF\">x<\/span><span style=\"color: #81A1C1\">+<\/span><span style=\"color: #D8DEE9FF\">y<\/span><span style=\"color: #ECEFF4\">)<\/span><span style=\"color: #81A1C1\">*<\/span><span style=\"color: #ECEFF4\">(<\/span><span style=\"color: #D8DEE9FF\">x<\/span><span style=\"color: #81A1C1\">+<\/span><span style=\"color: #D8DEE9FF\">z<\/span><span style=\"color: #ECEFF4\">)<\/span><span style=\"color: #81A1C1\">+<\/span><span style=\"color: #D8DEE9FF\">y<\/span><span style=\"color: #81A1C1\">*<\/span><span style=\"color: #ECEFF4\">(<\/span><span style=\"color: #D8DEE9FF\">x<\/span><span style=\"color: #81A1C1\">+<\/span><span style=\"color: #D8DEE9FF\">y<\/span><span style=\"color: #ECEFF4\">)<\/span><span style=\"color: #81A1C1\">*<\/span><span style=\"color: #ECEFF4\">(<\/span><span style=\"color: #D8DEE9FF\">y<\/span><span style=\"color: #81A1C1\">+<\/span><span style=\"color: #D8DEE9FF\">z<\/span><span style=\"color: #ECEFF4\">)<\/span><span style=\"color: #81A1C1\">+<\/span><span style=\"color: #D8DEE9FF\">z<\/span><span style=\"color: #81A1C1\">*<\/span><span style=\"color: #ECEFF4\">(<\/span><span style=\"color: #D8DEE9FF\">x<\/span><span style=\"color: #81A1C1\">+<\/span><span style=\"color: #D8DEE9FF\">z<\/span><span style=\"color: #ECEFF4\">)<\/span><span style=\"color: #81A1C1\">*<\/span><span style=\"color: #ECEFF4\">(<\/span><span style=\"color: #D8DEE9FF\">y<\/span><span style=\"color: #81A1C1\">+<\/span><span style=\"color: #D8DEE9FF\">z<\/span><span style=\"color: #ECEFF4\">)<\/span><span style=\"color: #81A1C1\">-<\/span><span style=\"color: #B48EAD\">4<\/span><span style=\"color: #81A1C1\">*<\/span><span style=\"color: #ECEFF4\">(<\/span><span style=\"color: #D8DEE9FF\">x<\/span><span style=\"color: #81A1C1\">+<\/span><span style=\"color: #D8DEE9FF\">y<\/span><span style=\"color: #ECEFF4\">)<\/span><span style=\"color: #81A1C1\">*<\/span><span style=\"color: #ECEFF4\">(<\/span><span style=\"color: #D8DEE9FF\">x<\/span><span style=\"color: #81A1C1\">+<\/span><span style=\"color: #D8DEE9FF\">z<\/span><span style=\"color: #ECEFF4\">)<\/span><span style=\"color: #81A1C1\">*<\/span><span style=\"color: #ECEFF4\">(<\/span><span style=\"color: #D8DEE9FF\">y<\/span><span style=\"color: #81A1C1\">+<\/span><span style=\"color: #D8DEE9FF\">z<\/span><span style=\"color: #ECEFF4\">)<\/span><\/span>\n<span class=\"line\"><\/span>\n<span class=\"line\"><\/span>\n<span class=\"line\"><span style=\"color: #616E88\"># print(EllipticCurve_from_cubic(eq, morphism=True))<\/span><\/span>\n<span class=\"line\"><span style=\"color: #D8DEE9FF\">E <\/span><span style=\"color: #81A1C1\">=<\/span><span style=\"color: #D8DEE9FF\"> <\/span><span style=\"color: #88C0D0\">EllipticCurve_from_cubic<\/span><span style=\"color: #ECEFF4\">(<\/span><span style=\"color: #D8DEE9FF\">eq<\/span><span style=\"color: #ECEFF4\">,<\/span><span style=\"color: #D8DEE9FF\"> <\/span><span style=\"color: #D8DEE9\">morphism<\/span><span style=\"color: #81A1C1\">=False<\/span><span style=\"color: #ECEFF4\">)<\/span><\/span>\n<span class=\"line\"><span style=\"color: #88C0D0\">print<\/span><span style=\"color: #ECEFF4\">(<\/span><span style=\"color: #D8DEE9FF\">E<\/span><span style=\"color: #ECEFF4\">)<\/span><\/span>\n<span class=\"line\"><span style=\"color: #D8DEE9FF\">G <\/span><span style=\"color: #81A1C1\">=<\/span><span style=\"color: #D8DEE9FF\"> E<\/span><span style=\"color: #ECEFF4\">.<\/span><span style=\"color: #88C0D0\">gens<\/span><span style=\"color: #ECEFF4\">()&#91;<\/span><span style=\"color: #B48EAD\">0<\/span><span style=\"color: #ECEFF4\">&#93;<\/span><\/span>\n<span class=\"line\"><\/span>\n<span class=\"line\"><span style=\"color: #D8DEE9FF\">tmp <\/span><span style=\"color: #81A1C1\">=<\/span><span style=\"color: #D8DEE9FF\"> G<\/span><\/span>\n<span class=\"line\"><span style=\"color: #81A1C1\">while<\/span><span style=\"color: #D8DEE9FF\"> <\/span><span style=\"color: #81A1C1\">True<\/span><span style=\"color: #ECEFF4\">:<\/span><\/span>\n<span class=\"line\"><span style=\"color: #D8DEE9FF\">    tmp <\/span><span style=\"color: #81A1C1\">=<\/span><span style=\"color: #D8DEE9FF\"> tmp <\/span><span style=\"color: #81A1C1\">+<\/span><span style=\"color: #D8DEE9FF\"> G<\/span><\/span>\n<span class=\"line\"><span style=\"color: #D8DEE9FF\">    Z <\/span><span style=\"color: #81A1C1\">=<\/span><span style=\"color: #D8DEE9FF\"> <\/span><span style=\"color: #88C0D0\">lcm<\/span><span style=\"color: #ECEFF4\">(<\/span><span style=\"color: #D8DEE9FF\">tmp<\/span><span style=\"color: #ECEFF4\">.<\/span><span style=\"color: #88C0D0\">x<\/span><span style=\"color: #ECEFF4\">().<\/span><span style=\"color: #88C0D0\">denominator<\/span><span style=\"color: #ECEFF4\">(),<\/span><span style=\"color: #D8DEE9FF\"> tmp<\/span><span style=\"color: #ECEFF4\">.<\/span><span style=\"color: #88C0D0\">y<\/span><span style=\"color: #ECEFF4\">().<\/span><span style=\"color: #88C0D0\">denominator<\/span><span style=\"color: #ECEFF4\">())<\/span><\/span>\n<span class=\"line\"><span style=\"color: #D8DEE9FF\">    X <\/span><span style=\"color: #81A1C1\">=<\/span><span style=\"color: #D8DEE9FF\"> tmp<\/span><span style=\"color: #ECEFF4\">.<\/span><span style=\"color: #88C0D0\">x<\/span><span style=\"color: #ECEFF4\">().<\/span><span style=\"color: #88C0D0\">numerator<\/span><span style=\"color: #ECEFF4\">()<\/span><span style=\"color: #D8DEE9FF\"> <\/span><span style=\"color: #81A1C1\">*<\/span><span style=\"color: #D8DEE9FF\"> <\/span><span style=\"color: #ECEFF4\">(<\/span><span style=\"color: #D8DEE9FF\">Z <\/span><span style=\"color: #81A1C1\">\/<\/span><span style=\"color: #D8DEE9FF\"> tmp<\/span><span style=\"color: #ECEFF4\">.<\/span><span style=\"color: #88C0D0\">x<\/span><span style=\"color: #ECEFF4\">().<\/span><span style=\"color: #88C0D0\">denominator<\/span><span style=\"color: #ECEFF4\">())<\/span><\/span>\n<span class=\"line\"><span style=\"color: #D8DEE9FF\">    Y <\/span><span style=\"color: #81A1C1\">=<\/span><span style=\"color: #D8DEE9FF\"> tmp<\/span><span style=\"color: #ECEFF4\">.<\/span><span style=\"color: #88C0D0\">y<\/span><span style=\"color: #ECEFF4\">().<\/span><span style=\"color: #88C0D0\">numerator<\/span><span style=\"color: #ECEFF4\">()<\/span><span style=\"color: #D8DEE9FF\"> <\/span><span style=\"color: #81A1C1\">*<\/span><span style=\"color: #D8DEE9FF\"> <\/span><span style=\"color: #ECEFF4\">(<\/span><span style=\"color: #D8DEE9FF\">Z <\/span><span style=\"color: #81A1C1\">\/<\/span><span style=\"color: #D8DEE9FF\"> tmp<\/span><span style=\"color: #ECEFF4\">.<\/span><span style=\"color: #88C0D0\">y<\/span><span style=\"color: #ECEFF4\">().<\/span><span style=\"color: #88C0D0\">denominator<\/span><span style=\"color: #ECEFF4\">())<\/span><\/span>\n<span class=\"line\"><\/span>\n<span class=\"line\"><span style=\"color: #D8DEE9FF\">    solx <\/span><span style=\"color: #81A1C1\">=<\/span><span style=\"color: #D8DEE9FF\"> Y<\/span><\/span>\n<span class=\"line\"><span style=\"color: #D8DEE9FF\">    soly <\/span><span style=\"color: #81A1C1\">=<\/span><span style=\"color: #D8DEE9FF\"> <\/span><span style=\"color: #81A1C1\">-<\/span><span style=\"color: #B48EAD\">91<\/span><span style=\"color: #81A1C1\">*<\/span><span style=\"color: #D8DEE9FF\">Z <\/span><span style=\"color: #81A1C1\">-<\/span><span style=\"color: #D8DEE9FF\"> <\/span><span style=\"color: #B48EAD\">6<\/span><span style=\"color: #81A1C1\">*<\/span><span style=\"color: #D8DEE9FF\">X<\/span><\/span>\n<span class=\"line\"><span style=\"color: #D8DEE9FF\">    solz <\/span><span style=\"color: #81A1C1\">=<\/span><span style=\"color: #D8DEE9FF\"> <\/span><span style=\"color: #81A1C1\">-<\/span><span style=\"color: #D8DEE9FF\">X<\/span><span style=\"color: #81A1C1\">-<\/span><span style=\"color: #D8DEE9FF\">Y<\/span><\/span>\n<span class=\"line\"><span style=\"color: #D8DEE9FF\">    <\/span><span style=\"color: #81A1C1\">if<\/span><span style=\"color: #D8DEE9FF\"> solx <\/span><span style=\"color: #81A1C1\">&gt;<\/span><span style=\"color: #D8DEE9FF\"> <\/span><span style=\"color: #B48EAD\">0<\/span><span style=\"color: #D8DEE9FF\"> <\/span><span style=\"color: #81A1C1\">and<\/span><span style=\"color: #D8DEE9FF\"> soly <\/span><span style=\"color: #81A1C1\">&gt;<\/span><span style=\"color: #D8DEE9FF\"> <\/span><span style=\"color: #B48EAD\">0<\/span><span style=\"color: #D8DEE9FF\"> <\/span><span style=\"color: #81A1C1\">and<\/span><span style=\"color: #D8DEE9FF\"> solz <\/span><span style=\"color: #81A1C1\">&gt;<\/span><span style=\"color: #D8DEE9FF\"> <\/span><span style=\"color: #B48EAD\">0<\/span><span style=\"color: #D8DEE9FF\"> <\/span><span style=\"color: #81A1C1\">and<\/span><span style=\"color: #D8DEE9FF\"> <\/span><span style=\"color: #88C0D0\">eq<\/span><span style=\"color: #ECEFF4\">(<\/span><span style=\"color: #D8DEE9FF\">solx<\/span><span style=\"color: #ECEFF4\">,<\/span><span style=\"color: #D8DEE9FF\"> soly<\/span><span style=\"color: #ECEFF4\">,<\/span><span style=\"color: #D8DEE9FF\"> solz<\/span><span style=\"color: #ECEFF4\">)<\/span><span style=\"color: #D8DEE9FF\"> <\/span><span style=\"color: #81A1C1\">==<\/span><span style=\"color: #D8DEE9FF\"> <\/span><span style=\"color: #B48EAD\">0<\/span><span style=\"color: #ECEFF4\">:<\/span><\/span>\n<span class=\"line\"><span style=\"color: #D8DEE9FF\">        <\/span><span style=\"color: #88C0D0\">print<\/span><span style=\"color: #ECEFF4\">(<\/span><span style=\"color: #81A1C1\">f<\/span><span style=\"color: #A3BE8C\">&#39;x = <\/span><span style=\"color: #EBCB8B\">{<\/span><span style=\"color: #D8DEE9FF\">solx<\/span><span style=\"color: #EBCB8B\">}\\n<\/span><span style=\"color: #A3BE8C\">y = <\/span><span style=\"color: #EBCB8B\">{<\/span><span style=\"color: #D8DEE9FF\">soly<\/span><span style=\"color: #EBCB8B\">}\\n<\/span><span style=\"color: #A3BE8C\">z = <\/span><span style=\"color: #EBCB8B\">{<\/span><span style=\"color: #D8DEE9FF\">solz<\/span><span style=\"color: #EBCB8B\">}<\/span><span style=\"color: #A3BE8C\">&#39;<\/span><span style=\"color: #ECEFF4\">)<\/span><\/span>\n<span class=\"line\"><span style=\"color: #D8DEE9FF\">        <\/span><span style=\"color: #81A1C1\">break<\/span><\/span><\/code><\/pre><\/div>\n\n\n\n<p>\u641c\u7d22\u53ef\u4ee5\u5f97\u5230\u5176\u4e2d\u4e00\u7ec4\u89e3\uff1a<\/p>\n\n\n\n<p>$$<br>\\begin{aligned}<br>x &amp;= 154476802108746166441951315019919837485664325669565431700026634898253202035277999\\\\<br>y &amp;= 4373612677928697257861252602371390152816537558161613618621437993378423467772036\\\\<br>z &amp;= 36875131794129999827197811565225474825492979968971970996283137471637224634055579\\\\<br>\\end{aligned}<br>$$<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">\u63a8\u5e7f<\/h2>\n\n\n\n<p>\u6211\u4eec\u5c1d\u8bd5\u5c06\u95ee\u9898\u63a8\u5e7f\u5230<\/p>\n\n\n\n<p>$$<br>\\frac{x}{y+z}+\\frac{y}{x+z}+\\frac{z}{x+y}=n<br>$$<\/p>\n\n\n\n<p>\u5176\u4e2d\\(n\\)\u662f\u6b63\u6574\u6570\uff0c\u90a3\u4e48\u6211\u4eec\u53ef\u4ee5\u901a\u8fc7<code>EllipticCurve_from_cubic<\/code>\u65b9\u6cd5\u5f97\u5230\u53ef\u4ee5\u5c06\u4e0a\u8ff0\u65b9\u7a0b\u8f6c\u6362\u4e3a\u4e00\u6761\u9f50\u6b21\u6709\u7406\u692d\u5706\u66f2\u7ebf\u7684\u5750\u6807\u53d8\u6362\uff0c\u5bf9\u4e0d\u540c\u7684\\(n\\)\uff0c\u627e\u89c4\u5f8b\u53ef\u4ee5\u603b\u7ed3\u51fa\u5750\u6807\u53d8\u6362\u7684\u5f62\u5f0f\u5e94\u8be5\u5747\u4e3a\uff1a<\/p>\n\n\n\n<p>$$<br>\\begin{cases}<br>X=-x-z\\\\<br>Y=x\\\\<br>Z=\\frac{n+2}{m}x-\\frac{1}{m}y+\\frac{n+2}{m}z<br>\\end{cases}<br>$$<\/p>\n\n\n\n<p>\u5176\u4e2d\\(m\\)\u4e0e\\(n\\)\u7684\u5173\u7cfb\u6682\u4e0d\u786e\u5b9a\uff0c\u5c1d\u8bd5\u5217\u51fa\\(n=4, 6,10,12,14,16\\)\u65f6\\(m\\)\u4e0e\\(n\\)\u7684\u5173\u7cfb\u5982\u4e0b\uff1a<\/p>\n\n\n\n<figure class=\"wp-block-table\"><table class=\"has-fixed-layout\"><thead><tr><th class=\"has-text-align-center\" data-align=\"center\">\\(n\\)<\/th><th class=\"has-text-align-center\" data-align=\"center\">4<\/th><th class=\"has-text-align-center\" data-align=\"center\">6<\/th><th class=\"has-text-align-center\" data-align=\"center\">10<\/th><th class=\"has-text-align-center\" data-align=\"center\">12<\/th><th class=\"has-text-align-center\" data-align=\"center\">14<\/th><th class=\"has-text-align-center\" data-align=\"center\">16<\/th><\/tr><\/thead><tbody><tr><td class=\"has-text-align-center\" data-align=\"center\">\\(m\\)<\/td><td class=\"has-text-align-center\" data-align=\"center\">91<\/td><td class=\"has-text-align-center\" data-align=\"center\">153<\/td><td class=\"has-text-align-center\" data-align=\"center\">325<\/td><td class=\"has-text-align-center\" data-align=\"center\">435<\/td><td class=\"has-text-align-center\" data-align=\"center\">561<\/td><td class=\"has-text-align-center\" data-align=\"center\">703<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n<p>\u4f7f\u7528matlab\u4f5c\u56fe\u5982\u4e0b\uff1a<\/p>\n\n\n<div class=\"wp-block-image\">\n<figure class=\"aligncenter size-full\"><a href=\"http:\/\/www.triode.cc\/wp-content\/uploads\/2025\/10\/image-4.png\"><div class='fancybox-wrapper lazyload-container-unload' data-fancybox='post-images' href='http:\/\/www.triode.cc\/wp-content\/uploads\/2025\/10\/image-4.png'><img class=\"lazyload lazyload-style-1\" src=\"data:image\/svg+xml;base64,PCEtLUFyZ29uTG9hZGluZy0tPgo8c3ZnIHdpZHRoPSIxIiBoZWlnaHQ9IjEiIHhtbG5zPSJodHRwOi8vd3d3LnczLm9yZy8yMDAwL3N2ZyIgc3Ryb2tlPSIjZmZmZmZmMDAiPjxnPjwvZz4KPC9zdmc+\"  loading=\"lazy\" decoding=\"async\" width=\"560\" height=\"420\" data-original=\"http:\/\/www.triode.cc\/wp-content\/uploads\/2025\/10\/image-4.png\" src=\"data:image\/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAEAAAABCAYAAAAfFcSJAAAAAXNSR0IArs4c6QAAAARnQU1BAACxjwv8YQUAAAAJcEhZcwAADsQAAA7EAZUrDhsAAAANSURBVBhXYzh8+PB\/AAffA0nNPuCLAAAAAElFTkSuQmCC\" alt=\"\" class=\"wp-image-249\"  sizes=\"auto, (max-width: 560px) 100vw, 560px\" \/><\/div><\/a><\/figure>\n<\/div>\n\n\n<p>\u4f3c\u4e4e\u5b58\u5728\u4e00\u5b9a\u5173\u7cfb\uff0c\u5c1d\u8bd5\u91c7\u7528\u62c9\u683c\u6717\u65e5\u63d2\u503c\u6cd5\u8fdb\u884c\u591a\u9879\u5f0f\u63d2\u503c\u53ef\u4ee5\u5f97\u5230\\(m_L(n) = 2n^{2}+11n+15\\)\uff0c\u751f\u6210\u591a\u7ec4\u6570\u636e\u6d4b\u8bd5\u53d1\u73b0\u6d4b\u8bd5\u70b9\u5747\u5728\u63d2\u503c\u66f2\u7ebf\u4e0a\uff0c\u6240\u4ee5\u53ef\u4ee5\u521d\u6b65\u786e\u5b9a\\(m=2n^2+11n+15\\)\uff0c\u4ece\u800c\u53ef\u4ee5\u521d\u6b65\u786e\u5b9a\u5750\u6807\u53d8\u6362\u4e3a\uff1a<\/p>\n\n\n\n<p>$$<br>\\begin{cases}<br>X=-x-z\\\\<br>Y=x\\\\<br>Z=\\frac{n+2}{2n^2+11n+15}x-\\frac{1}{2n^2+11n+15}y+\\frac{n+2}{2n^2+11n+15}z<br>\\end{cases}<br>$$<\/p>\n\n\n\n<p>\u5229\u7528\u9ad8\u65af\u6d88\u5143\u6cd5\u53ef\u4ee5\u5f97\u5230\uff1a<\/p>\n\n\n\n<p>$$<br>\\begin{cases}<br>x = Y\\\\<br>y = -(n+2)X-(2n^2+11n+15)Z\\\\<br>z = -X-Y<br>\\end{cases}<br>$$<\/p>\n\n\n\n<p>\u5c06\u4e0a\u8ff0\u53d8\u6362\u4ee3\u56de\u65b9\u7a0b\u4e2d\u6574\u7406\u53ef\u5f97\uff1a<\/p>\n\n\n\n<p>$$<br>(4n^4+44n^3+181n^2+330n+225)Z^3+(4n^3+36n^2+107n+105)XZ^2+(n^2+9n+17)X^2Z+X^3-XYZ-Y^2Z=0<br>$$<\/p>\n\n\n\n<p>\u4e24\u8fb9\u5747\u9664\u4ee5\\(Z^3\\)\u5e76\u4ee4\\(x&#8217;=X\/Z,y&#8217;=Y\/Z\\)\u53ef\u4ee5\u5f97\u5230\u4e00\u975e\u9f50\u6b21\u5750\u6807\u4e0b\u7684\u692d\u5706\u66f2\u7ebf\u65b9\u7a0b\uff1a<\/p>\n\n\n\n<p>$$<br>y&#8217;^2+x&#8217;y&#8217;=x&#8217;^3+(n^2+9n+17)x&#8217;^2+(4n^3+36n^2+107n+105)x&#8217;+(4n^4+44n^3+181n^2+330n+225)<br>$$<\/p>\n\n\n\n<p>\u6240\u4ee5\u5f88\u663e\u7136\uff0c\u5750\u6807\u53d8\u6362<\/p>\n\n\n\n<p>$$<br>\\begin{cases}<br>X=-x-z\\\\<br>Y=x\\\\<br>Z=\\frac{n+2}{2n^2+11n+15}x-\\frac{1}{2n^2+11n+15}y+\\frac{n+2}{2n^2+11n+15}z<br>\\end{cases}<br>$$<\/p>\n\n\n\n<p>\u53ef\u4ee5\u5c06\u65b9\u7a0b\uff1a<\/p>\n\n\n\n<p>$$<br>\\frac{x}{y+z}+\\frac{y}{x+z}+\\frac{z}{x+y}=n<br>$$<br>\u8f6c\u6362\u4e3a\u692d\u5706\u66f2\u7ebf\uff1a<br>$$<br>y&#8217;^2+x&#8217;y&#8217;=x&#8217;^3+(n^2+9n+17)x&#8217;^2+(4n^3+36n^2+107n+105)x&#8217;+(4n^4+44n^3+181n^2+330n+225)<br>$$<\/p>\n\n\n\n<p>\u90a3\u4e48\u6211\u4eec\u53ef\u4ee5\u5229\u7528\u4e0a\u8ff0\u5173\u7cfb\u6765\u6c42\u89e3\u4efb\u610f\\(n\\in\\mathbb{N}_+\\)\u65f6\u7684\uff1a<\/p>\n\n\n\n<p>$$<br>\\frac{x}{y+z}+\\frac{y}{x+z}+\\frac{z}{x+y}=n<br>$$<\/p>\n\n\n\n<p>\u6839\u636e\u4e0a\u8ff0\u5206\u6790\uff0c\u53ef\u4ee5\u5f97\u5230\u66f4\u901a\u7528\u7684\u6c42\u89e3\u811a\u672c\u5982\u4e0b\uff1a<\/p>\n\n\n\n<div class=\"wp-block-kevinbatdorf-code-block-pro\" data-code-block-pro-font-family=\"Code-Pro-JetBrains-Mono\" style=\"font-size:.875rem;font-family:Code-Pro-JetBrains-Mono,ui-monospace,SFMono-Regular,Menlo,Monaco,Consolas,monospace;line-height:1.25rem;--cbp-tab-width:2;tab-size:var(--cbp-tab-width, 2)\"><span style=\"display:block;padding:16px 0 0 16px;margin-bottom:-1px;width:100%;text-align:left;background-color:#2e3440ff\"><svg xmlns=\"http:\/\/www.w3.org\/2000\/svg\" width=\"54\" height=\"14\" viewBox=\"0 0 54 14\"><g fill=\"none\" fill-rule=\"evenodd\" transform=\"translate(1 1)\"><circle cx=\"6\" cy=\"6\" r=\"6\" fill=\"#FF5F56\" stroke=\"#E0443E\" stroke-width=\".5\"><\/circle><circle cx=\"26\" cy=\"6\" r=\"6\" fill=\"#FFBD2E\" stroke=\"#DEA123\" stroke-width=\".5\"><\/circle><circle cx=\"46\" cy=\"6\" r=\"6\" fill=\"#27C93F\" stroke=\"#1AAB29\" stroke-width=\".5\"><\/circle><\/g><\/svg><\/span><span role=\"button\" tabindex=\"0\" style=\"color:#d8dee9ff;display:none\" aria-label=\"\u590d\u5236\" class=\"code-block-pro-copy-button\"><pre class=\"code-block-pro-copy-button-pre\" aria-hidden=\"true\"><textarea class=\"code-block-pro-copy-button-textarea\" tabindex=\"-1\" aria-hidden=\"true\" readonly>n = 28\n\nR.&lt;x, y, z> = QQ[]\ncheck = x\/(y+z) + y\/(x+z) + z\/(x+y) - n\n\na1 = 1\na2 = n^2 + 9*n + 17\na3 = 0\na4 = 4*n^3 + 36*n^2 + 107*n + 105\na6 = 4*n^4 + 44*n^3 + 181*n^2 + 330*n + 225\n\nE = EllipticCurve(QQ, &#91;a1, a2, a3, a4, a6&#93;)\n# print(E)\n\nif E.ngens():\n    # print(E.gens())\n    G = E.gens()&#91;0&#93;\n\n    tmp = G\n    cnt = 0\n    while True:\n        tmp = tmp + G\n        Z = lcm(tmp.x().denominator(), tmp.y().denominator())\n        X = tmp.x().numerator() * (Z \/ tmp.x().denominator())\n        Y = tmp.y().numerator() * (Z \/ tmp.y().denominator())\n\n        solx = Y\n        soly = -(n+2)*X - (2*n^2 + 11*n + 15)*Z\n        solz = -X - Y\n\n        g = gcd(gcd(solx, soly), solz)\n        solx = ZZ(solx \/ g)\n        soly = ZZ(soly \/ g)\n        solz = ZZ(solz \/ g)\n        if solx > 0 and soly > 0 and solz > 0 and check(solx, soly, solz) == 0:\n            print(f'x = {solx}\\ny = {soly}\\nz = {solz}')\n            break\nelse:\n    print(\"No solution found\")<\/textarea><\/pre><svg xmlns=\"http:\/\/www.w3.org\/2000\/svg\" style=\"width:24px;height:24px\" fill=\"none\" viewBox=\"0 0 24 24\" stroke=\"currentColor\" stroke-width=\"2\"><path class=\"with-check\" stroke-linecap=\"round\" stroke-linejoin=\"round\" d=\"M9 5H7a2 2 0 00-2 2v12a2 2 0 002 2h10a2 2 0 002-2V7a2 2 0 00-2-2h-2M9 5a2 2 0 002 2h2a2 2 0 002-2M9 5a2 2 0 012-2h2a2 2 0 012 2m-6 9l2 2 4-4\"><\/path><path class=\"without-check\" stroke-linecap=\"round\" stroke-linejoin=\"round\" d=\"M9 5H7a2 2 0 00-2 2v12a2 2 0 002 2h10a2 2 0 002-2V7a2 2 0 00-2-2h-2M9 5a2 2 0 002 2h2a2 2 0 002-2M9 5a2 2 0 012-2h2a2 2 0 012 2\"><\/path><\/svg><\/span><pre class=\"shiki nord\" style=\"background-color: #2e3440ff\" tabindex=\"0\"><code><span class=\"line\"><span style=\"color: #D8DEE9FF\">n <\/span><span style=\"color: #81A1C1\">=<\/span><span style=\"color: #D8DEE9FF\"> <\/span><span style=\"color: #B48EAD\">28<\/span><\/span>\n<span class=\"line\"><\/span>\n<span class=\"line\"><span style=\"color: #D8DEE9FF\">R<\/span><span style=\"color: #ECEFF4\">.<\/span><span style=\"color: #81A1C1\">&lt;<\/span><span style=\"color: #D8DEE9FF\">x<\/span><span style=\"color: #ECEFF4\">,<\/span><span style=\"color: #D8DEE9FF\"> y<\/span><span style=\"color: #ECEFF4\">,<\/span><span style=\"color: #D8DEE9FF\"> z<\/span><span style=\"color: #81A1C1\">&gt;<\/span><span style=\"color: #D8DEE9FF\"> <\/span><span style=\"color: #81A1C1\">=<\/span><span style=\"color: #D8DEE9FF\"> QQ<\/span><span style=\"color: #ECEFF4\">[]<\/span><\/span>\n<span class=\"line\"><span style=\"color: #D8DEE9FF\">check <\/span><span style=\"color: #81A1C1\">=<\/span><span style=\"color: #D8DEE9FF\"> x<\/span><span style=\"color: #81A1C1\">\/<\/span><span style=\"color: #ECEFF4\">(<\/span><span style=\"color: #D8DEE9FF\">y<\/span><span style=\"color: #81A1C1\">+<\/span><span style=\"color: #D8DEE9FF\">z<\/span><span style=\"color: #ECEFF4\">)<\/span><span style=\"color: #D8DEE9FF\"> <\/span><span style=\"color: #81A1C1\">+<\/span><span style=\"color: #D8DEE9FF\"> y<\/span><span style=\"color: #81A1C1\">\/<\/span><span style=\"color: #ECEFF4\">(<\/span><span style=\"color: #D8DEE9FF\">x<\/span><span style=\"color: #81A1C1\">+<\/span><span style=\"color: #D8DEE9FF\">z<\/span><span style=\"color: #ECEFF4\">)<\/span><span style=\"color: #D8DEE9FF\"> <\/span><span style=\"color: #81A1C1\">+<\/span><span style=\"color: #D8DEE9FF\"> z<\/span><span style=\"color: #81A1C1\">\/<\/span><span style=\"color: #ECEFF4\">(<\/span><span style=\"color: #D8DEE9FF\">x<\/span><span style=\"color: #81A1C1\">+<\/span><span style=\"color: #D8DEE9FF\">y<\/span><span style=\"color: #ECEFF4\">)<\/span><span style=\"color: #D8DEE9FF\"> <\/span><span style=\"color: #81A1C1\">-<\/span><span style=\"color: #D8DEE9FF\"> n<\/span><\/span>\n<span class=\"line\"><\/span>\n<span class=\"line\"><span style=\"color: #D8DEE9FF\">a1 <\/span><span style=\"color: #81A1C1\">=<\/span><span style=\"color: #D8DEE9FF\"> <\/span><span style=\"color: #B48EAD\">1<\/span><\/span>\n<span class=\"line\"><span style=\"color: #D8DEE9FF\">a2 <\/span><span style=\"color: #81A1C1\">=<\/span><span style=\"color: #D8DEE9FF\"> n<\/span><span style=\"color: #81A1C1\">^<\/span><span style=\"color: #B48EAD\">2<\/span><span style=\"color: #D8DEE9FF\"> <\/span><span style=\"color: #81A1C1\">+<\/span><span style=\"color: #D8DEE9FF\"> <\/span><span style=\"color: #B48EAD\">9<\/span><span style=\"color: #81A1C1\">*<\/span><span style=\"color: #D8DEE9FF\">n <\/span><span style=\"color: #81A1C1\">+<\/span><span style=\"color: #D8DEE9FF\"> <\/span><span style=\"color: #B48EAD\">17<\/span><\/span>\n<span class=\"line\"><span style=\"color: #D8DEE9FF\">a3 <\/span><span style=\"color: #81A1C1\">=<\/span><span style=\"color: #D8DEE9FF\"> <\/span><span style=\"color: #B48EAD\">0<\/span><\/span>\n<span class=\"line\"><span style=\"color: #D8DEE9FF\">a4 <\/span><span style=\"color: #81A1C1\">=<\/span><span style=\"color: #D8DEE9FF\"> <\/span><span style=\"color: #B48EAD\">4<\/span><span style=\"color: #81A1C1\">*<\/span><span style=\"color: #D8DEE9FF\">n<\/span><span style=\"color: #81A1C1\">^<\/span><span style=\"color: #B48EAD\">3<\/span><span style=\"color: #D8DEE9FF\"> <\/span><span style=\"color: #81A1C1\">+<\/span><span style=\"color: #D8DEE9FF\"> <\/span><span style=\"color: #B48EAD\">36<\/span><span style=\"color: #81A1C1\">*<\/span><span style=\"color: #D8DEE9FF\">n<\/span><span style=\"color: #81A1C1\">^<\/span><span style=\"color: #B48EAD\">2<\/span><span style=\"color: #D8DEE9FF\"> <\/span><span style=\"color: #81A1C1\">+<\/span><span style=\"color: #D8DEE9FF\"> <\/span><span style=\"color: #B48EAD\">107<\/span><span style=\"color: #81A1C1\">*<\/span><span style=\"color: #D8DEE9FF\">n <\/span><span style=\"color: #81A1C1\">+<\/span><span style=\"color: #D8DEE9FF\"> <\/span><span style=\"color: #B48EAD\">105<\/span><\/span>\n<span class=\"line\"><span style=\"color: #D8DEE9FF\">a6 <\/span><span style=\"color: #81A1C1\">=<\/span><span style=\"color: #D8DEE9FF\"> <\/span><span style=\"color: #B48EAD\">4<\/span><span style=\"color: #81A1C1\">*<\/span><span style=\"color: #D8DEE9FF\">n<\/span><span style=\"color: #81A1C1\">^<\/span><span style=\"color: #B48EAD\">4<\/span><span style=\"color: #D8DEE9FF\"> <\/span><span style=\"color: #81A1C1\">+<\/span><span style=\"color: #D8DEE9FF\"> <\/span><span style=\"color: #B48EAD\">44<\/span><span style=\"color: #81A1C1\">*<\/span><span style=\"color: #D8DEE9FF\">n<\/span><span style=\"color: #81A1C1\">^<\/span><span style=\"color: #B48EAD\">3<\/span><span style=\"color: #D8DEE9FF\"> <\/span><span style=\"color: #81A1C1\">+<\/span><span style=\"color: #D8DEE9FF\"> <\/span><span style=\"color: #B48EAD\">181<\/span><span style=\"color: #81A1C1\">*<\/span><span style=\"color: #D8DEE9FF\">n<\/span><span style=\"color: #81A1C1\">^<\/span><span style=\"color: #B48EAD\">2<\/span><span style=\"color: #D8DEE9FF\"> <\/span><span style=\"color: #81A1C1\">+<\/span><span style=\"color: #D8DEE9FF\"> <\/span><span style=\"color: #B48EAD\">330<\/span><span style=\"color: #81A1C1\">*<\/span><span style=\"color: #D8DEE9FF\">n <\/span><span style=\"color: #81A1C1\">+<\/span><span style=\"color: #D8DEE9FF\"> <\/span><span style=\"color: #B48EAD\">225<\/span><\/span>\n<span class=\"line\"><\/span>\n<span class=\"line\"><span style=\"color: #D8DEE9FF\">E <\/span><span style=\"color: #81A1C1\">=<\/span><span style=\"color: #D8DEE9FF\"> <\/span><span style=\"color: #88C0D0\">EllipticCurve<\/span><span style=\"color: #ECEFF4\">(<\/span><span style=\"color: #D8DEE9FF\">QQ<\/span><span style=\"color: #ECEFF4\">,<\/span><span style=\"color: #D8DEE9FF\"> <\/span><span style=\"color: #ECEFF4\">&#91;<\/span><span style=\"color: #D8DEE9FF\">a1<\/span><span style=\"color: #ECEFF4\">,<\/span><span style=\"color: #D8DEE9FF\"> a2<\/span><span style=\"color: #ECEFF4\">,<\/span><span style=\"color: #D8DEE9FF\"> a3<\/span><span style=\"color: #ECEFF4\">,<\/span><span style=\"color: #D8DEE9FF\"> a4<\/span><span style=\"color: #ECEFF4\">,<\/span><span style=\"color: #D8DEE9FF\"> a6<\/span><span style=\"color: #ECEFF4\">&#93;)<\/span><\/span>\n<span class=\"line\"><span style=\"color: #616E88\"># print(E)<\/span><\/span>\n<span class=\"line\"><\/span>\n<span class=\"line\"><span style=\"color: #81A1C1\">if<\/span><span style=\"color: #D8DEE9FF\"> E<\/span><span style=\"color: #ECEFF4\">.<\/span><span style=\"color: #88C0D0\">ngens<\/span><span style=\"color: #ECEFF4\">():<\/span><\/span>\n<span class=\"line\"><span style=\"color: #D8DEE9FF\">    <\/span><span style=\"color: #616E88\"># print(E.gens())<\/span><\/span>\n<span class=\"line\"><span style=\"color: #D8DEE9FF\">    G <\/span><span style=\"color: #81A1C1\">=<\/span><span style=\"color: #D8DEE9FF\"> E<\/span><span style=\"color: #ECEFF4\">.<\/span><span style=\"color: #88C0D0\">gens<\/span><span style=\"color: #ECEFF4\">()&#91;<\/span><span style=\"color: #B48EAD\">0<\/span><span style=\"color: #ECEFF4\">&#93;<\/span><\/span>\n<span class=\"line\"><\/span>\n<span class=\"line\"><span style=\"color: #D8DEE9FF\">    tmp <\/span><span style=\"color: #81A1C1\">=<\/span><span style=\"color: #D8DEE9FF\"> G<\/span><\/span>\n<span class=\"line\"><span style=\"color: #D8DEE9FF\">    cnt <\/span><span style=\"color: #81A1C1\">=<\/span><span style=\"color: #D8DEE9FF\"> <\/span><span style=\"color: #B48EAD\">0<\/span><\/span>\n<span class=\"line\"><span style=\"color: #D8DEE9FF\">    <\/span><span style=\"color: #81A1C1\">while<\/span><span style=\"color: #D8DEE9FF\"> <\/span><span style=\"color: #81A1C1\">True<\/span><span style=\"color: #ECEFF4\">:<\/span><\/span>\n<span class=\"line\"><span style=\"color: #D8DEE9FF\">        tmp <\/span><span style=\"color: #81A1C1\">=<\/span><span style=\"color: #D8DEE9FF\"> tmp <\/span><span style=\"color: #81A1C1\">+<\/span><span style=\"color: #D8DEE9FF\"> G<\/span><\/span>\n<span class=\"line\"><span style=\"color: #D8DEE9FF\">        Z <\/span><span style=\"color: #81A1C1\">=<\/span><span style=\"color: #D8DEE9FF\"> <\/span><span style=\"color: #88C0D0\">lcm<\/span><span style=\"color: #ECEFF4\">(<\/span><span style=\"color: #D8DEE9FF\">tmp<\/span><span style=\"color: #ECEFF4\">.<\/span><span style=\"color: #88C0D0\">x<\/span><span style=\"color: #ECEFF4\">().<\/span><span style=\"color: #88C0D0\">denominator<\/span><span style=\"color: #ECEFF4\">(),<\/span><span style=\"color: #D8DEE9FF\"> tmp<\/span><span style=\"color: #ECEFF4\">.<\/span><span style=\"color: #88C0D0\">y<\/span><span style=\"color: #ECEFF4\">().<\/span><span style=\"color: #88C0D0\">denominator<\/span><span style=\"color: #ECEFF4\">())<\/span><\/span>\n<span class=\"line\"><span style=\"color: #D8DEE9FF\">        X <\/span><span style=\"color: #81A1C1\">=<\/span><span style=\"color: #D8DEE9FF\"> tmp<\/span><span style=\"color: #ECEFF4\">.<\/span><span style=\"color: #88C0D0\">x<\/span><span style=\"color: #ECEFF4\">().<\/span><span style=\"color: #88C0D0\">numerator<\/span><span style=\"color: #ECEFF4\">()<\/span><span style=\"color: #D8DEE9FF\"> <\/span><span style=\"color: #81A1C1\">*<\/span><span style=\"color: #D8DEE9FF\"> <\/span><span style=\"color: #ECEFF4\">(<\/span><span style=\"color: #D8DEE9FF\">Z <\/span><span style=\"color: #81A1C1\">\/<\/span><span style=\"color: #D8DEE9FF\"> tmp<\/span><span style=\"color: #ECEFF4\">.<\/span><span style=\"color: #88C0D0\">x<\/span><span style=\"color: #ECEFF4\">().<\/span><span style=\"color: #88C0D0\">denominator<\/span><span style=\"color: #ECEFF4\">())<\/span><\/span>\n<span class=\"line\"><span style=\"color: #D8DEE9FF\">        Y <\/span><span style=\"color: #81A1C1\">=<\/span><span style=\"color: #D8DEE9FF\"> tmp<\/span><span style=\"color: #ECEFF4\">.<\/span><span style=\"color: #88C0D0\">y<\/span><span style=\"color: #ECEFF4\">().<\/span><span style=\"color: #88C0D0\">numerator<\/span><span style=\"color: #ECEFF4\">()<\/span><span style=\"color: #D8DEE9FF\"> <\/span><span style=\"color: #81A1C1\">*<\/span><span style=\"color: #D8DEE9FF\"> <\/span><span style=\"color: #ECEFF4\">(<\/span><span style=\"color: #D8DEE9FF\">Z <\/span><span style=\"color: #81A1C1\">\/<\/span><span style=\"color: #D8DEE9FF\"> tmp<\/span><span style=\"color: #ECEFF4\">.<\/span><span style=\"color: #88C0D0\">y<\/span><span style=\"color: #ECEFF4\">().<\/span><span style=\"color: #88C0D0\">denominator<\/span><span style=\"color: #ECEFF4\">())<\/span><\/span>\n<span class=\"line\"><\/span>\n<span class=\"line\"><span style=\"color: #D8DEE9FF\">        solx <\/span><span style=\"color: #81A1C1\">=<\/span><span style=\"color: #D8DEE9FF\"> Y<\/span><\/span>\n<span class=\"line\"><span style=\"color: #D8DEE9FF\">        soly <\/span><span style=\"color: #81A1C1\">=<\/span><span style=\"color: #D8DEE9FF\"> <\/span><span style=\"color: #81A1C1\">-<\/span><span style=\"color: #ECEFF4\">(<\/span><span style=\"color: #D8DEE9FF\">n<\/span><span style=\"color: #81A1C1\">+<\/span><span style=\"color: #B48EAD\">2<\/span><span style=\"color: #ECEFF4\">)<\/span><span style=\"color: #81A1C1\">*<\/span><span style=\"color: #D8DEE9FF\">X <\/span><span style=\"color: #81A1C1\">-<\/span><span style=\"color: #D8DEE9FF\"> <\/span><span style=\"color: #ECEFF4\">(<\/span><span style=\"color: #B48EAD\">2<\/span><span style=\"color: #81A1C1\">*<\/span><span style=\"color: #D8DEE9FF\">n<\/span><span style=\"color: #81A1C1\">^<\/span><span style=\"color: #B48EAD\">2<\/span><span style=\"color: #D8DEE9FF\"> <\/span><span style=\"color: #81A1C1\">+<\/span><span style=\"color: #D8DEE9FF\"> <\/span><span style=\"color: #B48EAD\">11<\/span><span style=\"color: #81A1C1\">*<\/span><span style=\"color: #D8DEE9FF\">n <\/span><span style=\"color: #81A1C1\">+<\/span><span style=\"color: #D8DEE9FF\"> <\/span><span style=\"color: #B48EAD\">15<\/span><span style=\"color: #ECEFF4\">)<\/span><span style=\"color: #81A1C1\">*<\/span><span style=\"color: #D8DEE9FF\">Z<\/span><\/span>\n<span class=\"line\"><span style=\"color: #D8DEE9FF\">        solz <\/span><span style=\"color: #81A1C1\">=<\/span><span style=\"color: #D8DEE9FF\"> <\/span><span style=\"color: #81A1C1\">-<\/span><span style=\"color: #D8DEE9FF\">X <\/span><span style=\"color: #81A1C1\">-<\/span><span style=\"color: #D8DEE9FF\"> Y<\/span><\/span>\n<span class=\"line\"><\/span>\n<span class=\"line\"><span style=\"color: #D8DEE9FF\">        g <\/span><span style=\"color: #81A1C1\">=<\/span><span style=\"color: #D8DEE9FF\"> <\/span><span style=\"color: #88C0D0\">gcd<\/span><span style=\"color: #ECEFF4\">(<\/span><span style=\"color: #88C0D0\">gcd<\/span><span style=\"color: #ECEFF4\">(<\/span><span style=\"color: #D8DEE9FF\">solx<\/span><span style=\"color: #ECEFF4\">,<\/span><span style=\"color: #D8DEE9FF\"> soly<\/span><span style=\"color: #ECEFF4\">),<\/span><span style=\"color: #D8DEE9FF\"> solz<\/span><span style=\"color: #ECEFF4\">)<\/span><\/span>\n<span class=\"line\"><span style=\"color: #D8DEE9FF\">        solx <\/span><span style=\"color: #81A1C1\">=<\/span><span style=\"color: #D8DEE9FF\"> <\/span><span style=\"color: #88C0D0\">ZZ<\/span><span style=\"color: #ECEFF4\">(<\/span><span style=\"color: #D8DEE9FF\">solx <\/span><span style=\"color: #81A1C1\">\/<\/span><span style=\"color: #D8DEE9FF\"> g<\/span><span style=\"color: #ECEFF4\">)<\/span><\/span>\n<span class=\"line\"><span style=\"color: #D8DEE9FF\">        soly <\/span><span style=\"color: #81A1C1\">=<\/span><span style=\"color: #D8DEE9FF\"> <\/span><span style=\"color: #88C0D0\">ZZ<\/span><span style=\"color: #ECEFF4\">(<\/span><span style=\"color: #D8DEE9FF\">soly <\/span><span style=\"color: #81A1C1\">\/<\/span><span style=\"color: #D8DEE9FF\"> g<\/span><span style=\"color: #ECEFF4\">)<\/span><\/span>\n<span class=\"line\"><span style=\"color: #D8DEE9FF\">        solz <\/span><span style=\"color: #81A1C1\">=<\/span><span style=\"color: #D8DEE9FF\"> <\/span><span style=\"color: #88C0D0\">ZZ<\/span><span style=\"color: #ECEFF4\">(<\/span><span style=\"color: #D8DEE9FF\">solz <\/span><span style=\"color: #81A1C1\">\/<\/span><span style=\"color: #D8DEE9FF\"> g<\/span><span style=\"color: #ECEFF4\">)<\/span><\/span>\n<span class=\"line\"><span style=\"color: #D8DEE9FF\">        <\/span><span style=\"color: #81A1C1\">if<\/span><span style=\"color: #D8DEE9FF\"> solx <\/span><span style=\"color: #81A1C1\">&gt;<\/span><span style=\"color: #D8DEE9FF\"> <\/span><span style=\"color: #B48EAD\">0<\/span><span style=\"color: #D8DEE9FF\"> <\/span><span style=\"color: #81A1C1\">and<\/span><span style=\"color: #D8DEE9FF\"> soly <\/span><span style=\"color: #81A1C1\">&gt;<\/span><span style=\"color: #D8DEE9FF\"> <\/span><span style=\"color: #B48EAD\">0<\/span><span style=\"color: #D8DEE9FF\"> <\/span><span style=\"color: #81A1C1\">and<\/span><span style=\"color: #D8DEE9FF\"> solz <\/span><span style=\"color: #81A1C1\">&gt;<\/span><span style=\"color: #D8DEE9FF\"> <\/span><span style=\"color: #B48EAD\">0<\/span><span style=\"color: #D8DEE9FF\"> <\/span><span style=\"color: #81A1C1\">and<\/span><span style=\"color: #D8DEE9FF\"> <\/span><span style=\"color: #88C0D0\">check<\/span><span style=\"color: #ECEFF4\">(<\/span><span style=\"color: #D8DEE9FF\">solx<\/span><span style=\"color: #ECEFF4\">,<\/span><span style=\"color: #D8DEE9FF\"> soly<\/span><span style=\"color: #ECEFF4\">,<\/span><span style=\"color: #D8DEE9FF\"> solz<\/span><span style=\"color: #ECEFF4\">)<\/span><span style=\"color: #D8DEE9FF\"> <\/span><span style=\"color: #81A1C1\">==<\/span><span style=\"color: #D8DEE9FF\"> <\/span><span style=\"color: #B48EAD\">0<\/span><span style=\"color: #ECEFF4\">:<\/span><\/span>\n<span class=\"line\"><span style=\"color: #D8DEE9FF\">            <\/span><span style=\"color: #88C0D0\">print<\/span><span style=\"color: #ECEFF4\">(<\/span><span style=\"color: #81A1C1\">f<\/span><span style=\"color: #A3BE8C\">&#39;x = <\/span><span style=\"color: #EBCB8B\">{<\/span><span style=\"color: #D8DEE9FF\">solx<\/span><span style=\"color: #EBCB8B\">}\\n<\/span><span style=\"color: #A3BE8C\">y = <\/span><span style=\"color: #EBCB8B\">{<\/span><span style=\"color: #D8DEE9FF\">soly<\/span><span style=\"color: #EBCB8B\">}\\n<\/span><span style=\"color: #A3BE8C\">z = <\/span><span style=\"color: #EBCB8B\">{<\/span><span style=\"color: #D8DEE9FF\">solz<\/span><span style=\"color: #EBCB8B\">}<\/span><span style=\"color: #A3BE8C\">&#39;<\/span><span style=\"color: #ECEFF4\">)<\/span><\/span>\n<span class=\"line\"><span style=\"color: #D8DEE9FF\">            <\/span><span style=\"color: #81A1C1\">break<\/span><\/span>\n<span class=\"line\"><span style=\"color: #81A1C1\">else<\/span><span style=\"color: #ECEFF4\">:<\/span><\/span>\n<span class=\"line\"><span style=\"color: #D8DEE9FF\">    <\/span><span style=\"color: #88C0D0\">print<\/span><span style=\"color: #ECEFF4\">(<\/span><span style=\"color: #ECEFF4\">&quot;<\/span><span style=\"color: #A3BE8C\">No solution found<\/span><span style=\"color: #ECEFF4\">&quot;<\/span><span style=\"color: #ECEFF4\">)<\/span><\/span><\/code><\/pre><\/div>\n\n\n\n<p>\u7ecf\u8fc7\u6d4b\u8bd5\uff0c\u4ec5\u5728\\(n\\)\u4e3a\u5076\u6570\u7684\u65f6\u5019\u8be5\u65b9\u7a0b\u53ef\u80fd\u6709\u89e3\uff0c\u5177\u4f53\u539f\u56e0\u5728<a href=\"https:\/\/mlzeng.com\/an-interesting-equation.html\">An interesting equation: x\/(y+z)+y\/(z+x)+z\/(x+y)=4 x,y,z\u2208Z+<\/a>\u4e2d\u6709\u63d0\u53ca.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>\u6709\u5173\u4e8ex\/(y+z)+y\/(x+z)+z\/(x+y)=4\u8fd9\u4e2a\u7ecf\u5178\u65b9\u7a0b\u7684\u6c42\u89e3\u4e0e\u5206\u6790<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[17],"tags":[6,19,18],"class_list":["post-248","post","type-post","status-publish","format-standard","hentry","category-17","tag-6","tag-19","tag-18"],"_links":{"self":[{"href":"https:\/\/www.triode.cc\/index.php\/wp-json\/wp\/v2\/posts\/248","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.triode.cc\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.triode.cc\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.triode.cc\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.triode.cc\/index.php\/wp-json\/wp\/v2\/comments?post=248"}],"version-history":[{"count":2,"href":"https:\/\/www.triode.cc\/index.php\/wp-json\/wp\/v2\/posts\/248\/revisions"}],"predecessor-version":[{"id":251,"href":"https:\/\/www.triode.cc\/index.php\/wp-json\/wp\/v2\/posts\/248\/revisions\/251"}],"wp:attachment":[{"href":"https:\/\/www.triode.cc\/index.php\/wp-json\/wp\/v2\/media?parent=248"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.triode.cc\/index.php\/wp-json\/wp\/v2\/categories?post=248"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.triode.cc\/index.php\/wp-json\/wp\/v2\/tags?post=248"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}