А откуда это нам извесно о его симметричности? Ведь он, вполне, может быть и несимметричным (о симметричности границ нигде не сказано):
0<= k1<= k <= 1000,
Пусть k1=2, k2=5, тогда k2-400=-395, 400-k1=398 => k2-400 != 400-k1
Кабы было так, тогда было бы проще, а так... для меня немного затруднительно их найти.