No, thats not what they did.
Many non-trigonmetric proofs of Pythagorean theorem exist.
What they are trying to show is a trigonometric proof of the Pythagorean theorem, that does not involve circular reasoning i.e., contain the Pythagorean theorem as one of its implicit assumptions.