document.write( "Question 1164527: Let Jn be the n × n matrix all of whose entries are 1. Let n > 1 and show that:
\n" ); document.write( "(In − Jn)^−1 = In − 1/(n − 1)Jn
\n" ); document.write( "

Algebra.Com's Answer #854346 by CPhill(2261)\"\" \"About 
You can put this solution on YOUR website!
To prove that $(I_n - J_n)^{-1} = I_n - \frac{1}{n-1}J_n$, we must show that their product results in the Identity matrix $I_n$. \r
\n" ); document.write( "\n" ); document.write( "### **Key Property of $J_n$**
\n" ); document.write( "Before starting, recall the definition of $J_n$: it is an $n \times n$ matrix where every entry is $1$.
\n" ); document.write( "The product $J_n \cdot J_n$ results in a matrix where each entry is the dot product of a row of $1$s and a column of $1$s. Since there are $n$ entries:
\n" ); document.write( "$$J_n^2 = n J_n$$\r
\n" ); document.write( "\n" ); document.write( "---\r
\n" ); document.write( "\n" ); document.write( "### **The Proof**\r
\n" ); document.write( "\n" ); document.write( "Let $A = (I_n - J_n)$ and $B = (I_n - \frac{1}{n-1}J_n)$. We will compute $A \cdot B$:\r
\n" ); document.write( "\n" ); document.write( "**Step 1: Expand the product**
\n" ); document.write( "$$(I_n - J_n) \left( I_n - \frac{1}{n-1}J_n \right)$$
\n" ); document.write( "Using the distributive property (FOIL):
\n" ); document.write( "$$= I_n \cdot I_n - I_n \cdot \frac{1}{n-1}J_n - J_n \cdot I_n + J_n \cdot \frac{1}{n-1}J_n$$\r
\n" ); document.write( "\n" ); document.write( "**Step 2: Simplify the terms**
\n" ); document.write( "* $I_n \cdot I_n = I_n$
\n" ); document.write( "* $I_n \cdot \frac{1}{n-1}J_n = \frac{1}{n-1}J_n$
\n" ); document.write( "* $J_n \cdot I_n = J_n$
\n" ); document.write( "* $J_n \cdot \frac{1}{n-1}J_n = \frac{1}{n-1}J_n^2$\r
\n" ); document.write( "\n" ); document.write( "Substituting these back:
\n" ); document.write( "$$= I_n - \frac{1}{n-1}J_n - J_n + \frac{1}{n-1}J_n^2$$\r
\n" ); document.write( "\n" ); document.write( "**Step 3: Substitute $J_n^2 = n J_n$**
\n" ); document.write( "$$= I_n - \frac{1}{n-1}J_n - J_n + \frac{n}{n-1}J_n$$\r
\n" ); document.write( "\n" ); document.write( "**Step 4: Combine the $J_n$ terms**
\n" ); document.write( "Factor out $J_n$:
\n" ); document.write( "$$= I_n + \left( -\frac{1}{n-1} - 1 + \frac{n}{n-1} \right) J_n$$\r
\n" ); document.write( "\n" ); document.write( "Find a common denominator for the terms inside the parentheses:
\n" ); document.write( "$$= I_n + \left( \frac{-1 - (n-1) + n}{n-1} \right) J_n$$
\n" ); document.write( "$$= I_n + \left( \frac{-1 - n + 1 + n}{n-1} \right) J_n$$
\n" ); document.write( "$$= I_n + \left( \frac{0}{n-1} \right) J_n$$\r
\n" ); document.write( "\n" ); document.write( "**Step 5: Final Result**
\n" ); document.write( "$$= I_n + 0 = I_n$$\r
\n" ); document.write( "\n" ); document.write( "---\r
\n" ); document.write( "\n" ); document.write( "### **Conclusion**
\n" ); document.write( "Since $(I_n - J_n)(I_n - \frac{1}{n-1}J_n) = I_n$, the two matrices are inverses of each other. Therefore:
\n" ); document.write( "$$(I_n - J_n)^{-1} = I_n - \frac{1}{n-1}J_n$$
\n" ); document.write( "$\blacksquare$\r
\n" ); document.write( "\n" ); document.write( "> **Note:** This inverse exists only if $n-1 \neq 0$, which is why the condition $n > 1$ is specified. If $n=1$, the matrix $I_1 - J_1$ becomes $[1] - [1] = [0]$, which is not invertible.
\n" ); document.write( "
\n" );