Generalizing (x_1+ x_n)^2

  • Thread starter Sigma057
  • Start date
  • #1
37
1
Hello, I am a recently graduated high school senior going off to college soon, and over the summer I have spend some of my free time experimenting with different problems in mathematics. This is one that I have spent many days on, and have come to a dead end.

Like the title says, I am attempting to generalize the squaring of any sum of variables

[tex] (x_1+ \dots + x_n)^2 [/tex]

So far I've just experimented with multiplying it out with different values of n and trying to spot a pattern.

For n = 3 it comes out to be
[tex] x^2_1 +x^2_2 +x^2_3 + 2(x_1 x_2 + x_1 x_3 + x_2 x_3) [/tex]

The pattern seems to be the squares of the variables + 2 times all the combinations of 2 variables multiplied together.

I thought higher values of n would help me get a general pattern so I chose n = 6
[tex] (x_1 + \dots + x_6)^2 = x^2_1 + x^2_2 + x^2_3 + x^2_4 + x^2_5 + x^2_6 + 2(x_1 x_2 + x_1 x_3 + x_1 x_4 + x_1 x_5 + x_1 x_6 + x_2 x_3 + x_2 x_4 + x_2 x_5 + x_2 x_6 + x_3 x_4 + x_3 x_5 + x_3 x_6 + x_4 x_5 + x_4 x_6 + x_5 x_6) [/tex]

Since there are so many terms to be added I thought using Sigma notation would help. The same formula above in Sigma notation is

[tex] ( \sum_{i=1}^6 x_i )^2 = \sum_{i=1}^6 x^2_i + 2( \sum_{i=2}^6 x_1 x_i + \sum_{i=3}^6 x_2 x_i +\sum_{i=4}^6 x_3 x_i + \sum_{i=5}^6 x_4 x_i + x_5 x_6 ) [/tex]

This is obviously not a very compact formula, and I was wondering if there is a way to combine the sums of different indices. Or, if there is a better way to go about this.
 
Last edited:

Answers and Replies

  • #2
296
15
[tex]\left( \sum_{i=1}^n x_i \right)^{2} = \sum_{i=1}^{n}x_{i}^{2} + 2 \sum_{1 \leq i < j \leq n}x_{i} x_{j}[/tex]

Does that help?
 
  • #3
37
1
[tex]\left( \sum_{i=1}^n x_i \right)^{2} = \sum_{i=1}^{n}x_{i}^{2} + 2 \sum_{1 \leq i < j \leq n}x_{i} x_{j}[/tex]

Does that help?
I've never used a summation with 2 indices without being a double sum. What exactly does the second sum mean?
 
  • #4
296
15
It means the sum over all ordered pairs (i, j) where i<j. You could rewrite it using a double sum as follows:

[tex]\sum_{i=1}^{n} x_i^2 + 2 \sum_{i=1}^{n-1} \sum_{j=i+1}^{n} x_i x_j[/tex]

Or more directly, without separating out the cross terms from the ones with i=j as:

[tex]\sum_{i=1}^{n} \sum_{j=1}^{n} x_i x_j[/tex]
 
  • #5
88
0
A quick way to realize this simplification might be:

[tex](x_1+x_2 +\cdots + x_n)(x_1+x_2 +\cdots + x_n) = x_1(x_1+x_2 +\cdots + x_n) +
x_2(x_1+x_2 +\cdots + x_n) + \cdots+ x_n(x_1+x_2 +\cdots + x_n)[/tex]

The [itex]k^{th}[/itex] term above contains an [itex]x_k^2[/itex] and [itex]x_ix_k[/itex] for every [itex]i \neq k[/itex]. So the [itex]k^{th}[/itex] and the [itex]i^{th}[/itex] are the only terms which contain [itex]x_kx_i=x_ix_k[/itex] giving you two copies of every non-square.

If your ring were not commutative, the general result would be

[tex](x_1+x_2+\cdots + x_n)^2 = \sum_{i\le n} x_i^2 + \sum_{i \neq j} x_ix_j[/tex]

Which looks (maybe deceptively) less complicated. Of course this applies to the commutative case as well.
 
  • #6
disregardthat
Science Advisor
1,854
33
And now, (x_1 + x_2 + ... + x_n)^m ...
 
  • #8
88
0
Yes! That will be my next step.
The notation might get very messy. I suggest you try the third power to see how it relates or comes from to the second power (then, if needed, see how the 4th power relates to the third). Then try to generalize any power.
 

Related Threads on Generalizing (x_1+ x_n)^2

Replies
6
Views
2K
Replies
3
Views
1K
Replies
9
Views
1K
  • Last Post
Replies
8
Views
4K
  • Last Post
Replies
5
Views
3K
  • Last Post
Replies
4
Views
2K
  • Last Post
Replies
7
Views
8K
  • Last Post
Replies
4
Views
4K
  • Last Post
Replies
4
Views
2K
Top