To show that the point ` (\frac(3)(5),\frac(4)(5)) ` is on the unit circle, we need to prove that ` (\frac(3)(5))^2+(\frac(4)(5))^2