Ta có: a2014=b2015
=>a2014=b2014.b
=>a2014:b2014=b
=>(a:b)2014=b
=>((a:b)1007)2=b
Vì ((a:b)1007)2>0
=>b>0
=>ĐPCM
Vì a khác 0 nên a2014 khác 0 mà a2014 = b2015 => b khác 0
Lại có a2014 = (a1007)2 > 0 với mọi a khác 0 (Bình phương của một số luôn không âm)
nên b2015 > 0 Hay b2014. b > 0 => b2014 ; b cùng dấu
Mà b2014 > 0 với mọi b khác 0 => b > 0