12/08/12 06:23:45.36 zR0JItBI0
>>335
自然数A,Bが
A(A+1)≧2K＞A(Aｰ1)
B(B+1)≧2K＞B(Bｰ1)
を同時に満たすとする
この時、辺々引き算して
A(A+1)ｰB(Bｰ1)＞0＞A(Aｰ1)ｰB(B+1)
したがって
A^2ｰB^2＞ｰ(A+B)かつA^2ｰB^2＜A+B
A,Bは自然数なので共に正であることに注意して
|A^2ｰB^2|=(A+B)|AｰB|＜A+B
|AｰB|＜1
A,Bは自然数なのでその差は整数。したがって
|AｰB|=0、A=B
よって題意のAは一つに定まる//