Can the Pythogrean theorem be proved using imaginary numbers? The proof must avoid circular reasoning, of course.

I [asked][1] essentially the same question at MSE, but did not receive a definitive answer, so I thought I would ask here.



  [1]: https://math.stackexchange.com/q/5009650/398708