How to deal with systems of linear equations with parameters
$begingroup$
Good morning everyone,
I have with myself not a small-big problem - when checking whether a given system of equations is inconsistent / consistent / marked
As long as I operate on the numbers themselves it is elegant, I check the conditions with Kronecker and it is elegant
However, when the type task appears:
Specify for which $a in Bbb R $ the given system is inconsistent / consistent / marked
$$begin{cases} x+5y+a^2z = - 3 \2x+2y-a^2z = 3a\-4x + 3y + z = -5 end{cases}$$
I stuck myself, every time I write a matrix, I come to some form like this:
$$ begin{bmatrix}0&-4&a^2&(-2-a)\1&-1&0&(-1+a)\0&-5&(a^2+1)&(-11+2a)end{bmatrix}$$
I do not even know if the form I have brought is beneficial to me, I transform it until I intuitively see it, but in fact I do not know what to stop, what is the target form of martix, when I should stop transforming and start consider cases.
Then I act completely mindlessly - i.e. I check for which
$a$, some elements are zeroing and I look what's going on for
$$a = 0, a=1, a= frac{11}{2}$$
Then there is the case when
$$ a in Bbb R setminus left{ 0,1,frac{11}{2}right} $$
and I do not know how to behave, i.e. I have a problem with calculating it to the end, with the detection of some patterns of action in these cases. How to solve such systems of equations with parameters from the beginning to the end? Thanks for your time...
PS: Please, don't mark this question as duplicate - I know that there were some problems like that, but nowhere I have seen a clearify "instruction" (I know it sounds stupid) how to deal with these tasks.
linear-algebra systems-of-equations
$endgroup$
add a comment |
$begingroup$
Good morning everyone,
I have with myself not a small-big problem - when checking whether a given system of equations is inconsistent / consistent / marked
As long as I operate on the numbers themselves it is elegant, I check the conditions with Kronecker and it is elegant
However, when the type task appears:
Specify for which $a in Bbb R $ the given system is inconsistent / consistent / marked
$$begin{cases} x+5y+a^2z = - 3 \2x+2y-a^2z = 3a\-4x + 3y + z = -5 end{cases}$$
I stuck myself, every time I write a matrix, I come to some form like this:
$$ begin{bmatrix}0&-4&a^2&(-2-a)\1&-1&0&(-1+a)\0&-5&(a^2+1)&(-11+2a)end{bmatrix}$$
I do not even know if the form I have brought is beneficial to me, I transform it until I intuitively see it, but in fact I do not know what to stop, what is the target form of martix, when I should stop transforming and start consider cases.
Then I act completely mindlessly - i.e. I check for which
$a$, some elements are zeroing and I look what's going on for
$$a = 0, a=1, a= frac{11}{2}$$
Then there is the case when
$$ a in Bbb R setminus left{ 0,1,frac{11}{2}right} $$
and I do not know how to behave, i.e. I have a problem with calculating it to the end, with the detection of some patterns of action in these cases. How to solve such systems of equations with parameters from the beginning to the end? Thanks for your time...
PS: Please, don't mark this question as duplicate - I know that there were some problems like that, but nowhere I have seen a clearify "instruction" (I know it sounds stupid) how to deal with these tasks.
linear-algebra systems-of-equations
$endgroup$
$begingroup$
How much linear algebra have you taken? I think "the target form of martix" that you are talking about is called reduced-row echelon form: en.wikipedia.org/wiki/Row_echelon_form
$endgroup$
– Noble Mushtak
Jan 1 at 14:02
1
$begingroup$
It is a square system. Take the determinant and set it to zero. You will get an equation for $a$ for all ''problematic'' values. For those values you can do the standard elimination to find out if the system is inconsistent or have many solutions. For all other values of $a$ the determinant is nonzero, hence the solution is unique.
$endgroup$
– A.Γ.
Jan 1 at 14:08
$begingroup$
@A.Γ. Square system? If I consider $ A | vec{b} $ it is $ 4x3$
$endgroup$
– VirtualUser
Jan 1 at 19:02
$begingroup$
@VirtualUser By "square" I mean # variables = # equations, i.e. the system matrix $A$ is square. The matrix $A|b$ is the augmented matrix. You need to study $det A$.
$endgroup$
– A.Γ.
Jan 1 at 19:04
add a comment |
$begingroup$
Good morning everyone,
I have with myself not a small-big problem - when checking whether a given system of equations is inconsistent / consistent / marked
As long as I operate on the numbers themselves it is elegant, I check the conditions with Kronecker and it is elegant
However, when the type task appears:
Specify for which $a in Bbb R $ the given system is inconsistent / consistent / marked
$$begin{cases} x+5y+a^2z = - 3 \2x+2y-a^2z = 3a\-4x + 3y + z = -5 end{cases}$$
I stuck myself, every time I write a matrix, I come to some form like this:
$$ begin{bmatrix}0&-4&a^2&(-2-a)\1&-1&0&(-1+a)\0&-5&(a^2+1)&(-11+2a)end{bmatrix}$$
I do not even know if the form I have brought is beneficial to me, I transform it until I intuitively see it, but in fact I do not know what to stop, what is the target form of martix, when I should stop transforming and start consider cases.
Then I act completely mindlessly - i.e. I check for which
$a$, some elements are zeroing and I look what's going on for
$$a = 0, a=1, a= frac{11}{2}$$
Then there is the case when
$$ a in Bbb R setminus left{ 0,1,frac{11}{2}right} $$
and I do not know how to behave, i.e. I have a problem with calculating it to the end, with the detection of some patterns of action in these cases. How to solve such systems of equations with parameters from the beginning to the end? Thanks for your time...
PS: Please, don't mark this question as duplicate - I know that there were some problems like that, but nowhere I have seen a clearify "instruction" (I know it sounds stupid) how to deal with these tasks.
linear-algebra systems-of-equations
$endgroup$
Good morning everyone,
I have with myself not a small-big problem - when checking whether a given system of equations is inconsistent / consistent / marked
As long as I operate on the numbers themselves it is elegant, I check the conditions with Kronecker and it is elegant
However, when the type task appears:
Specify for which $a in Bbb R $ the given system is inconsistent / consistent / marked
$$begin{cases} x+5y+a^2z = - 3 \2x+2y-a^2z = 3a\-4x + 3y + z = -5 end{cases}$$
I stuck myself, every time I write a matrix, I come to some form like this:
$$ begin{bmatrix}0&-4&a^2&(-2-a)\1&-1&0&(-1+a)\0&-5&(a^2+1)&(-11+2a)end{bmatrix}$$
I do not even know if the form I have brought is beneficial to me, I transform it until I intuitively see it, but in fact I do not know what to stop, what is the target form of martix, when I should stop transforming and start consider cases.
Then I act completely mindlessly - i.e. I check for which
$a$, some elements are zeroing and I look what's going on for
$$a = 0, a=1, a= frac{11}{2}$$
Then there is the case when
$$ a in Bbb R setminus left{ 0,1,frac{11}{2}right} $$
and I do not know how to behave, i.e. I have a problem with calculating it to the end, with the detection of some patterns of action in these cases. How to solve such systems of equations with parameters from the beginning to the end? Thanks for your time...
PS: Please, don't mark this question as duplicate - I know that there were some problems like that, but nowhere I have seen a clearify "instruction" (I know it sounds stupid) how to deal with these tasks.
linear-algebra systems-of-equations
linear-algebra systems-of-equations
edited Jan 1 at 13:59
Thomas Shelby
4,4892726
4,4892726
asked Jan 1 at 13:53
VirtualUserVirtualUser
1,115117
1,115117
$begingroup$
How much linear algebra have you taken? I think "the target form of martix" that you are talking about is called reduced-row echelon form: en.wikipedia.org/wiki/Row_echelon_form
$endgroup$
– Noble Mushtak
Jan 1 at 14:02
1
$begingroup$
It is a square system. Take the determinant and set it to zero. You will get an equation for $a$ for all ''problematic'' values. For those values you can do the standard elimination to find out if the system is inconsistent or have many solutions. For all other values of $a$ the determinant is nonzero, hence the solution is unique.
$endgroup$
– A.Γ.
Jan 1 at 14:08
$begingroup$
@A.Γ. Square system? If I consider $ A | vec{b} $ it is $ 4x3$
$endgroup$
– VirtualUser
Jan 1 at 19:02
$begingroup$
@VirtualUser By "square" I mean # variables = # equations, i.e. the system matrix $A$ is square. The matrix $A|b$ is the augmented matrix. You need to study $det A$.
$endgroup$
– A.Γ.
Jan 1 at 19:04
add a comment |
$begingroup$
How much linear algebra have you taken? I think "the target form of martix" that you are talking about is called reduced-row echelon form: en.wikipedia.org/wiki/Row_echelon_form
$endgroup$
– Noble Mushtak
Jan 1 at 14:02
1
$begingroup$
It is a square system. Take the determinant and set it to zero. You will get an equation for $a$ for all ''problematic'' values. For those values you can do the standard elimination to find out if the system is inconsistent or have many solutions. For all other values of $a$ the determinant is nonzero, hence the solution is unique.
$endgroup$
– A.Γ.
Jan 1 at 14:08
$begingroup$
@A.Γ. Square system? If I consider $ A | vec{b} $ it is $ 4x3$
$endgroup$
– VirtualUser
Jan 1 at 19:02
$begingroup$
@VirtualUser By "square" I mean # variables = # equations, i.e. the system matrix $A$ is square. The matrix $A|b$ is the augmented matrix. You need to study $det A$.
$endgroup$
– A.Γ.
Jan 1 at 19:04
$begingroup$
How much linear algebra have you taken? I think "the target form of martix" that you are talking about is called reduced-row echelon form: en.wikipedia.org/wiki/Row_echelon_form
$endgroup$
– Noble Mushtak
Jan 1 at 14:02
$begingroup$
How much linear algebra have you taken? I think "the target form of martix" that you are talking about is called reduced-row echelon form: en.wikipedia.org/wiki/Row_echelon_form
$endgroup$
– Noble Mushtak
Jan 1 at 14:02
1
1
$begingroup$
It is a square system. Take the determinant and set it to zero. You will get an equation for $a$ for all ''problematic'' values. For those values you can do the standard elimination to find out if the system is inconsistent or have many solutions. For all other values of $a$ the determinant is nonzero, hence the solution is unique.
$endgroup$
– A.Γ.
Jan 1 at 14:08
$begingroup$
It is a square system. Take the determinant and set it to zero. You will get an equation for $a$ for all ''problematic'' values. For those values you can do the standard elimination to find out if the system is inconsistent or have many solutions. For all other values of $a$ the determinant is nonzero, hence the solution is unique.
$endgroup$
– A.Γ.
Jan 1 at 14:08
$begingroup$
@A.Γ. Square system? If I consider $ A | vec{b} $ it is $ 4x3$
$endgroup$
– VirtualUser
Jan 1 at 19:02
$begingroup$
@A.Γ. Square system? If I consider $ A | vec{b} $ it is $ 4x3$
$endgroup$
– VirtualUser
Jan 1 at 19:02
$begingroup$
@VirtualUser By "square" I mean # variables = # equations, i.e. the system matrix $A$ is square. The matrix $A|b$ is the augmented matrix. You need to study $det A$.
$endgroup$
– A.Γ.
Jan 1 at 19:04
$begingroup$
@VirtualUser By "square" I mean # variables = # equations, i.e. the system matrix $A$ is square. The matrix $A|b$ is the augmented matrix. You need to study $det A$.
$endgroup$
– A.Γ.
Jan 1 at 19:04
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
I think the problem here is that you don't have any formal algorithm for how to transform the equation and you are kind of just doing what feels right. Instead, you should focus on getting the determinant in reduced-row echelon form, or RREF. Please read this Wiki article to find out what RREF. In this answer, I will show you how to transform a matrix into RREF form. First, write out the augmented matrix:
$$left[begin{matrix}1 & 5 & a^2 & -3 \ 2 & 2 & -a^2 & 3a \ -4 & 3 & 1 & -5end{matrix}right]$$
Now, we have a $1$ in the top-left corner, which is good. Using this $1$, I will eliminate the $2$ and $-4$ in the first column using row addition. Subtract the second row by two times the first row and add the third row by four times the first row:
$$left[begin{matrix}1 & 5 & a^2 & -3 \ 0 & -8 & -3a^2 & 3a+6 \ 0 & 23 & 4a^2+1 & -17end{matrix}right]$$
Now, we have a $-8$ in the leading element of the second row, so we will divide by $-8$:
$$left[begin{matrix}1 & 5 & a^2 & -3 \ 0 & 1 & frac 3 8a^2 & -frac 3 8 a-frac 3 4 \ 0 & 23 & 4a^2+1 & -17end{matrix}right]$$
Now, we can eliminate the $5$ and $23$ in the second column using row addition of the second row. Subtract the first row by five times the second row and subtract the third row by twenty-three times the second row:
$$left[begin{matrix}1 & 0 & -frac 7 8a^2 & frac {15} 8a+frac 3 4 \ 0 & 1 & frac 3 8a^2 & -frac 3 8 a-frac 3 4 \ 0 & 0 & -frac{37}8a^2+1 & frac{69}8a+frac 1 4end{matrix}right]$$
Now, we have $-frac{37}8a^2+1$ leading in the third row, so we need to divide the third row by $-frac{37}8a^2+1$. However, before we do this, we need to make sure that we are not dividing by zero:
$$-frac{37}8a^2+1neq 0rightarrow aneq pm 2sqrt{frac 2 {37}}$$
Thus, this system is consistent only for $aneq pm 2sqrt{frac 2 {37}}$ because otherwise, the last equation would turn into $0=frac{69}8a+frac 1 4$, which is clearly a contradiction. Using this knowledge, we can divide by $-frac{37}8a^2+1$:
$$left[begin{matrix}1 & 0 & -frac 7 8a^2 & frac {15} 8a+frac 3 4 \ 0 & 1 & frac 3 8a^2 & -frac 3 8 a-frac 3 4 \ 0 & 0 & 1 & frac{69a+2}{8-37a^2}end{matrix}right]$$
Finally, we can use row addition to eliminate the $-frac 7 8a^2$ and $frac 3 8a^2$ in the third column:
$$left[begin{matrix}1 & 0 & 0 & frac{483a^3+14a^2}{64-296a^2}+frac {15} 8a+frac 3 4 \ 0 & 1 & 0 & -frac{207a^3+6a^2}{64-296a^2}-frac 3 8 a-frac 3 4 \ 0 & 0 & 1 & frac{69a+2}{8-37a^2}end{matrix}right]$$
This is the final RREF form of the original matrix. From this augmented matrix, we can finally see that the solution is as follows:
$$x=frac{483a^3+14a^2}{64-296a^2}+frac {15} 8a+frac 3 4$$
$$y=-frac{207a^3+6a^2}{64-296a^2}-frac 3 8 a-frac 3 4$$
$$z=frac{69a+2}{8-37a^2}$$
$endgroup$
$begingroup$
Your explanation is really helpful! So if I understand it well, I should do everything to transform it to RREF, but in way to do this, I can be in situation when I should divide by expression which contains parameter, so I should consider what happens when parameter is equal to zero place of this expression. This situation could take place several times but after that, I get RREF and for all parametrs which I didn't ruled out, this system is marked, right?
$endgroup$
– VirtualUser
Jan 1 at 18:45
$begingroup$
@VirtualUser Yes, always transform the matrix to RREF and whenever you divide by an expression, rule out the parameters which make that expression equal to $0$. Then, at the end, for all the parameters that you did not rule out, the system is consistent. I do not know what you mean by the system being "marked" because a system can either be labeled as consistent, if the system has one or more solutions, or inconsistent, if the system has no solutions.
$endgroup$
– Noble Mushtak
Jan 1 at 20:03
$begingroup$
Ah, indeed, on the end system can have infinity solutions, right. Thanks for great explanation!
$endgroup$
– VirtualUser
Jan 1 at 20:48
add a comment |
$begingroup$
From the first equation we get
$$x=3-5y-a^2z$$ so we can eliminate $x$ in the second and third equation:
$$-8y-3a^2z=3a-6$$
$$23y+4a^2z+z=17$$
From here we get
$$y=-frac{1}{8}(3a-6+3a^2z)$$
Now we get for $z$
$$zleft(-frac{69}{8}a^2+4a^2+1right)=17-frac{138}{8}+frac{69}{8}a$$
Can you finish?
$endgroup$
$begingroup$
I believe that it is correct way, but if I want to consider bigger systems, I need to use martices
$endgroup$
– VirtualUser
Jan 1 at 18:37
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3058498%2fhow-to-deal-with-systems-of-linear-equations-with-parameters%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
I think the problem here is that you don't have any formal algorithm for how to transform the equation and you are kind of just doing what feels right. Instead, you should focus on getting the determinant in reduced-row echelon form, or RREF. Please read this Wiki article to find out what RREF. In this answer, I will show you how to transform a matrix into RREF form. First, write out the augmented matrix:
$$left[begin{matrix}1 & 5 & a^2 & -3 \ 2 & 2 & -a^2 & 3a \ -4 & 3 & 1 & -5end{matrix}right]$$
Now, we have a $1$ in the top-left corner, which is good. Using this $1$, I will eliminate the $2$ and $-4$ in the first column using row addition. Subtract the second row by two times the first row and add the third row by four times the first row:
$$left[begin{matrix}1 & 5 & a^2 & -3 \ 0 & -8 & -3a^2 & 3a+6 \ 0 & 23 & 4a^2+1 & -17end{matrix}right]$$
Now, we have a $-8$ in the leading element of the second row, so we will divide by $-8$:
$$left[begin{matrix}1 & 5 & a^2 & -3 \ 0 & 1 & frac 3 8a^2 & -frac 3 8 a-frac 3 4 \ 0 & 23 & 4a^2+1 & -17end{matrix}right]$$
Now, we can eliminate the $5$ and $23$ in the second column using row addition of the second row. Subtract the first row by five times the second row and subtract the third row by twenty-three times the second row:
$$left[begin{matrix}1 & 0 & -frac 7 8a^2 & frac {15} 8a+frac 3 4 \ 0 & 1 & frac 3 8a^2 & -frac 3 8 a-frac 3 4 \ 0 & 0 & -frac{37}8a^2+1 & frac{69}8a+frac 1 4end{matrix}right]$$
Now, we have $-frac{37}8a^2+1$ leading in the third row, so we need to divide the third row by $-frac{37}8a^2+1$. However, before we do this, we need to make sure that we are not dividing by zero:
$$-frac{37}8a^2+1neq 0rightarrow aneq pm 2sqrt{frac 2 {37}}$$
Thus, this system is consistent only for $aneq pm 2sqrt{frac 2 {37}}$ because otherwise, the last equation would turn into $0=frac{69}8a+frac 1 4$, which is clearly a contradiction. Using this knowledge, we can divide by $-frac{37}8a^2+1$:
$$left[begin{matrix}1 & 0 & -frac 7 8a^2 & frac {15} 8a+frac 3 4 \ 0 & 1 & frac 3 8a^2 & -frac 3 8 a-frac 3 4 \ 0 & 0 & 1 & frac{69a+2}{8-37a^2}end{matrix}right]$$
Finally, we can use row addition to eliminate the $-frac 7 8a^2$ and $frac 3 8a^2$ in the third column:
$$left[begin{matrix}1 & 0 & 0 & frac{483a^3+14a^2}{64-296a^2}+frac {15} 8a+frac 3 4 \ 0 & 1 & 0 & -frac{207a^3+6a^2}{64-296a^2}-frac 3 8 a-frac 3 4 \ 0 & 0 & 1 & frac{69a+2}{8-37a^2}end{matrix}right]$$
This is the final RREF form of the original matrix. From this augmented matrix, we can finally see that the solution is as follows:
$$x=frac{483a^3+14a^2}{64-296a^2}+frac {15} 8a+frac 3 4$$
$$y=-frac{207a^3+6a^2}{64-296a^2}-frac 3 8 a-frac 3 4$$
$$z=frac{69a+2}{8-37a^2}$$
$endgroup$
$begingroup$
Your explanation is really helpful! So if I understand it well, I should do everything to transform it to RREF, but in way to do this, I can be in situation when I should divide by expression which contains parameter, so I should consider what happens when parameter is equal to zero place of this expression. This situation could take place several times but after that, I get RREF and for all parametrs which I didn't ruled out, this system is marked, right?
$endgroup$
– VirtualUser
Jan 1 at 18:45
$begingroup$
@VirtualUser Yes, always transform the matrix to RREF and whenever you divide by an expression, rule out the parameters which make that expression equal to $0$. Then, at the end, for all the parameters that you did not rule out, the system is consistent. I do not know what you mean by the system being "marked" because a system can either be labeled as consistent, if the system has one or more solutions, or inconsistent, if the system has no solutions.
$endgroup$
– Noble Mushtak
Jan 1 at 20:03
$begingroup$
Ah, indeed, on the end system can have infinity solutions, right. Thanks for great explanation!
$endgroup$
– VirtualUser
Jan 1 at 20:48
add a comment |
$begingroup$
I think the problem here is that you don't have any formal algorithm for how to transform the equation and you are kind of just doing what feels right. Instead, you should focus on getting the determinant in reduced-row echelon form, or RREF. Please read this Wiki article to find out what RREF. In this answer, I will show you how to transform a matrix into RREF form. First, write out the augmented matrix:
$$left[begin{matrix}1 & 5 & a^2 & -3 \ 2 & 2 & -a^2 & 3a \ -4 & 3 & 1 & -5end{matrix}right]$$
Now, we have a $1$ in the top-left corner, which is good. Using this $1$, I will eliminate the $2$ and $-4$ in the first column using row addition. Subtract the second row by two times the first row and add the third row by four times the first row:
$$left[begin{matrix}1 & 5 & a^2 & -3 \ 0 & -8 & -3a^2 & 3a+6 \ 0 & 23 & 4a^2+1 & -17end{matrix}right]$$
Now, we have a $-8$ in the leading element of the second row, so we will divide by $-8$:
$$left[begin{matrix}1 & 5 & a^2 & -3 \ 0 & 1 & frac 3 8a^2 & -frac 3 8 a-frac 3 4 \ 0 & 23 & 4a^2+1 & -17end{matrix}right]$$
Now, we can eliminate the $5$ and $23$ in the second column using row addition of the second row. Subtract the first row by five times the second row and subtract the third row by twenty-three times the second row:
$$left[begin{matrix}1 & 0 & -frac 7 8a^2 & frac {15} 8a+frac 3 4 \ 0 & 1 & frac 3 8a^2 & -frac 3 8 a-frac 3 4 \ 0 & 0 & -frac{37}8a^2+1 & frac{69}8a+frac 1 4end{matrix}right]$$
Now, we have $-frac{37}8a^2+1$ leading in the third row, so we need to divide the third row by $-frac{37}8a^2+1$. However, before we do this, we need to make sure that we are not dividing by zero:
$$-frac{37}8a^2+1neq 0rightarrow aneq pm 2sqrt{frac 2 {37}}$$
Thus, this system is consistent only for $aneq pm 2sqrt{frac 2 {37}}$ because otherwise, the last equation would turn into $0=frac{69}8a+frac 1 4$, which is clearly a contradiction. Using this knowledge, we can divide by $-frac{37}8a^2+1$:
$$left[begin{matrix}1 & 0 & -frac 7 8a^2 & frac {15} 8a+frac 3 4 \ 0 & 1 & frac 3 8a^2 & -frac 3 8 a-frac 3 4 \ 0 & 0 & 1 & frac{69a+2}{8-37a^2}end{matrix}right]$$
Finally, we can use row addition to eliminate the $-frac 7 8a^2$ and $frac 3 8a^2$ in the third column:
$$left[begin{matrix}1 & 0 & 0 & frac{483a^3+14a^2}{64-296a^2}+frac {15} 8a+frac 3 4 \ 0 & 1 & 0 & -frac{207a^3+6a^2}{64-296a^2}-frac 3 8 a-frac 3 4 \ 0 & 0 & 1 & frac{69a+2}{8-37a^2}end{matrix}right]$$
This is the final RREF form of the original matrix. From this augmented matrix, we can finally see that the solution is as follows:
$$x=frac{483a^3+14a^2}{64-296a^2}+frac {15} 8a+frac 3 4$$
$$y=-frac{207a^3+6a^2}{64-296a^2}-frac 3 8 a-frac 3 4$$
$$z=frac{69a+2}{8-37a^2}$$
$endgroup$
$begingroup$
Your explanation is really helpful! So if I understand it well, I should do everything to transform it to RREF, but in way to do this, I can be in situation when I should divide by expression which contains parameter, so I should consider what happens when parameter is equal to zero place of this expression. This situation could take place several times but after that, I get RREF and for all parametrs which I didn't ruled out, this system is marked, right?
$endgroup$
– VirtualUser
Jan 1 at 18:45
$begingroup$
@VirtualUser Yes, always transform the matrix to RREF and whenever you divide by an expression, rule out the parameters which make that expression equal to $0$. Then, at the end, for all the parameters that you did not rule out, the system is consistent. I do not know what you mean by the system being "marked" because a system can either be labeled as consistent, if the system has one or more solutions, or inconsistent, if the system has no solutions.
$endgroup$
– Noble Mushtak
Jan 1 at 20:03
$begingroup$
Ah, indeed, on the end system can have infinity solutions, right. Thanks for great explanation!
$endgroup$
– VirtualUser
Jan 1 at 20:48
add a comment |
$begingroup$
I think the problem here is that you don't have any formal algorithm for how to transform the equation and you are kind of just doing what feels right. Instead, you should focus on getting the determinant in reduced-row echelon form, or RREF. Please read this Wiki article to find out what RREF. In this answer, I will show you how to transform a matrix into RREF form. First, write out the augmented matrix:
$$left[begin{matrix}1 & 5 & a^2 & -3 \ 2 & 2 & -a^2 & 3a \ -4 & 3 & 1 & -5end{matrix}right]$$
Now, we have a $1$ in the top-left corner, which is good. Using this $1$, I will eliminate the $2$ and $-4$ in the first column using row addition. Subtract the second row by two times the first row and add the third row by four times the first row:
$$left[begin{matrix}1 & 5 & a^2 & -3 \ 0 & -8 & -3a^2 & 3a+6 \ 0 & 23 & 4a^2+1 & -17end{matrix}right]$$
Now, we have a $-8$ in the leading element of the second row, so we will divide by $-8$:
$$left[begin{matrix}1 & 5 & a^2 & -3 \ 0 & 1 & frac 3 8a^2 & -frac 3 8 a-frac 3 4 \ 0 & 23 & 4a^2+1 & -17end{matrix}right]$$
Now, we can eliminate the $5$ and $23$ in the second column using row addition of the second row. Subtract the first row by five times the second row and subtract the third row by twenty-three times the second row:
$$left[begin{matrix}1 & 0 & -frac 7 8a^2 & frac {15} 8a+frac 3 4 \ 0 & 1 & frac 3 8a^2 & -frac 3 8 a-frac 3 4 \ 0 & 0 & -frac{37}8a^2+1 & frac{69}8a+frac 1 4end{matrix}right]$$
Now, we have $-frac{37}8a^2+1$ leading in the third row, so we need to divide the third row by $-frac{37}8a^2+1$. However, before we do this, we need to make sure that we are not dividing by zero:
$$-frac{37}8a^2+1neq 0rightarrow aneq pm 2sqrt{frac 2 {37}}$$
Thus, this system is consistent only for $aneq pm 2sqrt{frac 2 {37}}$ because otherwise, the last equation would turn into $0=frac{69}8a+frac 1 4$, which is clearly a contradiction. Using this knowledge, we can divide by $-frac{37}8a^2+1$:
$$left[begin{matrix}1 & 0 & -frac 7 8a^2 & frac {15} 8a+frac 3 4 \ 0 & 1 & frac 3 8a^2 & -frac 3 8 a-frac 3 4 \ 0 & 0 & 1 & frac{69a+2}{8-37a^2}end{matrix}right]$$
Finally, we can use row addition to eliminate the $-frac 7 8a^2$ and $frac 3 8a^2$ in the third column:
$$left[begin{matrix}1 & 0 & 0 & frac{483a^3+14a^2}{64-296a^2}+frac {15} 8a+frac 3 4 \ 0 & 1 & 0 & -frac{207a^3+6a^2}{64-296a^2}-frac 3 8 a-frac 3 4 \ 0 & 0 & 1 & frac{69a+2}{8-37a^2}end{matrix}right]$$
This is the final RREF form of the original matrix. From this augmented matrix, we can finally see that the solution is as follows:
$$x=frac{483a^3+14a^2}{64-296a^2}+frac {15} 8a+frac 3 4$$
$$y=-frac{207a^3+6a^2}{64-296a^2}-frac 3 8 a-frac 3 4$$
$$z=frac{69a+2}{8-37a^2}$$
$endgroup$
I think the problem here is that you don't have any formal algorithm for how to transform the equation and you are kind of just doing what feels right. Instead, you should focus on getting the determinant in reduced-row echelon form, or RREF. Please read this Wiki article to find out what RREF. In this answer, I will show you how to transform a matrix into RREF form. First, write out the augmented matrix:
$$left[begin{matrix}1 & 5 & a^2 & -3 \ 2 & 2 & -a^2 & 3a \ -4 & 3 & 1 & -5end{matrix}right]$$
Now, we have a $1$ in the top-left corner, which is good. Using this $1$, I will eliminate the $2$ and $-4$ in the first column using row addition. Subtract the second row by two times the first row and add the third row by four times the first row:
$$left[begin{matrix}1 & 5 & a^2 & -3 \ 0 & -8 & -3a^2 & 3a+6 \ 0 & 23 & 4a^2+1 & -17end{matrix}right]$$
Now, we have a $-8$ in the leading element of the second row, so we will divide by $-8$:
$$left[begin{matrix}1 & 5 & a^2 & -3 \ 0 & 1 & frac 3 8a^2 & -frac 3 8 a-frac 3 4 \ 0 & 23 & 4a^2+1 & -17end{matrix}right]$$
Now, we can eliminate the $5$ and $23$ in the second column using row addition of the second row. Subtract the first row by five times the second row and subtract the third row by twenty-three times the second row:
$$left[begin{matrix}1 & 0 & -frac 7 8a^2 & frac {15} 8a+frac 3 4 \ 0 & 1 & frac 3 8a^2 & -frac 3 8 a-frac 3 4 \ 0 & 0 & -frac{37}8a^2+1 & frac{69}8a+frac 1 4end{matrix}right]$$
Now, we have $-frac{37}8a^2+1$ leading in the third row, so we need to divide the third row by $-frac{37}8a^2+1$. However, before we do this, we need to make sure that we are not dividing by zero:
$$-frac{37}8a^2+1neq 0rightarrow aneq pm 2sqrt{frac 2 {37}}$$
Thus, this system is consistent only for $aneq pm 2sqrt{frac 2 {37}}$ because otherwise, the last equation would turn into $0=frac{69}8a+frac 1 4$, which is clearly a contradiction. Using this knowledge, we can divide by $-frac{37}8a^2+1$:
$$left[begin{matrix}1 & 0 & -frac 7 8a^2 & frac {15} 8a+frac 3 4 \ 0 & 1 & frac 3 8a^2 & -frac 3 8 a-frac 3 4 \ 0 & 0 & 1 & frac{69a+2}{8-37a^2}end{matrix}right]$$
Finally, we can use row addition to eliminate the $-frac 7 8a^2$ and $frac 3 8a^2$ in the third column:
$$left[begin{matrix}1 & 0 & 0 & frac{483a^3+14a^2}{64-296a^2}+frac {15} 8a+frac 3 4 \ 0 & 1 & 0 & -frac{207a^3+6a^2}{64-296a^2}-frac 3 8 a-frac 3 4 \ 0 & 0 & 1 & frac{69a+2}{8-37a^2}end{matrix}right]$$
This is the final RREF form of the original matrix. From this augmented matrix, we can finally see that the solution is as follows:
$$x=frac{483a^3+14a^2}{64-296a^2}+frac {15} 8a+frac 3 4$$
$$y=-frac{207a^3+6a^2}{64-296a^2}-frac 3 8 a-frac 3 4$$
$$z=frac{69a+2}{8-37a^2}$$
answered Jan 1 at 14:31
Noble MushtakNoble Mushtak
15.3k1835
15.3k1835
$begingroup$
Your explanation is really helpful! So if I understand it well, I should do everything to transform it to RREF, but in way to do this, I can be in situation when I should divide by expression which contains parameter, so I should consider what happens when parameter is equal to zero place of this expression. This situation could take place several times but after that, I get RREF and for all parametrs which I didn't ruled out, this system is marked, right?
$endgroup$
– VirtualUser
Jan 1 at 18:45
$begingroup$
@VirtualUser Yes, always transform the matrix to RREF and whenever you divide by an expression, rule out the parameters which make that expression equal to $0$. Then, at the end, for all the parameters that you did not rule out, the system is consistent. I do not know what you mean by the system being "marked" because a system can either be labeled as consistent, if the system has one or more solutions, or inconsistent, if the system has no solutions.
$endgroup$
– Noble Mushtak
Jan 1 at 20:03
$begingroup$
Ah, indeed, on the end system can have infinity solutions, right. Thanks for great explanation!
$endgroup$
– VirtualUser
Jan 1 at 20:48
add a comment |
$begingroup$
Your explanation is really helpful! So if I understand it well, I should do everything to transform it to RREF, but in way to do this, I can be in situation when I should divide by expression which contains parameter, so I should consider what happens when parameter is equal to zero place of this expression. This situation could take place several times but after that, I get RREF and for all parametrs which I didn't ruled out, this system is marked, right?
$endgroup$
– VirtualUser
Jan 1 at 18:45
$begingroup$
@VirtualUser Yes, always transform the matrix to RREF and whenever you divide by an expression, rule out the parameters which make that expression equal to $0$. Then, at the end, for all the parameters that you did not rule out, the system is consistent. I do not know what you mean by the system being "marked" because a system can either be labeled as consistent, if the system has one or more solutions, or inconsistent, if the system has no solutions.
$endgroup$
– Noble Mushtak
Jan 1 at 20:03
$begingroup$
Ah, indeed, on the end system can have infinity solutions, right. Thanks for great explanation!
$endgroup$
– VirtualUser
Jan 1 at 20:48
$begingroup$
Your explanation is really helpful! So if I understand it well, I should do everything to transform it to RREF, but in way to do this, I can be in situation when I should divide by expression which contains parameter, so I should consider what happens when parameter is equal to zero place of this expression. This situation could take place several times but after that, I get RREF and for all parametrs which I didn't ruled out, this system is marked, right?
$endgroup$
– VirtualUser
Jan 1 at 18:45
$begingroup$
Your explanation is really helpful! So if I understand it well, I should do everything to transform it to RREF, but in way to do this, I can be in situation when I should divide by expression which contains parameter, so I should consider what happens when parameter is equal to zero place of this expression. This situation could take place several times but after that, I get RREF and for all parametrs which I didn't ruled out, this system is marked, right?
$endgroup$
– VirtualUser
Jan 1 at 18:45
$begingroup$
@VirtualUser Yes, always transform the matrix to RREF and whenever you divide by an expression, rule out the parameters which make that expression equal to $0$. Then, at the end, for all the parameters that you did not rule out, the system is consistent. I do not know what you mean by the system being "marked" because a system can either be labeled as consistent, if the system has one or more solutions, or inconsistent, if the system has no solutions.
$endgroup$
– Noble Mushtak
Jan 1 at 20:03
$begingroup$
@VirtualUser Yes, always transform the matrix to RREF and whenever you divide by an expression, rule out the parameters which make that expression equal to $0$. Then, at the end, for all the parameters that you did not rule out, the system is consistent. I do not know what you mean by the system being "marked" because a system can either be labeled as consistent, if the system has one or more solutions, or inconsistent, if the system has no solutions.
$endgroup$
– Noble Mushtak
Jan 1 at 20:03
$begingroup$
Ah, indeed, on the end system can have infinity solutions, right. Thanks for great explanation!
$endgroup$
– VirtualUser
Jan 1 at 20:48
$begingroup$
Ah, indeed, on the end system can have infinity solutions, right. Thanks for great explanation!
$endgroup$
– VirtualUser
Jan 1 at 20:48
add a comment |
$begingroup$
From the first equation we get
$$x=3-5y-a^2z$$ so we can eliminate $x$ in the second and third equation:
$$-8y-3a^2z=3a-6$$
$$23y+4a^2z+z=17$$
From here we get
$$y=-frac{1}{8}(3a-6+3a^2z)$$
Now we get for $z$
$$zleft(-frac{69}{8}a^2+4a^2+1right)=17-frac{138}{8}+frac{69}{8}a$$
Can you finish?
$endgroup$
$begingroup$
I believe that it is correct way, but if I want to consider bigger systems, I need to use martices
$endgroup$
– VirtualUser
Jan 1 at 18:37
add a comment |
$begingroup$
From the first equation we get
$$x=3-5y-a^2z$$ so we can eliminate $x$ in the second and third equation:
$$-8y-3a^2z=3a-6$$
$$23y+4a^2z+z=17$$
From here we get
$$y=-frac{1}{8}(3a-6+3a^2z)$$
Now we get for $z$
$$zleft(-frac{69}{8}a^2+4a^2+1right)=17-frac{138}{8}+frac{69}{8}a$$
Can you finish?
$endgroup$
$begingroup$
I believe that it is correct way, but if I want to consider bigger systems, I need to use martices
$endgroup$
– VirtualUser
Jan 1 at 18:37
add a comment |
$begingroup$
From the first equation we get
$$x=3-5y-a^2z$$ so we can eliminate $x$ in the second and third equation:
$$-8y-3a^2z=3a-6$$
$$23y+4a^2z+z=17$$
From here we get
$$y=-frac{1}{8}(3a-6+3a^2z)$$
Now we get for $z$
$$zleft(-frac{69}{8}a^2+4a^2+1right)=17-frac{138}{8}+frac{69}{8}a$$
Can you finish?
$endgroup$
From the first equation we get
$$x=3-5y-a^2z$$ so we can eliminate $x$ in the second and third equation:
$$-8y-3a^2z=3a-6$$
$$23y+4a^2z+z=17$$
From here we get
$$y=-frac{1}{8}(3a-6+3a^2z)$$
Now we get for $z$
$$zleft(-frac{69}{8}a^2+4a^2+1right)=17-frac{138}{8}+frac{69}{8}a$$
Can you finish?
answered Jan 1 at 14:14
Dr. Sonnhard GraubnerDr. Sonnhard Graubner
78.1k42867
78.1k42867
$begingroup$
I believe that it is correct way, but if I want to consider bigger systems, I need to use martices
$endgroup$
– VirtualUser
Jan 1 at 18:37
add a comment |
$begingroup$
I believe that it is correct way, but if I want to consider bigger systems, I need to use martices
$endgroup$
– VirtualUser
Jan 1 at 18:37
$begingroup$
I believe that it is correct way, but if I want to consider bigger systems, I need to use martices
$endgroup$
– VirtualUser
Jan 1 at 18:37
$begingroup$
I believe that it is correct way, but if I want to consider bigger systems, I need to use martices
$endgroup$
– VirtualUser
Jan 1 at 18:37
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3058498%2fhow-to-deal-with-systems-of-linear-equations-with-parameters%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
$begingroup$
How much linear algebra have you taken? I think "the target form of martix" that you are talking about is called reduced-row echelon form: en.wikipedia.org/wiki/Row_echelon_form
$endgroup$
– Noble Mushtak
Jan 1 at 14:02
1
$begingroup$
It is a square system. Take the determinant and set it to zero. You will get an equation for $a$ for all ''problematic'' values. For those values you can do the standard elimination to find out if the system is inconsistent or have many solutions. For all other values of $a$ the determinant is nonzero, hence the solution is unique.
$endgroup$
– A.Γ.
Jan 1 at 14:08
$begingroup$
@A.Γ. Square system? If I consider $ A | vec{b} $ it is $ 4x3$
$endgroup$
– VirtualUser
Jan 1 at 19:02
$begingroup$
@VirtualUser By "square" I mean # variables = # equations, i.e. the system matrix $A$ is square. The matrix $A|b$ is the augmented matrix. You need to study $det A$.
$endgroup$
– A.Γ.
Jan 1 at 19:04