Induction Proof for 2^n x 2^n Matrix Using L Transformation

  • Thread starter Thread starter Jairo Rojas
  • Start date Start date
  • Tags Tags
    Induction Proof
AI Thread Summary
The discussion focuses on proving a property of a 2^n x 2^n matrix through induction by expanding it to a 2^(n+1) x 2^(n+1) matrix. The approach involves partitioning the larger matrix into four 2^n x 2^n submatrices, where one is disregarded, and the remaining three contain only 1's. An L transformation is applied to the corner of the solved submatrix, resulting in zeros in the remaining submatrices, allowing them to be crossed out by the inductive hypothesis. Participants emphasize the importance of clearly stating problems directly in the forum instead of using attachments, as many helpers may overlook them. The conversation highlights both the mathematical strategy and the etiquette of posting in the forum.
Jairo Rojas
Messages
17
Reaction score
0

Homework Statement


Attached is the problem

Homework Equations

The Attempt at a Solution


The trick to solve this problem is that when we assume that it is true for a 2^n x 2^n matrix and then we expand this matrix with 1's to a 2^n+1 x 2^n+1, we can divide the resulting matrix into 4 submatrices of 2^n x 2^n. 1 matrix will be crossed out already but the other 3 will have just 1 entries. To apply the inductive step on the 3 left matrices, we just perform an L transformation on the corner of the solved sub matrix. Now every left submatrix will have a 0. Therefore, they can be crossed by inductive hypothesis. My problem is that I don't know how to state formally that we can cross that specific L.
 

Attachments

  • Screenshot (21).png
    Screenshot (21).png
    32 KB · Views: 426
Physics news on Phys.org
Jairo Rojas said:

Homework Statement


Attached is the problem

Homework Equations

The Attempt at a Solution


The trick to solve this problem is that when we assume that it is true for a 2^n x 2^n matrix and then we expand this matrix with 1's to a 2^n+1 x 2^n+1, we can divide partition the resulting matrix into 4 submatrices of 2^n x 2^n. 1 matrix will be crossed out already but the other 3 will have just 1 entries. To apply the inductive step on the 3 left remaining matrices, we just perform an L transformation on the corner* of the solved sub matrix. Now every left remaining submatrix will have a 0. Therefore, they can be crossed by inductive hypothesis. My problem is that I don't know how to state formally that we can cross that specific L.
* At the corner where the four submatrices meet there are four elements (one from each submatrix). One of these is a zero. Each of the other three is a 1 and together form an "L". ...
 
SammyS said:
* At the corner where the four submatrices meet there are four elements (one from each submatrix). One of these is a zero. Each of the other three is a 1 and together form an "L". ...
thanks!
 
Jairo Rojas said:

Homework Statement


Attached is the problem

Homework Equations

The Attempt at a Solution


The trick to solve this problem is that when we assume that it is true for a 2^n x 2^n matrix and then we expand this matrix with 1's to a 2^n+1 x 2^n+1, we can divide the resulting matrix into 4 submatrices of 2^n x 2^n. 1 matrix will be crossed out already but the other 3 will have just 1 entries. To apply the inductive step on the 3 left matrices, we just perform an L transformation on the corner of the solved sub matrix. Now every left submatrix will have a 0. Therefore, they can be crossed by inductive hypothesis. My problem is that I don't know how to state formally that we can cross that specific L.
Please get out of the habit of posting attachments stating the problem/solution, unless the problem or solution is complicated or involves diagrams, etc. Your problem can be stated simply and that should be done right in the input panel.

Most PF helpers will not look at attachments as you are employing them.

You should read the post by Vela entitled "Guidelines for students and helpers", which is pinned to the start of the sub-forum.
 
  • Like
Likes micromass
Ray Vickson said:
Please get out of the habit of posting attachments stating the problem/solution, unless the problem or solution is complicated or involves diagrams, etc. Your problem can be stated simply and that should be done right in the input panel.

Most PF helpers will not look at attachments as you are employing them.

You should read the post by Vela entitled "Guidelines for students and helpers", which is pinned to the start of the sub-forum.
Ok, I will keep that in mind for the future.
 
I picked up this problem from the Schaum's series book titled "College Mathematics" by Ayres/Schmidt. It is a solved problem in the book. But what surprised me was that the solution to this problem was given in one line without any explanation. I could, therefore, not understand how the given one-line solution was reached. The one-line solution in the book says: The equation is ##x \cos{\omega} +y \sin{\omega} - 5 = 0##, ##\omega## being the parameter. From my side, the only thing I could...
Back
Top