합의 기호(시그마, Σ)를 사용할 때, 곱셈에 대한 성질은 덧셈이나 뺄셈과는 다르게 적용됩니다. 결론부터 말씀드리자면, 시그마 안의 곱셈을 각 시그마로 분리하여 따로 계산한 뒤 곱하는 것은 일반적으로 불가능합니다. 즉, $\sum_{i=1}^{n} (a_i imes b_i) \neq (\sum_{i=1}^{n} a_i) imes (\sum_{i=1}^{n} b_i)$ 입니다.
시그마의 기본 성질
시그마 연산은 다음과 같은 기본적인 성질을 가집니다.
- 상수배의 분리: $\sum_{i=1}^{n} (c imes a_i) = c imes \sum_{i=1}^{n} a_i$ (단, c는 상수)
- 덧셈/뺄셈의 분리: $\sum_{i=1}^{n} (a_i \pm b_i) = \sum_{i=1}^{n} a_i \pm \sum_{i=1}^{n} b_i$
이 성질들을 보면, 시그마 안의 덧셈이나 뺄셈은 각각의 시그마로 분리할 수 있지만, 곱셈은 분리할 수 없다는 것을 알 수 있습니다. 곱셈의 경우, 시그마 기호 안에서 각 항들이 서로 영향을 주고받기 때문에 단순히 분리해서 계산할 수 없습니다.
왜 분리가 불가능할까요?
시그마는 합을 나타내는 기호입니다. 따라서 $\sum_{i=1}^{n} (a_i imes b_i)$는 $a_1b_1 + a_2b_2 + ... + a_nb_n$을 의미합니다. 반면에 $(\sum_{i=1}^{n} a_i) imes (\sum_{i=1}^{n} b_i)$는 $(a_1 + a_2 + ... + a_n) imes (b_1 + b_2 + ... + b_n)$을 의미합니다. 이 두 식을 전개해보면 명확한 차이를 알 수 있습니다.
예를 들어, n=2인 경우를 생각해 봅시다.
- $\sum_{i=1}^{2} (a_i imes b_i) = (a_1 imes b_1) + (a_2 imes b_2)$
- $(\sum_{i=1}^{2} a_i) imes (\sum_{i=1}^{2} b_i) = (a_1 + a_2) imes (b_1 + b_2) = a_1b_1 + a_1b_2 + a_2b_1 + a_2b_2$
보시다시피, 두 결과는 $a_1b_2$와 $a_2b_1$ 항의 유무에서 차이가 납니다. 따라서 시그마 안의 곱셈을 임의로 분리하여 계산하는 것은 잘못된 결과로 이어집니다.
그렇다면 곱셈은 어떻게 계산해야 할까요?
시그마 안의 곱셈 형태를 계산해야 할 때는, 곱셈을 먼저 계산한 후 그 결과를 합하는 방식으로 접근해야 합니다. 즉, 주어진 식 그대로 계산하는 것이 유일한 방법입니다.
만약 문제에서 $\sum_{i=1}^{n} a_i$와 $\sum_{i=1}^{n} b_i$의 값을 각각 알고 있고, $\sum_{i=1}^{n} (a_i imes b_i)$의 값을 구해야 한다면, 일반적으로는 추가적인 정보 없이는 직접 계산하는 수밖에 없습니다. 특정 조건(예: $a_i$ 또는 $b_i$가 상수이거나, $a_i$와 $b_i$ 사이에 특별한 관계가 있는 경우)이 주어지지 않는 한, 시그마의 곱셈 법칙을 활용할 수 없습니다.
정리
시그마 연산에서 곱셈은 덧셈/뺄셈처럼 분리하여 계산할 수 없습니다. $\sum_{i=1}^{n} (a_i imes b_i)$는 $(\sum_{i=1}^{n} a_i) imes (\sum_{i=1}^{n} b_i)$와 같지 않으며, 곱셈이 포함된 시그마는 주어진 식 그대로 계산해야 합니다. 수학 공식을 다룰 때 이러한 기본적인 성질을 정확히 이해하는 것이 중요합니다.