sum_riemann

Bugs

Modérateur : xcasadmin

lukamar
Messages : 331
Inscription : ven. juin 30, 2017 9:55 am
Localisation : Zagreb, Croatia

sum_riemann

Message par lukamar » ven. juil. 19, 2019 7:36 pm

Hello,

I tried to compute the limit of the sum of 1/(sqrt(n)*sqrt(n+k)), where k=1..n, as n->inf. As I understand, this can be done by typing

Code : Tout sélectionner

sum_riemann(1/(sqrt(n)*sqrt(n+k)),[n,k])
However, I obtain 2-2*sqrt(2) which is negative. The actual value of the limit is 2*sqrt(2)-2.
During computation, the following warning was produced:

Code : Tout sélectionner

Warning, choosing root of [1,0,%%%{-2,[1,1]%%%}+%%%{-4,[1,0]%%%},0,%%%{1,[2,2]%%%}] at parameters values [26.265678538,0]

parisse
Messages : 5734
Inscription : mar. déc. 20, 2005 4:02 pm
Contact :

Re: sum_riemann

Message par parisse » sam. juil. 20, 2019 5:38 am

Running assume(n>0); assume(k>0) will help the system choose the right branch.

lukamar
Messages : 331
Inscription : ven. juin 30, 2017 9:55 am
Localisation : Zagreb, Croatia

Re: sum_riemann

Message par lukamar » sam. juil. 20, 2019 8:08 am

Thanks, I thought these assumptions are made by default.

parisse
Messages : 5734
Inscription : mar. déc. 20, 2005 4:02 pm
Contact :

Re: sum_riemann

Message par parisse » lun. juil. 22, 2019 7:30 am

I tried to add auto-assumptions, but I had to revert because of side-effects.

Répondre