Apparently (found this while reading an article on the girls' accomplishments) somebody proved sin^2x + cos^2x = 1 without using the Pythagorean theorem in 2009: https://forumgeom.fau.edu/FG2009volume9/FG200925index.html.
I don't think the "uses trigonometry" part is hype. They do use the definitions and law of sines, they just cleverly avoid the parts of trigonometry that depend on the Pythagorean theorem.