Tulis fungsi x(a), y(a)dan z(a)sedemikian rupa sehingga untuk setiap rasional a semua fungsi mengembalikan angka rasional dan x(a)*y(a)*z(a)*(x(a) + y(a) + z(a)) == a. Anda dapat mengasumsikan ≥ 0.

Anda tidak perlu menggunakan tipe rasional atau operasi dalam program Anda, selama program Anda secara matematis sehat. Misalnya, jika Anda menggunakan akar kuadrat dalam jawaban Anda, Anda harus menunjukkan bahwa argumennya selalu kuadrat dari bilangan rasional.

Anda dapat menulis tiga fungsi bernama x, y, z atau menulis tiga program sebagai gantinya jika fungsi tidak praktis atau tidak ada untuk bahasa Anda. Atau Anda juga dapat menulis satu program / fungsi yang mengembalikan tiga angka x, y, z. Akhirnya, jika Anda menginginkannya, Anda dapat memasukkan / mengeluarkan bilangan rasional sebagai pasangan pembilang / penyebut. Skor Anda adalah ukuran total dari tiga fungsi atau tiga program dalam byte. Kemenangan skor terkecil.

Pemaksaan kasar tidak diizinkan. Untuk setiap a = p / q di mana p, q ≤ 1000 program Anda harus berjalan dalam waktu kurang dari 10 detik.

---

Contoh (ini tidak berarti dekomposisi Anda harus memberikan angka-angka ini):

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

CJam (59 byte)

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

Ini adalah blok anonim (fungsi) yang mengambil bilangan bulat atau ganda pada tumpukan dan menghasilkan array dengan tiga ganda. Ini memiliki dua kasus internal untuk menangani semua input non-negatif, karena dengan hanya satu kasus itu akan pecah pada salah satu 0.25atau 4. Masih rusak untuk input -12dan -1.3333333333333333, tetapi spek memungkinkan ...

The demo online mengeksekusinya dan kemudian menambahkan sampai nilai-nilai, mencetak keempat, dan mengalikan mereka untuk menunjukkan bahwa itu mendapat nilai asli (modulo kesalahan pembulatan).

Latar belakang matematika

Mengikuti Noam Elkies kami mendefinisikan bantu . Kemudian dan atau . Ini memiliki banyak simetri; solusi apa pun akan memiliki empat formula dan kita bisa memilih tiga yang paling golf.$w = - x - y - z$$x + y + z + w = 0$$-xyzw = a$$xyzw + a = 0$

Rusa memberikan empat keluarga set solusi. Euler:

$$\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*}$$

Satu terkait dengan Euler:

$$\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*}$$

Yang lebih sederhana:

$$\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*}$$

Dan satu yang terkait dengan yang itu:

$$\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*}$$

Perhatikan bahwa setiap keluarga memiliki setidaknya dua penyebut dari bentuk untuk dan positif : karena semua istilah yang terlibat adalah rasional, itu berarti ada beberapa positif dengannya kita mendapatkan pembagian dengan nol. Karena itu kita harus menggunakan setidaknya dua set solusi yang memiliki singularitas pada nilai yang berbeda dari . Secara intuitif akan menjadi golfiest untuk memilih dua set dari keluarga yang sama. Saya telah memilih keluarga paling sederhana (yang ketiga) dengan parameter dan .p q a a s = 1 s = $ps^4 - qa$$p$$q$$a$$a$$s=1$$s=2$

Aksioma, 191 byte

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

Ini adalah traslation dari formula yang dilaporkan Peter Taylor di halaman ini dengan beberapa kode akan membuat penyebutnya menjadi 0. satu tes

(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