Yes he did.
Yes you have to use the pythagorean theorm to find the length of a right triangle. But you must subtract A2 from C2 then square root the answer.
inventor of bolzanos something theorm
Proof comes directly from the law of sines.