写功能x(a)，y(a)并z(a)使得对任何理性a 所有函数返回有理数和x(a)*y(a)*z(a)*(x(a) + y(a) + z(a)) == a。您可以假设≥0。

只要程序在数学上是合理的，就不需要在程序中使用有理类型或运算。例如，如果您在答案中使用平方根，则必须表明其自变量始终是有理数的平方。

如果您的语言繁琐或不存在函数，则可以编写三个命名函数x，y，z或编写三个程序。或者，您也可以编写一个返回三个数字x，y，z的程序/函数。最后，如果您愿意，可以输入/输出有理数作为一对分子/分母。您的得分是三个函数或三个程序的总大小（以字节为单位）。分数最低者获胜。

不允许强行强制。对于任何a = p / q，其中p，q≤1000，您的程序应在10秒内运行。

一个例子（这并不意味着您的分解必须给出这些数字）：

x = 9408/43615
y = 12675/37576
z = 1342/390
x*y*z*(x+y+z) = 1

code-golf math rational-numbers

— 奥尔普
source

我们可以编写一个将所有函数一起输出的函数（例如，以数组的形式）吗？

— Leaky Nun

我们可以将分子和分母输入为两个数字吗？

— Leaky Nun

@LeakyNun是的，是的。

— orlp

证明对任何人都可行a吗？

— Fatalize

我认为您不想提供证明，因为它会给出解决方案，但是您的话并不是真正的证明。

— Fatalize

CJam（59字节）

