Décomposition rationnelle a = xyz (x + y + z)

Écrire des fonctions x(a), y(a)et z(a)telles que pour tout rationnel a toutes les fonctions renvoient des nombres rationnels et x(a)*y(a)*z(a)*(x(a) + y(a) + z(a)) == a. Vous pouvez supposer un ≥ 0.

Vous n'avez pas besoin d'utiliser des types rationnels ou des opérations dans votre programme, tant que votre programme est mathématiquement solide. Par exemple, si vous utilisez une racine carrée dans votre réponse, vous devez montrer que son argument est toujours un carré d'un nombre rationnel.

Vous pouvez écrire trois fonctions nommées x, y, z ou écrire trois programmes à la place si les fonctions sont lourdes ou inexistantes pour votre langue. Alternativement, vous pouvez également écrire un seul programme / fonction qui renvoie trois nombres x, y, z. Enfin, si vous préférez, vous pouvez entrer / sortir les nombres rationnels comme une paire de numérateur / dénominateur. Votre score est la taille totale des trois fonctions ou trois programmes en octets. Le plus petit score l'emporte.

Le forçage brutal n'est pas autorisé. Pour tout a = p / q où p, q ≤ 1000, votre programme devrait s'exécuter en moins de 10 secondes.

Un exemple (cela ne signifie pas que votre décomposition doit donner ces chiffres):

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

code-golf math rational-numbers orlp
la source

Pouvons-nous écrire une fonction qui les renvoie toutes ensemble (disons, dans un tableau)?

Leaky Nun

Pouvons-nous entrer le numérateur et le dénominateur comme deux nombres?

Leaky Nun

@LeakyNun Oui et oui.

orlp

Est-il prouvable pour tout le monde a?

Fatalize

Je suppose que vous ne voulez pas montrer de preuve car cela donnerait une solution, mais votre parole n'est pas vraiment une preuve.

Fatalize

Réponses:

CJam (59 octets)

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

Il s'agit d'un bloc (fonction) anonyme qui prend un entier ou un double sur la pile et produit un tableau avec trois doubles. Il a deux cas en interne pour gérer toutes les entrées non négatives, car avec un seul cas, il se briserait sur l'un 0.25ou l' autre 4. Il casse toujours pour les entrées -12et -1.3333333333333333, mais la spécification permet que ...

La démo en ligne l' exécute puis additionne les valeurs, imprime les quatre et les multiplie pour montrer qu'elle obtient la valeur d'origine (erreur d'arrondi modulo).

Contexte mathématique

$w = - x - y - z$ $x + y + z + w = 0$ $-xyzw = a$ $xyzw + a = 0$

Elkies propose quatre familles d'ensembles de solutions. Euler:

\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
la 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
la source