对于任意常实数a,b,c,方程 ax²+bx+c=0,如果判别式a²-4ac>0,则这个方程有两个相异实根.
而方程x²-2mx-1=0的判别式a²-4ac=4m²+4>0恒成立,满足上述情况,所以命题得证.