10/03/24 04:49:47 JQkZ1s460
６(2)は、「鳩ノ巣原理」だな。
(3)は、同じ区画に含まれる２個の要素をz_j＝√2ｊ－y_j ,z_i=√2i-yiとして、z_j-z_i=(j-i) √2-(y_j-y_i)=√2X-Y (1≤i<j≤2n) ,0<|z_j - z_i |<1/2n よりいえるよね。
(4)は、(3)で示した不等式×√2でいいのかなー？
10/03/24 04:49:47 JQkZ1s460
６(2)は、「鳩ノ巣原理」だな。
(3)は、同じ区画に含まれる２個の要素をz_j＝√2ｊ－y_j ,z_i=√2i-yiとして、z_j-z_i=(j-i) √2-(y_j-y_i)=√2X-Y (1≤i<j≤2n) ,0<|z_j - z_i |<1/2n よりいえるよね。
(4)は、(3)で示した不等式×√2でいいのかなー？