Представлено прямое доказательство ВТФ, в основе которого лежит преобразованное уравнение Ферма Sn = un + vn =1, где u = x/z; v = y/z.
Утверждение теоремы Ферма для преобразованного уравнения гласит: «Кривые Ферма Sn = 1, n ≥ 3, не содержат рациональных точек».
Ключевую роль в доказательстве ВТФ играет единичная окружность S2 = 1, так как координаты всех точек кривых Ферма, лежащих на одном луче λ, выражаются через координаты точки единичной окружности, лежащей на том же луче. На лучах λ0, проходящих через рациональные точки единичной окружности S2 = 1, в квадратах, построенных на радиус-векторах точек кривых Ферма, теорема Пифагора выполняется цело-численно (по ячейкам) с иррациональным шагом разбиения, (подробнее в Приложении 1). Только в точке единичной окружности теорема Пифагора выполняется целочисленно по ячейкам с рациональным шагом разбиения.