Xn={1,1,2,2,…,n,n} とする.f の定義をその部分集合に拡張する.ここで,f(∅)=1 とする.このとき,n=2,3,… について,Xn−1 の部分集合 V と {n,n} の部分集合の和集合について,以下が成立する:
f(V∪∅)f(V∪{n})f(V∪{n,n})=f(V),={f(V)nf(V)(Vの要素数が奇数)(Vの要素数が偶数),=nf(V).
よって,Xn の部分集合 V のうち,要素数が偶数であるものの f(V) の総和を an,要素数が奇数であるものの f(V) の総和を bn とすると,a1=2, b1=1 および n=2,3,… について以下が成立する:
an=(1+n)an−1+bn−1,bn=nan−1+(1+n)bn−1.
よって,求めるものは a5+b5−1=1729+3430−1=5158 である.
解説YouTubeが存在しません.