typedef long long ll;
ll a=sqrt(2*i);
if(a*(a+1)/2<i)a++;
ll b=round(sqrt(2*i));

请问能否在数学上证明a和b必定相等？恳求证明或证伪！对拍了整个int都是相等的。。。
（注：round意为四舍五入）