(2025-12-22) Silva, Flávio José da; Souza, Ana Paula Dantas de; http://lattes.cnpq.br/0855037244655705; Silva, Vanessa Lúcia da; http://lattes.cnpq.br/4017185539776065; Nascimento, Arlyson Alves do; http://lattes.cnpq.br/9395417554768580; Alane da Rocha Alves; https://orcid.org/0000-0002-6887-3217; http://lattes.cnpq.br/1552476729964704
This work aims to present a formal deduction of Sylvester’s criterion, a fundamental theorem in the analysis of the definiteness of quadratic forms associated with real symmetric matrices. The study is structured around the formal development of the criterion, its geometric interpretation, and classical applications. The approach emphasizes the connection between theory and practice, offering suggestions for exploring the content in the classroom through concrete and technological resources.