Escreva funções x(a), y(a)e z(a)tais que, para qualquer racional, a todas as funções retornem números racionais e x(a)*y(a)*z(a)*(x(a) + y(a) + z(a)) == a. Você pode assumir um valor ≥ 0.

Você não precisa usar tipos ou operações racionais em seu programa, desde que seja matematicamente correto. Por exemplo, se você usar uma raiz quadrada em sua resposta, deverá mostrar que seu argumento é sempre o quadrado de um número racional.

Você pode escrever três funções nomeadas x, y, z ou escrever três programas, se as funções forem complicadas ou inexistentes para o seu idioma. Como alternativa, você também pode escrever um único programa / função que retorne três números x, y, z. Finalmente, se você preferir, poderá inserir / emitir os números racionais como um par de numerador / denominador. Sua pontuação é o tamanho total das três funções ou três programas em bytes. Menor pontuação ganha.

Forçar força bruta não é permitido. Para qualquer a = p / q em que p, q ≤ 1000, seu programa deve ser executado em menos de 10 segundos.

Um exemplo (isso não significa que sua decomposição deve fornecer esses números):

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

code-golf math rational-numbers

— orlp
fonte

Podemos escrever uma função que produz todas elas juntas (digamos, em uma matriz)?

— Leaky Nun

Podemos inserir o numerador e o denominador como dois números?

— Leaky Nun

@LeakyNun Sim e sim.

— orlp

É comprovadamente factível para qualquer um a?

— Fatalize

Suponho que você não queira mostrar uma prova, porque isso daria uma solução, mas sua palavra não é realmente uma prova.

— Fatalize

CJam (59 bytes)

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

Este é um bloco anônimo (função) que pega um número inteiro ou duplo na pilha e produz uma matriz com três duplos. Ele possui dois casos internamente para lidar com todas as entradas não negativas, pois com apenas um caso ele seria interrompido em um 0.25ou em 4. Ainda quebra para entradas -12e -1.3333333333333333, mas a especificação permite que ...

A demonstração online o executa e, em seguida, soma os valores, imprime todos os quatro e os multiplica para mostrar que ele obtém o valor original (erro de arredondamento do módulo).

Formação matemática

Seguindo Noam Elkies , definimos o auxiliar . Então e ou $w = - x - y - z$ $x + y + z + w = 0$ $-xyzw = a$ $xyzw + a = 0$ . Isso tem muita simetria; qualquer solução terá quatro fórmulas e podemos escolher as três mais golfistas.

Elkies fornece quatro famílias de conjuntos de soluções. Euler:

\begin{array}{rcl} x & = & \frac{6 uma s t^{3} (uma t^{4} - 2 s^{4})^{2}}{(4 uma t^{4} + s^{4}) (2 {uma}^{2} t^{8} + 10 uma s^{4} t^{4} - s^{8})} \\ y & = & \frac{3 s^{5} (4 uma t^{4} + s^{4})^{2}}{2 t (uma t^{4} - 2 s^{4}) (2 {uma}^{2} t^{8} + 10 uma s^{4} t^{4} - s^{8})} \\ z & = & \frac{2 (2 {uma}^{2} t^{8} + 10 uma s^{4} t^{4} - s^{8})}{3 s^{3} t (4 uma t^{4} + s^{4})} \\ W & = & \frac{- (2 {uma}^{2} t^{8} + 10 uma s^{4} t^{4} - s^{8})}{6 s^{3} t (uma 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*}$

Um relacionado ao Euler:

\begin{array}{rcl} x & = & \frac{(8 s^{8} + {uma}^{2}) (8 s^{8} - 88 uma s^{4} - {uma}^{2})}{12 s^{3} (s^{4} - uma) (8 s^{8} + 20 uma s^{4} - {uma}^{2})} \\ y & = & \frac{(8 s^{8} + {uma}^{2}) (8 s^{8} - 88 uma s^{4} - {uma}^{2})}{12 s^{3} (8 s^{4} + uma) (8 s^{8} + 20 uma s^{4} - {uma}^{2})} \\ z & = & \frac{192 uma s^{5} (s^{4} - uma)^{2} (8 s^{4} + uma)^{2}}{(8 s^{8} + {uma}^{2}) (8 s^{8} - 88 uma s^{4} - {uma}^{2}) (8 s^{8} + 20 uma s^{4} - {uma}^{2})} \\ W & = & \frac{- 3 s (8 s^{8} + 20 uma s^{4} - {uma}^{2})^{3}}{4 (s^{4} - uma) (8 s^{4} + uma) (8 s^{8} + {uma}^{2}) (8 s^{8} - 88 uma s^{4} - {uma}^{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*}$

Um mais simples:

\begin{array}{rcl} x & = & \frac{(s^{4} - 4 uma)^{2}}{2 s^{3} (s^{4} + 12 uma)} \\ y & = & \frac{2 uma (3 s^{4} + 4 uma)^{2}}{s^{3} (s^{4} - 4 uma) (s^{4} + 12 uma)} \\ z & = & \frac{s^{5} + 12 uma s}{2 (3 s^{4} + 4 uma)} \\ W & = & \frac{- 2 s^{5} (s^{4} + 12 uma)}{(s^{4} - 4 uma) (3 s^{4} + 4 uma)} \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*}$

E um relacionado a esse:

\begin{array}{rcl} x & = & \frac{s^{5} (s^{4} - 3 uma)^{3}}{2 (s^{4} + uma) (s^{12} + 12 uma s^{8} - 3 {uma}^{2} s^{4} + 2 {uma}^{3})} \\ y & = & \frac{s^{12} + 12 uma s^{8} - 3 {uma}^{2} s^{4} + 2 {uma}^{3}}{2 s^{3} (s^{4} - 3 uma) (3 s^{4} - uma)} \\ z & = & \frac{2 uma (s^{4} + uma)^{2} (3 s^{4} - uma)^{2}}{s^{3} (s^{4} - 3 uma) (s^{12} + 12 uma s^{8} - 3 {uma}^{2} s^{4} + 2 {uma}^{3})} \\ W & = & \frac{- 2 s (s^{12} + 12 uma s^{8} - 3 {uma}^{2} s^{4} + 2 {uma}^{3})}{(s^{4} - 3 uma) (s^{4} + uma) (3 s^{4} - uma)} \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 que toda família tem pelo menos dois denominadores da forma $ps^4 - qa$ para positivo $p$ e $q$ : como todos os termos envolvidos são racionais, isso significa que há algumas $a$ para o qual obtemos divisão por zero. Portanto, devemos usar pelo menos dois conjuntos de soluções que tenham suas singularidades em diferentes valores de $a$ . Intuitivamente, será mais difícil escolher dois conjuntos da mesma família. Eu escolhi a família mais simples (a terceira) com parâmetros $s=1$ e $s=2$ .

— Peter Taylor
fonte

Axioma, 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))

É a tradução da fórmula do relatório de Peter Taylor nesta página com algum código que faria os denominadores não serem 0. um teste

(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
fonte

Decomposição racional a = xyz (x + y + z)

CJam (59 bytes)

Formação matemática

Axioma, 191 bytes