{[WZ~C24X8TT]f*[4XGYC6 4Y].+_0=!>2%Z65135Zb+:(3/.f#:.*)W*+}

这是一个匿名块（函数），它在堆栈上取一个整数或双精度数，并产生一个具有三个双精度数的数组。内部有两种情况可以处理所有非负输入，因为只有一种情况会在0.25或时中断4。输入仍然中断-12和-1.3333333333333333，但规范允许...

该在线演示执行它，然后添加了值，打印所有4个，将它们相乘，以表明它得到原始值（模舍入误差）。

数学背景

根据Noam Elkies，我们定义辅助。则且或。这具有很多对称性。任何解决方案都有四个公式，我们可以选择三个最复杂的公式。 $w = - x - y - z$ $x + y + z + w = 0$ $-xyzw = a$ $xyzw + a = 0$

Elkies提供了四套解决方案。欧拉的：

\begin{array}{rcl} x & = & \frac{6 a s t^{3} (a t^{4} - 2 s^{4})^{2}}{(4 a t^{4} + s^{4}) (2 a^{2} t^{8} + 10 a s^{4} t^{4} - s^{8})} \\ y & = & \frac{3 s^{5} (4 a t^{4} + s^{4})^{2}}{2 t (a t^{4} - 2 s^{4}) (2 a^{2} t^{8} + 10 a s^{4} t^{4} - s^{8})} \\ z & = & \frac{2 (2 a^{2} t^{8} + 10 a s^{4} t^{4} - s^{8})}{3 s^{3} t (4 a t^{4} + s^{4})} \\ w & = & \frac{- (2 a^{2} t^{8} + 10 a s^{4} t^{4} - s^{8})}{6 s^{3} t (a t^{4} - 2 s^{4})} \end{array}

$\begin{eqnarray*} x & = & \frac{6ast^3(at^4-2s^4)^2}{(4at^4+s^4)(2a^2t^8 + 10as^4t^4 - s^8)} \\ y & = & \frac{3s^5(4at^4+s^4)^2}{2t(at^4-2s^4)(2a^2t^8+10as^4t^4-s^8)} \\ z & = & \frac{2(2a^2t^8+10as^4t^4-s^8)}{3s^3t(4at^4+s^4)} \\ w & = & \frac{-(2a^2t^8+10as^4t^4-s^8)}{6s^3t(at^4-2s^4)} \end{eqnarray*}$

One related to Euler's:

\begin{array}{rcl} x & = & \frac{(8 s^{8} + a^{2}) (8 s^{8} - 88 a s^{4} - a^{2})}{12 s^{3} (s^{4} - a) (8 s^{8} + 20 a s^{4} - a^{2})} \\ y & = & \frac{(8 s^{8} + a^{2}) (8 s^{8} - 88 a s^{4} - a^{2})}{12 s^{3} (8 s^{4} + a) (8 s^{8} + 20 a s^{4} - a^{2})} \\ z & = & \frac{192 a s^{5} (s^{4} - a)^{2} (8 s^{4} + a)^{2}}{(8 s^{8} + a^{2}) (8 s^{8} - 88 a s^{4} - a^{2}) (8 s^{8} + 20 a s^{4} - a^{2})} \\ w & = & \frac{- 3 s (8 s^{8} + 20 a s^{4} - a^{2})^{3}}{4 (s^{4} - a) (8 s^{4} + a) (8 s^{8} + a^{2}) (8 s^{8} - 88 a s^{4} - a^{2})} \end{array}

$\begin{eqnarray*} x & = & \frac{(8s^8+a^2)(8s^8-88as^4-a^2)}{12s^3(s^4-a)(8s^8+20as^4-a^2)}\\ y & = & \frac{(8s^8+a^2)(8s^8-88as^4-a^2)}{12s^3(8s^4+a)(8s^8+20as^4-a^2)}\\ z & = & \frac{192as^5(s^4-a)^2(8s^4+a)^2}{(8s^8+a^2)(8s^8-88as^4-a^2)(8s^8+20as^4-a^2)}\\ w & = & \frac{-3s(8s^8+20as^4-a^2)^3}{4(s^4-a)(8s^4+a)(8s^8+a^2)(8s^8-88as^4-a^2)}\\ \end{eqnarray*}$

A simpler one:

\begin{array}{rcl} x & = & \frac{(s^{4} - 4 a)^{2}}{2 s^{3} (s^{4} + 12 a)} \\ y & = & \frac{2 a (3 s^{4} + 4 a)^{2}}{s^{3} (s^{4} - 4 a) (s^{4} + 12 a)} \\ z & = & \frac{s^{5} + 12 a s}{2 (3 s^{4} + 4 a)} \\ w & = & \frac{- 2 s^{5} (s^{4} + 12 a)}{(s^{4} - 4 a) (3 s^{4} + 4 a)} \end{array}

$\begin{eqnarray*} x & = & \frac{(s^4-4a)^2}{2s^3(s^4+12a)} \\ y & = & \frac{2a(3s^4+4a)^2}{s^3(s^4-4a)(s^4+12a)} \\ z & = & \frac{s^5+12as}{2(3s^4+4a)} \\ w & = & \frac{-2s^5(s^4+12a)}{(s^4-4a)(3s^4+4a)} \\ \end{eqnarray*}$

And one related to that one:

\begin{array}{rcl} x & = & \frac{s^{5} (s^{4} - 3 a)^{3}}{2 (s^{4} + a) (s^{12} + 12 a s^{8} - 3 a^{2} s^{4} + 2 a^{3})} \\ y & = & \frac{s^{12} + 12 a s^{8} - 3 a^{2} s^{4} + 2 a^{3}}{2 s^{3} (s^{4} - 3 a) (3 s^{4} - a)} \\ z & = & \frac{2 a (s^{4} + a)^{2} (3 s^{4} - a)^{2}}{s^{3} (s^{4} - 3 a) (s^{12} + 12 a s^{8} - 3 a^{2} s^{4} + 2 a^{3})} \\ w & = & \frac{- 2 s (s^{12} + 12 a s^{8} - 3 a^{2} s^{4} + 2 a^{3})}{(s^{4} - 3 a) (s^{4} + a) (3 s^{4} - a)} \end{array}

$\begin{eqnarray*} x & = & \frac{s^5(s^4-3a)^3}{2(s^4+a)(s^{12}+12as^8-3a^2s^4+2a^3)} \\ y & = & \frac{s^{12}+12as^8-3a^2s^4+2a^3}{2s^3(s^4-3a)(3s^4-a)} \\ z & = & \frac{2a(s^4+a)^2(3s^4-a)^2}{s^3(s^4-3a)(s^{12}+12as^8-3a^2s^4+2a^3)} \\ w & = & \frac{-2s(s^{12}+12as^8-3a^2s^4+2a^3)}{(s^4-3a)(s^4+a)(3s^4-a)} \end{eqnarray*}$

Observe that every family has at least two denominators of the form $ps^4 - qa$ for positive $p$ and $q$ : since all the terms involved are rational, that means that there's some positive $a$ for which we get division by zero. Therefore we must use at least two sets of solutions which have their singularities at different values of $a$ . Intuitively it's going to be golfiest to choose two sets from the same family. I've chosen the simplest family (the third one) with parameters $s=1$ and $s=2$ .

— Peter Taylor
source

Axiom, 191 bytes

f(s,a)==(b:=s^4-4*a;c:=s^4+12*a;x:=3*s^4+4*a;[b^2/(2*c*s^3),2*a*x^2/(b*c*s^3),s*c/(2*x)])
g(a:FRAC INT):List FRAC INT==(s:=1;repeat(s^4=4*a or s^4=-12*a or 3*s^4=4*a=>(s:=s+1);break);f(s,a))

It is the traslation of the formula Peter Taylor report in this page with some code would make the denominators not be 0. one test

(7) -> y:=g(1)
          9   98 13
   (7)  [--,- --,--]
         26   39 14
                                              Type: List Fraction Integer
(8) -> y.1*y.2*y.3*(y.1+y.2+y.3)
   (8)  1
                                              Type: Fraction Integer

— RosLuP
source

有理分解a = xyz（x + y + z）

CJam（59字节）

数学背景

Axiom, 191 bytes