Este trabajo explora la aplicación de herramientas de razonamiento automatizado, específicamente aquellas implementadas en GeoGebra Discovery, a la desigualdad perímetro-área en triángulos. Enfocándose en los métodos computacionales complejos y la geometría algebraica real detrás de estas herramientas, este estudio analiza una construcción geométrica que implica un triángulo con longitudes de lado arbitrarias y área, investigando la derivación automatizada de la relación entre el área y el perímetro de un triángulo, y mostrando que solo los triángulos equiláteros cumplen con la igualdad exacta entre perímetro y área. La principal contribución de este trabajo es describir los desafíos y posibles formas de abordar sus soluciones, aún planteados por el uso de tales métodos automatizados de cálculo simbólico en geometría dinámica, en particular en lo que respecta al descubrimiento de lugares de puntos que satisfacen condiciones geométricas específicas, sugiriendo mejoras relevantes para el desarrollo futuro de estas herramientas educativas basadas en IA simbólica en geometría.