x = 1 + 2 + 2 ^ 2 + 2 ^ 3 + ... + 2 ^ 2015 + 2 ^ 2016
x . 2 = ( 1 + 2 + 2 ^ 2 + 2 ^ 3 + ... + 2 ^ 2015 + 2 ^ 2016 ) x 2
x . 2 = 2 + 2 ^ 2 + 2 ^ 3 + 2 ^ 4 + ... + 2 ^ 2016 + 2 ^ 2017
x . 2 = ( 1+ 2 + 2 ^ 2 + 2 ^ 3 + 2 ^ 4 + ... + 2 ^ 2015 + 2 ^ 2016 ) + 2 ^ 2017 - 1
x . 2 = x + 2 ^ 2017 - 1
x = 2 ^ 2017 - 1 ( cùng chia cả 2 vế đi x )
Mã y = 2 ^ 2017 lá số hơn 2 ^ 2017 - 1 một đơn vị
=> x và y là 2 số tự nhiên liên tiếp
x = 1 + 2 + 22 + 23 + ... + 22015 + 22016
2 . x = ( 1 + 2 + 22 + 23 + 24 + ... + 22015 + 22016 ) . 2
2 . x = 2 + 22 + 23 + 24 + 25 + ... + 22016 + 22017
x = 2 . x - x = ( 2 + 22 + 23 + 24 + ... + 22015 + 22016 ) - ( 1 + 2 + 22 + 23 + 24 + ... + 22015 + 22016 )
x = 22017 - 1
Do x = 22017 - 1
y = 22017
nên x và y là hai số tự nhiên liên tiếp
Suy ra ( đpcm )