제한 조건은 없이 등식에서는 반드시 성립합니다. 등식의 성질에서 a = b 이면, ac = bc 라는 성질이 있습니다. 양변에 같은 값을 곱하더라도 정확히 같다는 성질입니다. 이 때, a = b 이면, a×a = b×a = b×b 가 되어, 결국 a×a = b×b 가 되어, a² = b² 이라는 것을 확인할 수 있지요. 즉 a = b 이면, a² = b² 이 된다는 것을 확인할 수 있으며, 이를 확장하면, aⁿ = bⁿ 이라는 것을 확인이 가능하며, 이러한 성질을 이용하면, n이 자연수때는 정확하게 증명이 가능하며, n이 정수, 유리수, 실수일 때의 상황은 고교과정에서는 '정의'를 확장할 수 있으며, 그래프를 이용하는 것이 가장 직관적입니다. 다만, 증명하는 것이 큰 의미를 가지지 않기 때문에 직관적으로 사용해도 괜찮습니다. p.s 늦은 답변 죄송합니다.