20/07/26 20:56:23.93 6c6xEI4s.net
>>662
整数の定義が「自然数およびそれに負号をつけたもの」なら、
自然数の全体 N と整数の全体 Z に対して
N = {n ∊ N | n ≧ 0} と Z - N = {-n | n ∊ N, n > 0} を示して
a > 0, a = 0, a < 0 で場合分けすれば
0 < k < 1 を満たす k ∊ N が存在しないことに帰着される
20/07/26 20:56:23.93 6c6xEI4s.net
>>662
整数の定義が「自然数およびそれに負号をつけたもの」なら、
自然数の全体 N と整数の全体 Z に対して
N = {n ∊ N | n ≧ 0} と Z - N = {-n | n ∊ N, n > 0} を示して
a > 0, a = 0, a < 0 で場合分けすれば
0 < k < 1 を満たす k ∊ N が存在しないことに帰着される