Establish the proposition for (a+b)(ab)(a+b)(ab) = (a^2b^2)^2, with each element occurring to an even power, and a single difference of squares.
Let (a+b) = k, then ab=k; let (ab)=l; then (a+b) = l [1]
(k+c)(kc)(l+c)(lc)(k+c)(kc)(l+c)(lc) = (c^2k^2)^2 (c^2l^2)^2 with each element again occurring to an even power, and two differences of squares. Since all we have done with each of k and l is just the same as we did before with a and b, each of the latter on resubstitution must equally occur to an even power; in fact the expression is equivalent to:
a^84a^6b^24a^6c^2+6a^4b^4+4a^4b^2c^2+6a^4c^44a^2b^6+4a^2b^4c^2+4a^2b^2c^44a^2c^6+b^84b^6c^2+6b^4c^44b^2c^6+c^8
In the same way as [1], we can pair off (k+c)(kc)(k+c)(kc) to m,m,n,n, and (l+c)(lc)(l+c)(lc) to o,o,p,p and repeat the whole thing for d, giving (d^2m^2)^2 (d^2n^2)^2(d^2o^2)^2 (d^2p^2)^2, and so on...
So the nth reiteration of the same exercise will be the product of 2n squared differences of squares, producing an integer result, as was to be shown.
Edited on September 19, 2015, 12:53 am

Posted by broll
on 20150918 23:56:26 