MathLabs

第1問

素因数が全て3以下である相異なる9個の整数からなる集合を SS とする。SS は積が完全立方となる相異なる3整数を含むことを証明せよ。
ステップ 4/6: 行または列の全占有を除く
N(i,j)≤2;N(i,0)N(i,1)N(i,2)=0 or N(0,j)N(1,j)N(2,j)=0N(i,j)\le2;\quad N(i,0)N(i,1)N(i,2)=0\text{ or }N(0,j)N(1,j)N(2,j)=0
詳しい解説

どの型も3回現れないと仮定する。ある行が3つの列型全てを含めば、各箱から1要素を選ぶと第1座標は等しく、第2座標の和は F3\mathbb F_3 で 0+1+2=00+1+2=0 となり必要な三つ組を得る。列についても同様。従って行や列の3箱全てが空でないことはない。