|
Download examples.md from unnicr/math-steps: direct link, hf CLI and curl.
- Browser
- Download file 6.3 kB
-
https://huggingface.co/unnicr/math-steps/resolve/main/examples.md
- Command line
-
hf download hf://unnicr/math-steps/examples.md
-
curl -L -o examples.md https://huggingface.co/unnicr/math-steps/resolve/main/examples.md
6.3 kB
| # Examples (generated by math-steps.jar) | |
| ## diff `x^2 sin(x)` | |
| ``` | |
| Step 1: Product rule: (f g)' = f' g + f g', with f = x^2 and g = sin(x) | |
| (f*g)' = f'*g + f*g', f = x^2, g = sin(x) | |
| - Power rule: d/dx [x^n] = n x^(n-1) | |
| d/dx [x^2] = 2x | |
| - Standard derivative of sin(x) | |
| d/dx [sin(x)] = cos(x) | |
| Step 2: Put it together | |
| d/dx [x^2*sin(x)] = x^2*cos(x) + 2x*sin(x) | |
| Step 3: Answer | |
| d/dx [x^2*sin(x)] = x^2*cos(x) + 2x*sin(x) | |
| ``` | |
| ## diff `(x+1)/(x-1)` | |
| ``` | |
| Step 1: Rewrite the expression | |
| (x + 1)/(x - 1) | |
| Step 2: Quotient rule: (u/v)' = (u'v - uv') / v^2, with u = x + 1 and v = x - 1 | |
| (u/v)' = (u'v - uv')/v^2, u = x + 1, v = x - 1 | |
| - Sum rule: differentiate each term separately | |
| d/dx [x + 1] = d/dx [x] + d/dx [1] | |
| - Derivative of x | |
| d/dx [x] = 1 | |
| - Constant rule: the derivative of a constant is 0 | |
| d/dx [1] = 0 | |
| - Add the results | |
| d/dx [x + 1] = 1 | |
| - Sum rule: differentiate each term separately | |
| d/dx [x - 1] = d/dx [x] + d/dx [-1] | |
| - Derivative of x | |
| d/dx [x] = 1 | |
| - Constant rule: the derivative of a constant is 0 | |
| d/dx [-1] = 0 | |
| - Add the results | |
| d/dx [x - 1] = 1 | |
| Step 3: Put it together and simplify | |
| d/dx [(x + 1)/(x - 1)] = -2/(x - 1)^2 | |
| Step 4: Answer | |
| d/dx [(x + 1)/(x - 1)] = -2/(x - 1)^2 | |
| ``` | |
| ## diff `e^(sin(3x))` | |
| ``` | |
| Step 1: Chain rule: d/dx [e^u] = e^u * u', where u = sin(3x) | |
| d/dx [e^u] = e^u*u', u = sin(3x) | |
| - Chain rule: d/dx [sin(u)] = cos(u) * u', where u = 3x | |
| d/dx [sin(u)] = cos(u) * u', u = 3x | |
| - Constant multiple rule: d/dx [c x] = c | |
| d/dx [3x] = 3 | |
| - Put it together | |
| d/dx [sin(3x)] = 3cos(3x) | |
| Step 2: Put it together | |
| d/dx [e^(sin(3x))] = 3cos(3x)*e^(sin(3x)) | |
| Step 3: Answer | |
| d/dx [e^(sin(3x))] = 3cos(3x)*e^(sin(3x)) | |
| ``` | |
| ## int `x e^x` | |
| ``` | |
| Step 1: Integration by parts: integral u dv = u v - integral v du (choose u by LIATE: logs, inverse trig, algebraic, trig, exponential) | |
| u = x, dv = e^x dx, du = 1 dx, v = e^x | |
| Step 2: Now integrate v du | |
| integral e^x dx | |
| - Standard integral: integral e^u du = e^u | |
| Standard integral: integral e^u du = e^u => integral e^x dx = e^x | |
| Step 3: So u v - integral v du | |
| integral x*e^x dx = x*e^x - e^x | |
| Step 4: Answer (add the constant of integration C) | |
| integral x*e^x dx = x*e^x - e^x + C | |
| Step 5: Check: differentiating the answer gives back the integrand | |
| d/dx [x*e^x - e^x] = x*e^x (checked) | |
| ``` | |
| ## int `2x cos(x^2)` | |
| ``` | |
| Step 1: Constant multiple rule: take the constant 2 outside the integral | |
| integral 2x*cos(x^2) dx = 2 * integral x*cos(x^2) dx | |
| - Substitution: let u = x^2 | |
| u = x^2, du = 2x dx | |
| - The integral becomes | |
| integral cos(u)/2 du | |
| - Constant multiple rule: take the constant 1/2 outside the integral | |
| integral cos(u)/2 du = 1/2 * integral cos(u) du | |
| - Standard integral: integral cos(u) du = sin(u) | |
| integral cos(u) du = sin(u) | |
| - Multiply by the constant | |
| integral cos(u)/2 du = sin(u)/2 | |
| - Substitute back u = x^2 | |
| integral x*cos(x^2) dx = sin(x^2)/2 | |
| Step 2: Multiply by the constant | |
| integral 2x*cos(x^2) dx = sin(x^2) | |
| Step 3: Answer (add the constant of integration C) | |
| integral 2x*cos(x^2) dx = sin(x^2) + C | |
| Step 4: Check: differentiating the answer gives back the integrand | |
| d/dx [sin(x^2)] = 2x*cos(x^2) (checked) | |
| ``` | |
| ## int `(x+3)/(x^2+3x+2)` | |
| ``` | |
| Step 1: Rewrite the expression | |
| (x + 3)/(x^2 + 3x + 2) | |
| Step 2: The integrand is a ratio of polynomials: use partial fractions | |
| integral (x + 3)/(x^2 + 3x + 2) dx | |
| Step 3: Partial fractions: factor the denominator as (x + 1)(x + 2) and split the fraction | |
| (x + 3)/(x^2 + 3x + 2) = 2/(x + 1) - 1/(x + 2) | |
| - integral A/(x - r) dx = A ln|x - r| | |
| integral 2/(x + 1) dx = 2ln|x + 1| | |
| - integral A/(x - r) dx = A ln|x - r| | |
| integral -1/(x + 2) dx = -ln|x + 2| | |
| Step 4: Combine | |
| integral (x + 3)/(x^2 + 3x + 2) dx = 2ln|x + 1| - ln|x + 2| | |
| Step 5: Answer (add the constant of integration C) | |
| integral (x + 3)/(x^2 + 3x + 2) dx = 2ln|x + 1| - ln|x + 2| + C | |
| Step 6: Check: differentiating the answer gives back the integrand | |
| d/dx [2ln|x + 1| - ln|x + 2|] = (x + 3)/(x^2 + 3x + 2) (checked) | |
| ``` | |
| ## int `sin(x)^2` | |
| ``` | |
| Step 1: Use the identity sin^2(u) = (1 - cos(2u))/2 | |
| Use the identity sin^2(u) = (1 - cos(2u))/2 => integral sin(x)^2 dx = integral (1 - cos(2x))/2 dx | |
| - Constant multiple rule: take the constant 1/2 outside the integral | |
| integral (1 - cos(2x))/2 dx = 1/2 * integral (1 - cos(2x)) dx | |
| - Sum rule: integrate each term separately | |
| integral (1 - cos(2x)) dx = integral -cos(2x) dx + integral 1 dx | |
| - Constant multiple rule: take the constant -1 outside the integral | |
| integral -cos(2x) dx = -1 * integral cos(2x) dx | |
| - Standard integral: integral cos(u) du = sin(u), with the linear substitution u = 2x (du = 2 dx, so divide by 2) | |
| Standard integral: integral cos(u) du = sin(u), u = 2x => integral cos(2x) dx = sin(2x)/2 | |
| - Multiply by the constant | |
| integral -cos(2x) dx = -sin(2x)/2 | |
| - Integral of a constant: integral c dx = c x | |
| integral 1 dx = x | |
| - Add the results | |
| integral (1 - cos(2x)) dx = x - sin(2x)/2 | |
| - Multiply by the constant | |
| integral (1 - cos(2x))/2 dx = (x - sin(2x)/2)/2 | |
| Step 2: So | |
| integral sin(x)^2 dx = (x - sin(2x)/2)/2 | |
| Step 3: Answer (add the constant of integration C) | |
| integral sin(x)^2 dx = x/2 - sin(2x)/4 + C | |
| Step 4: Check: differentiating the answer gives back the integrand | |
| d/dx [x/2 - sin(2x)/4] = sin(x)^2 (checked) | |
| ``` | |
| ## defint `sin(x)` from 0 to pi | |
| ``` | |
| Step 1: Standard integral: integral sin(u) du = -cos(u) | |
| Standard integral: integral sin(u) du = -cos(u) => integral sin(x) dx = -cos(x) | |
| Step 2: Fundamental theorem of calculus: integral from a to b of f = F(b) - F(a), with F = -cos(x) | |
| integral from 0 to pi = [-cos(x)] from 0 to pi | |
| Step 3: Evaluate at the limits | |
| F(pi) - F(0) = (1) - (-1) = 2 | |
| Step 4: Answer | |
| integral from 0 to pi of sin(x) dx = 2 | |
| Step 5: Check: a numerical integration gives the same value | |
| Simpson's rule ~ 2 | |
| ``` | |