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

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