Student[Basics]
SolveSteps
show steps in the solution of a specified problem
Calling Sequence
Parameters
Description
Examples
Compatibility
SolveSteps(ex, variable, opts)
ex
-
expression or equation
variable
(optional) variable to solve for
opts
options of the form keyword=value where keyword is one of displaystyle, output, trigpath, trigtimer, colorpack
The SolveSteps command is used to show the steps of solving a basic student problem, such as an equation, system of equations, or inequality. It can also prove basic trigonometric identities.
If ex is an equation the variable in equation is solved for. If ex is given as an expression, the expression is solved for assuming ex=0.
If only one variable exists in ex, it is not necessary to specify a variable to solve for. If there are two or more variables in ex, a variable to solve for must be given for variable.
The displaystyle and output options can be used to change the output format. See OutputStepsRecord for details.
The trigpath=n option, where n is a positive integer, can be used to view another way to prove a trigonometric identity.
The trigtimer option can be used to set the time limit for proving a trigonometric identity. The value can be a positive integer or infinity. The default is 60 (seconds).
The colorpack option can be used to specify an alternate color palette for inequality plots. Valid options are the same as those accepted by the ColorTools:-GetPalette command. If the colorpack option is not specified and Student:-SetColors has not been set then a custom palette is used.
This function is part of the Student:-Basics package.
with⁡Student:-Basics:
SolveSteps⁡5⁢exp⁡4⁢x=16
Let's solve5⋅ⅇ4⋅x=16▫Convert from exponential equation◦Divide both sides by55⋅ⅇ4⋅x5=165◦Simplifyⅇ4⋅x=165◦Apply ln to each sideln⁡ⅇ4⁢x=ln⁡165◦Apply ln rule: ln(e^b) = b4⁢x=ln⁡165•Divide both sides by44⋅x4=ln⁡1654•Exact solutionx=ln⁡1654•Approximate solutionx=0.2907877025
SolveSteps⁡x2−b,x
Let's solvex2−1⋅b•Set expression equal to 0x2−1⋅b=0•Addbto both sidesx2−1⋅b+b=0+b•Simplifyx2=b•Take Square root of both sidesx=±b•Solutionx=b,−b
SolveSteps⁡x3+4⁢x2+4⁢x,output=typeset
Let's solvex3+4⋅x2+4⋅x•Set expression equal to 0x3+4⋅x2+4⋅x=0•Common factorxx⋅x2+4⁢x+4•Examine term:x2+4⁢x+4▫Factor using the AC Method◦Examine quadraticx2+4⁢x+4◦Look at the coefficients,A⁢x2+B⁢x+CA=1,B=4,C=4◦Find factors of |AC| = |1⋅4| =41,2,4◦Find pairs of the above factors, which, when multiplied equal41⋅4,2⋅2◦Which pairs of ± these factors have asumof B =4? Found:2+2=4◦Split the middle term to use above pairx2+2⁢x+2⁢x+4◦Factorxout of the first groupx⋅x+2+2⁢x+4◦Factor2out of the second groupx⋅x+2+2⋅x+2◦x+2is a common factorx⋅x+2+2⋅x+2◦Group common factorx+2⋅x+2This gives:x+22•This gives:x⋅x+22•The1stfactor isxwhich impliesx= 0 is a solutionx=0•Set2ndfactorx+2to 0 to solvex+2=0▫Solution ofx+2=0◦Subtract2from both sidesx+2−2=0−2◦Simplifyx=−2•Solutionx=−2,0
SolveSteps⁡x3+4⁢x2+4⁢x,mode=Learn
SolveSteps is also capable of proving trigonometric identities
SolveSteps⁡csc⁡x⁢tan⁡x⁢cos⁡x=1
Let's solve•Let's simplify the left side of the expression to match the rightcsc⁡x⁢tan⁡x⁢cos⁡x=1•ApplyQuotienttrig identity,tan⁡x=sin⁡xcos⁡xcsc⁡x⁢sin⁡xcos⁡x⁢cos⁡x•ApplyReciprocal Functiontrig identity,csc⁡x=1sin⁡x1sin⁡x⁢sin⁡x•Evaluate1•Thus we have proved that the identity is true1=1
SolveSteps⁡cos⁡x21+sin⁡x=1−sin⁡x
Let's solve•Let's simplify the left side of the expression to match the rightcos⁡x21+sin⁡x=1−sin⁡x•ApplyPythagorastrig identity,cos⁡x2=1−sin⁡x21−sin⁡x21+sin⁡x•Factor the numerator−sin⁡x−1⁢1+sin⁡x1+sin⁡x•Cancel out a factor of1+sin⁡x1−sin⁡x•Evaluate1−sin⁡x•Thus we have proved that the identity is true1−sin⁡x=1−sin⁡x
Use the optional parameter trigtimer, which takes a positive integer, to set the allowed time for solving. By default it is 60 seconds.
SolveSteps⁡sin⁡5⁢x=16⁢sin⁡x5−20⁢sin⁡x3+5⁢sin⁡x,trigtimer=∞
Let's solve•Let's simplify the right-side of the expression to match the leftsin⁡5⁢x=16⁢sin⁡x5−20⁢sin⁡x3+5⁢sin⁡x•ApplyFull Power Reductiontrig identity,sin⁡x3=−sin⁡3⁢x4+3⁢sin⁡x416⁢sin⁡x5−20⁢−sin⁡3⁢x4+3⁢sin⁡x4+5⁢sin⁡x•ApplyFull Power Reductiontrig identity,sin⁡x5=sin⁡5⁢x16−5⁢sin⁡3⁢x16+5⁢sin⁡x816⁢sin⁡5⁢x16−5⁢sin⁡3⁢x16+5⁢sin⁡x8+5⁢sin⁡3⁢x−10⁢sin⁡x•Evaluatesin⁡5⁢x•Thus we have proved that the identity is truesin⁡5⁢x=sin⁡5⁢x
Use the optional parameter trigpath, which takes a positive integer, to view different ways to prove the identity
SolveSteps⁡sin⁡2⁢xsin⁡x−cos⁡2⁢xcos⁡x=sec⁡x,trigpath=2
Let's solve•Let's simplify the left side of the expression to match the rightsin⁡2⁢xsin⁡x−cos⁡2⁢xcos⁡x=sec⁡x•Find fractions to get lowest common denominator ofsin⁡x⁢cos⁡xcos⁡xcos⁡x⋅sin⁡2⁢xsin⁡x+sin⁡xsin⁡x⋅−cos⁡2⁢xcos⁡x•Multiplycos⁡x⋅sin⁡2⁢xsin⁡x⁢cos⁡x+sin⁡x⋅−cos⁡2⁢xsin⁡x⁢cos⁡x•Add fractionscos⁡x⁢sin⁡2⁢x−sin⁡x⁢cos⁡2⁢xsin⁡x⁢cos⁡x•ApplyReciprocal Functiontrig identity,1cos⁡x=sec⁡xcos⁡x⁢sin⁡2⁢x−sin⁡x⁢cos⁡2⁢x⁢sec⁡xsin⁡x•ApplyDouble Angletrig identity,sin⁡2⁢x=2⁢sin⁡x⁢cos⁡xcos⁡x⁢2⁢sin⁡x⁢cos⁡x−sin⁡x⁢cos⁡2⁢x⁢sec⁡xsin⁡x•Factor the numeratorsin⁡x⁢2⁢cos⁡x2−cos⁡2⁢x⁢sec⁡xsin⁡x•Cancel out a factor ofsin⁡x2⁢cos⁡x2−cos⁡2⁢x⁢sec⁡x•ApplyHalf Angletrig identity,cos⁡x2=cos⁡2⁢x2+122⁢cos⁡2⁢x2+12−cos⁡2⁢x⁢sec⁡x•Evaluatesec⁡x•Thus we have proved that the identity is truesec⁡x=sec⁡x
SolveSteps is also capable of solving systems of linear inequalities
SolveSteps⁡12<x,2≤x
Let's solve•Examine the1stinequality and solve forx12<x•Examine the2ndinequality and solve forx2≤x•The solved system is:•Graph the boundary lines of the inequalitesPLOT⁡...•Show inequalitiesPLOT⁡...•Solution is where the inequalities overlapPLOT⁡...
Use the optional parameter colorpack to specify an alternate color palette for inequality plots.
SolveSteps⁡y≤2⁢x+72,y≤−2⁢x+72,−2⁢x3−1≤y,2⁢x3−1≤y,y≤32,colorpack=MapleV
Let's solve•Examine the1stinequality and solve foryy≤2⋅x+72•Examine the2ndinequality and solve foryy≤−2⋅x+72•Examine the3rdinequality and solve fory−23⋅x−1≤y•Examine the4thinequality and solve fory23⋅x−1≤y•Examine the5thinequality and solve foryy≤32•The solved system is:•Graph the boundary lines of the inequalitesPLOT⁡...•Show inequalitiesPLOT⁡...•Solution is where the inequalities overlapPLOT⁡...
SolveSteps is also capable of solving nonlinear inequalities
SolveSteps⁡x^2 - 4*x + 4 > 7
Let's solve7<x2−4⋅x+4•Solve forxto find points to test for intervals7=x2−4⋅x+4•Rearrange expressionx2−4⋅x+4=7•Subtract7from both sidesx2−4⁢x+4−7=7−7•Simplifyx2−4⁢x−3=0•Since we can't factor we'll use the quadratic formulax=−b±b2−4⋅a⋅c2⋅a▫Use quadratic formula to solve forx◦Substitute a=1, b=−4, c=−3x=4±−42−4⋅1⋅−32⋅1◦Evaluate under discriminantx=4±16−−122⋅1◦Perform remaining operationsx=2±7•Solutionx=2−7,2+7•Use the solutions to the equality as points to test for intervals2−7,2+7•Set up a table using the solutions as boundaries and find test points that are on either sidePLOT⁡...▫Sub each test point into the expression forx◦Subx=−1into0<x2−4⁢x−30<2true◦Subx=2into0<x2−4⁢x−30<−7false◦Subx=5into0<x2−4⁢x−30<2true•Observe where the inequality holds true, these areas make up the intervalsPLOT⁡...•Plotted solutionPLOT⁡...•Solutionx<2−7,2+7<x
SolveSteps⁡x + 4/x > 4
Let's solve4<x+4x•Note the values forxwhich causes the expression to be undefined. These values will be used later to identify the solution intervalsx=0•Solve forxto find points to test for intervals4=x+4x•Rearrange expressionx+4x=4•Multiply both sides byxx⋅x+x⋅4x=x⋅4•Evaluatex2+4=4⋅x•Subtract4⁢xfrom both sidesx2+4−4⁢x=4⁢x−4⁢x•Simplifyx2−4⁢x+4=0▫Factor using the AC Method◦Look at the coefficients,A⁢x2+B⁢x+CA=1,B=−4,C=4◦Find factors of |AC| = |1⋅4| =41,2,4◦Find pairs of the above factors, which, when multiplied equal41⋅4,2⋅2◦Which pairs of ± these factors have asumof B =−4? Found:−2−2=−4◦Split the middle term to use above pairx2+−2⁢x−2⁢x+4◦Factorxout of the first groupx⋅x−2+−2⁢x+4◦Factor−2out of the second groupx⋅x−2−2⋅x−2◦x−2is a common factorx⋅x−2−2⋅x−2◦Group common factorx−2⋅x−2This gives:x−22=0•Examine factor1x−2▫Solution ofx−2=0◦Add2to both sidesx−2+2=0+2◦Simplifyx=2•Use the solutions and undefined values as points to test for intervals0,2•Set up a table using the solutions as boundaries and find test points that are on either sidePLOT⁡...▫Sub each test point into the expression forx◦Subx=−1into4<x+4x4<−5false◦Subx=1into4<x+4x4<5true◦Subx=3into4<x+4x4<133true•Observe where the inequality holds true, these areas make up the intervalsPLOT⁡...•Plotted solutionPLOT⁡...•Solution0<x<2,2<x
SolveSteps is also capable of solving expressions with absolute values
SolveSteps⁡abs⁡x+1=4⁢x
Let's solvex+1=4⋅x•To solve, we must drop the absolute values. To do this, we must determine the intervals where the expression within the absolute value becomes positive or negative•Thus our intervals are:−∞,−1,−1,∞▫Examine absolute values withx∈−∞,−1◦Determine whether the inside of the absolute value will be positive or negativex+1<0◦Drop the absolute values and multiply the expressions that would be negative by -1◦Sub the new expressions in where the absolute values used to be−x−1=4⁢x◦Solve the new equalityx=−15◦Since−15∉−∞,−1we get that this is not a solutionx≠−15▫Examine absolute values withx∈−1,∞◦Determine whether the inside of the absolute value will be positive or negativex+1≥0◦Drop the absolute values and multiply the expressions that would be negative by -1◦Sub the new expressions in where the absolute values used to bex+1=4⁢x◦Solve the new equalityx=13◦Since13∈−1,∞we get that this is a solutionx=13•Solutionx=13
SolveSteps⁡abs⁡2⁢x+6=abs⁡x+7
Let's solve2⋅x+3=x+7•To solve, we must drop the absolute values. To do this, we must determine the intervals where the expression within the absolute value becomes positive or negative•Thus our intervals are:−∞,−7,−7,−3,−3,∞▫Examine absolute values withx∈−∞,−7◦Determine whether the inside of the absolute value will be positive or negativex+3<0x+7<0◦Drop the absolute values and multiply the expressions that would be negative by -1◦Sub the new expressions in where the absolute values used to be−2⁢x−6=−x−7◦Solve the new equalityx=1◦Since1∉−∞,−7we get that this is not a solutionx≠1▫Examine absolute values withx∈−7,−3◦Determine whether the inside of the absolute value will be positive or negativex+3<0x+7≥0◦Drop the absolute values and multiply the expressions that would be negative by -1◦Sub the new expressions in where the absolute values used to be−2⁢x−6=x+7◦Solve the new equalityx=−133◦Since−133∈−7,−3we get that this is a solutionx=−133▫Examine absolute values withx∈−3,∞◦Determine whether the inside of the absolute value will be positive or negativex+3≥0x+7≥0◦Drop the absolute values and multiply the expressions that would be negative by -1◦Sub the new expressions in where the absolute values used to be2⁢x+6=x+7◦Solve the new equalityx=1◦Since1∈−3,∞we get that this is a solutionx=1•Solutionx=−133,1
The Student[Basics][SolveSteps] command was introduced in Maple 2021.
For more information on Maple 2021 changes, see Updates in Maple 2021.
The Student[Basics][SolveSteps] command was updated in Maple 2024.
The trigpath, trigtimer and colorpack options were introduced in Maple 2024.
For more information on Maple 2024 changes, see Updates in Maple 2024.
See Also
Student:-Basics
Student:-Basics:-FactorSteps
Student:-Basics:-LinearSolveSteps
Student:-Basics:-OutputStepsRecord
Student:-Calculus1:-ShowSolution
Student:-Calculus1:-ShowSteps
Download Help Document