>>363
どう見てもスレチの問題に粘着するのもアレなんだけど気持ちいい証明見つけたのでカキコ
基本戦略は>>380
主張より強い次を示す

1〜29をどのように9個+10個+10個に分けても各々から一個ずつを選んでa+b=cとできる

結論を否定する
1〜29のauto fを
f(x) ≡ 2x ( mod 29 )
で定める
fの位数は28である
そうでないとすると位数は14か4のいずれかであるが2^14-1=(2^7+1)(2^7-1)=129×127も2^4-1=15も29の倍数でないからである
よってfを何回か作用させて
1∈A,2∈B, #A=9
まで仮定できる
あとは>>380
しかもAの元数が9個しかないのでさらに示しやすい□