It’s a mathematical proof, but it’s using trig inside the proof.
If you ever want a fun rabbit hole of mathematicians losing their minds, they had a massive existential crisis about calculus with “What if all of calculus is wrong!?!”, and the subsequent proof developed is one of those things that took years and likely involved a lot of amphetamines.