互补约数(GCD)续

GCD的题解里，我不知道怎样证明O($\sum_{k=1}^{\sqrt{n}}\sqrt{\frac{n}{k}}$)=O($n^\frac{3}{4}$)
于是我又yy了一番，想到用积分去搞一搞。

两个基本初等函数求导公式

（自己也只会基本的求导的知识)
a是常数
$(x^a)'=a*x^{a-1}$
$(a*x)'=a*(x)'$

积分

设$f(x)=x^\frac{-1}{2}$
又$F(x)=2x^\frac{1}{2}$
则$F(x)'=2*\frac{1}{2}*x^\frac{-1}{2}=x^\frac{-1}{2}=f(x)$
所以f(x)是F(x)的导数，F(x)是f(x)的原函数。
据微积分便有
$\int_0^nf( x) {\rm d}x=g(n)-g(0)=2n^\frac{1}{2}$
又 $\int_0^nf( x) {\rm d}x\approx\sum_1^nx^\frac{-1}{2}$
所以$\sum_{k=1}^{\sqrt{n}}\sqrt{\frac{n}{k}}$
$= n^\frac{1}{2}*\sum_{k=1}^{\sqrt{n}}k^\frac{-1}{2}$
$\approx$$n^\frac{1}{2}*\int_0^\sqrt{n}f( x) {\rm d}x$
$=n^\frac{1}{2}*2n^\frac{1}{4}$
$=2n^\frac{3}{4}$
所以 O($\sum_{k=1}^{\sqrt{n}}\sqrt{\frac{n}{k}}$)大概为O($n^\frac{3}{4}$)