Este problema aparece como la segunda pregunta en el British Olimpiada Matemática De 2014--2015 Ronda 1 papel (https://bmos.ukmt.org.uk/home/bmo1-2015.pdf).
Los enteros positivos p, a y b satisfacer la ecuación de p2+a2=b2. Probar que si p es un primo mayor que 3, a es un múltiplo de a 12 2(p+a+1) es un cuadrado perfecto.
El uso de la diferencia de dos cuadrados, único primer teorema de factorización y propiedades del producto de la posterior enteros, he logrado demostrar que a es un múltiplo de 12 (es decir, que a=12qq∈N).
Sin embargo, para la segunda parte, no estoy seguro de cómo vincular el teorema de Pitágoras para el resultado requerido, dado que el a es un múltiplo de a 12. Desde 2(p+a+1) es par, entonces es fácil deducir que estamos buscando una expresión para t satisfacción p+a+1=2t2.
Alguna pista/sugerencias sobre la manera de abordar este problema sería muy apreciada.