Области наличия решений - этот термин надо понимать как области наличия предполагаемых решений.
Нет, не «предполагаемых», а вполне реальных – имеется ввиду решений, например, для разности соседних кубов «уточненного» уравнения

. Если рассматривать более общее «неуточненное» уравнение

, то в общем случае, Z может быть любым целым числом отличным от 0 и равенство будет выполняться (на самом деле – тоже недоказано, что «любым», однако, в этом случае чрезвычайно трудно выделить какие-либо закономерности, по-крайней мере, они далеко не очевидны). В случае же с «уточненным» уравнением, имеем, что с может принимать строго определенные значения, чтобы равенство выполнялось.
Вот тут и образуются области наличия и отсутствия вполне реальных решений, и самая «известная» область отсутствия решений – это область от

до

. «Известна» она багодаря тому, что при

«вырождается» в самый интересный, короткий и красивый частный случай – в ВТФ. Однако её «протяженность» гораздо больше, и случай ВТФ находится практически «по середине» этой области. В «переводе» же к «неуточненному уравнению», протяженность этой области равна

. Далее, начиная от краевых значений этой области, идут области наличия решений ("в обе стороны"). Так вот, их протяженности также неслучайны - например, области наличия решений, следующие сразу за описанной областью отсутствия решений в сумме создают

Далее следует область отсутствия

и т.д. - то есть, в точности повторяется основная структура куба.
Поэтому, по-крайней мере у меня в этой связи двоякое чувство - с одной стороны, все это "подобие" дает некоторые основания полагать, что все-таки существует некое вполне тривиальное рассуждение, на нем основанное, позволяющее сделать однозначный вывод о невозможности целочисленных решений ВТФ. С другой стороны, - я лично убедился, насколько сложно устроены степени, чтобы можно было доказать ВТФ прямыми элементарными математическими выкладками...
-- 04.07.2014, 09:39 --Да, забыл добавить - аналогично по другим простым степеням >3. (Проверил для 5-ой и, частично (для первой области отсутствия решений), для 7-ой перебором )
Есть большие основания полагать, что все то же самое и для всех простых степеней.