Виноват, тройка 8 - 15 - 17 существует и она полностью подчиняется приведённым формулам
Каким образом, если у вас написано, что

(второе по величине число) нечетным быть не может? Или тут передумали? (если передумали - это совершенно нормально, просто нужно об этом явно сказать, и проверить, что при отказе от этого предположения ничего не ломается)
Есть и другие классические тройки со вторыми решениями (кажется, есть даже третьи).
Сколько угодно бывает. Любое четное число

входит в

различных примитивных троек, где

- число различных простых делителей

.
эти вторые решения - лишь случайное совпадение с конкретной ПТ
Важный вопрос: а в чем тогда ваш заявленный результат?
Что вы умеете генерировать
некоторые примитивные пифагоровы тройки? Ну да, умеете. Польза от этого для народного хозяйства не очень понятна, с учетом того, что еще древним грекам были известны формулы примерно той же сложности, генерирующие их все.