Show that n=0∑1006(n!(1006−n)!)22012! is a perfect square.
Solution
Note that n=0∑1006(n!(1006−n)!)22012!=(1006!)22012!n=0∑1006(n!(1006−n)!1006!)2=(1006!2012!)n=0∑1006(n!1006!)2. Since (n1006)=(1006−n1006), we have n=0∑1006((n1006))2=n=0∑1006(n1006)(1006−n1006)=(10062012), by the Vandermonde identity. Therefore, n=0∑1006(n!(1006−n)!)22012!=((10062012))2 which is a perfect square.
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.
Source: MathNet,
licensed CC-BY-4.0.
Statement and solution reproduced as published; topic and difficulty added by this site.