Question 1205493
<pre>
Ikleyn has found two solutions, (x,y) = (5,0) and (x,y) = (0,5) 
but has failed to show that there are no other solutions.  But it is
necessary to show that there are no other solutions, not just to
find two solutions and verify that they are both solutions.

{{{x!*y!}}}{{{""=""}}}{{{120*(xy)!}}}

Those will be the only solutions if and only if

{{{(xy)!/(x!y!)}}}{{{""<>""}}}{{{1/120}}}, for {{{"(x,y)"<>"(5,0)"}}} and {{{"(x,y)"<>"(0,5)"}}}

Assume {{{x <= y}}}

If x = 0, then {{{(xy)!/(x!y!)}}}{{{""=""}}}{{{(0*y)!/0!y!}}}{{{""=""}}}{{{1/y!}}}{{{""<>""}}}{{{1/120}}}, except for the solution (x,y) = (0,5)

If x = 1, then {{{(xy)!/(x!y!)}}}{{{""=""}}}{{{(1*y)!/1!y!}}}{{{""=""}}}{{{y!/y!}}}{{{""=""}}}{{{1}}}{{{""<>""}}}{{{1/120}}}

If {{{2<=x<=y}}} then {{{(xy)!/(x!y!)}}}{{{""=""}}}{{{((1*""*""*x)*((x+1)*""*""*xy^""))/((1*""*""*x)*(1*""*""*y))}}}{{{""=""}}}{{{(cross(1*""*""*x))*((x+1)*""*""*xy^"")/((cross(1*""*""*x))*(1*""*""*y))}}}{{{""=""}}}{{{((x+1)*""*""*xy)/(1*""*""*y)}}}

The numerator of that last fraction has xy-x indicated factors and the
denominator has y factors.

Since {{{y>=2}}} and {{{x>=2}}},

{{{x>=2}}}
Subtract 1 from both sides
{{{x-1>=1}}}
Divide both sides by x-1
{{{1>=1/(x-1)}}}
{{{y>=2=1+1>=1+1/(x-1)}}}
{{{y>=1+1/(x-1)}}}
{{{y>=(x-1+1)/(x-1)}}}
{{{y>=x/(x-1)}}}
{{{y(x-1)>=x}}}
{{{xy-y>=x}}}
{{{xy-x>=y}}}

This proves the numerator has at least as many indicated factors as the
denominator.  The first x factors of the denominator are, respectively, less 
than or equal to the first x factors of the numerator.  The remaining indicated
factors of the numerator, if any, are even greater. Therefore, the numerator of
the fraction {{{((x+1)*""*""*xy)/(1*""*""*y)}}} is greater than the denominator, and the fraction 
is greater than or equal to 1, and therefore not equal to {{{1/120}}}.

The case {{{y<=x}}} is proved by symmetry.

Therefore the 2 solutions Ikleyn found above are the ONLY solutions.

Edwin</pre>