[過去ログ] 分からない問題はここに書いてね458 (1002レス)
前次1-
抽出解除 レス栞

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
661
(3): 2020/03/15(日)21:11 ID:kVh6ZCdm(1/2) AAS
>>641
実際にチェックしてみたところ、n=46341以下では、成立していると確認できたけど、
n=46343以上では、不成立っぽい。
(n=46343の時、奇数が23169個で、偶数が23173個)

・誤差の可能性を疑ったけど、単独で発生しているのではなく、n=46343以上で連続して不成立
・[sqrt(i*n)]と[i*n/sqrt(i*n)]が一致するかのチェックも通過

どなたか、検証お願いします。
662: 2020/03/15(日)21:40 ID:zmT9OS45(1) AAS
>>661
46343^2 > 2^31 だからオーバーフローの可能性は?
多倍長整数でやってるの?
667
(2): 2020/03/15(日)22:52 ID:cOtagSUy(5/5) AAS
>>661
怖くなってきたので煩雑ですが一応証明を書いておきます。

「nは偶数,k∈{1,2,...,n}とする。
1<√(n+1),√(n-1)(n+1)<n<√{n(n+1)}<n+1より、区間[0,1)∪[n,n+1)には√{k(n+1)}が一つ含まれる.

i,j∈{1,2,...,n-1}とする。
(i+1)^2-i^2=2i+1<2(n+1)より区間[i,i+1)に含まれるような√{k(n+1)}は高々2個。

[i,i+1)に√{k(n+1)}が2個含まれる
省22
668: 2020/03/15(日)22:53 ID:OTl1KJku(6/7) AAS
>>661
いや、等しくなったけど。

> sim <- function(m){
+ n=2*m+1
+ i=1:(n-1)
+ a=sqrt(i*n)
+ b=floor(a)
省9
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.043s