[ home ] [ math / cs / ai / phy / as / chem / bio / geo ] [ civ / aero / mech / ee / hdl / os / dev / web / app / sys / net / sec ] [ med / fin / psy / soc / his / lit / lin / phi / arch ] [ off / vg / jp / 2hu / tc / ts / adv / hr / meta / tex ] [ chat ] [ wiki ]

/math/ - Mathematics


Name
Email
Subject
Comment
Verification
Instructions:
  • Press the Get Captcha button to get a new captcha
  • Find the correct answer and type the key in TYPE CAPTCHA HERE
  • Press the Publish button to make a post
  • Incorrect answer to the captcha will result in an immediate ban.
File
Password (For file deletion.)

25 Dec 2021Mathchan is launched into public


File: 3-adic integers with dual colorings.png ( 660.99 KB , 1200x1200 , 1641009124540.png )

Image
This board is for the discussion of mathematics.



Equations can be embedded in multiple ways:
  • \eqn{...}
    or
    \math{...}
    command substitutions
  • \[ ... \]
    or
    \( ... \)
    block substitutions
  • $$ ... $$
    or
    $ ... $
    special block substitutions
  • \begin{equation} ... \end{equation}
    or
    \begin{math} ... \end{math}
    environments
  • by starting a line with
    ,,
    or
    ,eqn
    like one commonly would with >greentext.


Matrices can be embedded by using
\begin{matrix} ... \end{matrix}
or
\begin{array} ... \end{array}
environments in any of the above ways to embed equations, or by starting a line with
,mat
,
,pmat
,
,smat
,bmat
,
,Bmat
,
,vmat
or
,Vmat
and using
&
and
\\
symbols to delineate between columns and rows respectively.

Arrays can be embedded by using
\begin{array}{c|c:c} ... \end{array}
environment in any of the above ways to embed equations, or by starting a line with
,arr{c|c:c}
Post too long. Click here to view the full text.
>>

File: tikz-cd-doc.pdf ( 264.95 KB , 1641011017028.pdf )

Image
Mathchan supports embedding commutative diagrams:
AaBbcC=D \qquad\begin{CD} A @>a>> B \\ @VbVV @AAcA \\ C @= D \end{CD}

This can be done by using the
\begin{CD} ... \end{CD}
environment in any of the above ways to to embed equations, or by specifying your code after starting a line with
,cd
.

If KaTeX's support is insufficient, diagrams can rendered using the
\tikzcd{...}
command or by using the
\begin{tikzcd} ... \end{tikzcd}
environment.
For example, pasting the following excerpt from the attached PDF (TikZ-CD manual):

\begin{tikzcd}[row sep=scriptsize, column sep=scriptsize]
   & f^* E_V \arrow[dl] \arrow[rr] \arrow[dd] & & E_V \arrow[dl] \arrow[dd] \\
   f^* E \arrow[rr, crossing over] \arrow[dd] & & E \\
   & U \arrow[dl] \arrow[rr] & & V \arrow[dl] \\
   M \arrow[rr] & & N \arrow[from=uu, crossing over]\\
\end{tikzcd}

Will render as the following figure on Mathchan:



The drawback is that you will have to pause typing and wait until the diagram renders while KaTeX can be displayed instantaneously.
It is recommended that you compile any LaTeX code yourself - or in Overleaf - before attempting to paste it on Mathchan.


File: 16914886000000.jpg ( 27.53 KB , 718x719 , 1733874062742.jpg )

Image
can you do it?


File: asdasdas.png ( 2.99 KB , 605x152 , 1697767208017.png )

Image
What I said in the subject. It's so easy to prove. Search the problem and solve it, simple as that.
13 posts and 2 image replies omitted. Click here to view.
>>
>>512
An IQ score is a measurement variable for intelligence, and is explicitly linked to the test given
This is like saying "if you can reach this tall shelf you are 6'4"
Pointlessly vague because the shelf is a godawful test
>>
critte
>>
>>835
proof by example
>>
Tesr
>>
jjjjjjjjjjjj


File: Frac.png ( 116.91 KB , 256x256 , 1691684545939.png )

Image
I don't get it. Why are so many people in fractals nowadays?

There seems to be a whole community on Youtube that makes Mandelbrotzooms and seems to appreciate the psychedelic aesthetics and the relationship of these to PC hardware. Is this simply a continuation of the graphics demo scene?

I don't quite understand the appeal. However, I don't quite understand the math behind it either.
1 post omitted. Click here to view.
>>
>>466
Thank you. Now, I get it.
>>

File: Screenshot_20230819-155401_Gallery~2.jpg ( 84.25 KB , 720x541 , 1692917903705.jpg )

Image
>>465
A fractal
>>
>>465
"schizos" schizing out is a good explanation
>>
>>465
It looks interesting, like there could be some seret around any corner, but it isn't, so there's no pressure to find anything
>>
Look:
https://youtu.be/Ed1gsyxxwM0


File: question.png ( 1.95 KB , 404x273 , 1731228993157.png )

Image
Can any given probability be reduced to a simple judgment, zero or one?
This would mean that we could reduce any distribution to the binomial distribution
>>
>>1012
no
>>
>>1013
God, I hate it. Terrible. What a pain.


File: bc2e95b1013a443b0ad125e8bcecb7e7.jpg ( 87.82 KB , 781x1092 , 1642824353663.jpg )

Image
Talk maths.
9 posts and 1 image reply omitted. Click here to view.
>>
>>112
same
>>

File: IMG_5393.jpg ( 1.42 MB , 1284x1713 , 1708976478684.jpg )

Image
>>132
>>563
Wouldn't it be an improper integral over the complex plane?
>>
>>657
https://mathoverflow.net/questions/453862/is-the-area-of-the-mandelbrot-set-known
>>
Rediscovered something cute

https://files.catbox.moe/l6ft4m.mp4
>>
>>111
Trying to classify what ideals fail the weak lefschetz property


File: 1642980098311.gif ( 3.73 MB , 406x640 , 1713832706815.gif )

Image
Im new.
1 post omitted. Click here to view.
>>
Hi im new two
>>

File: 100512551_p0.jpg ( 2.66 MB , 4058x2029 , 1725514201950.jpg )

Image
>>749
broooo i need lukyon back plsss 😔😔😔i miss him so much
>>
hi new
>>
Congratulations
>>
Hi new I'm dad


File: animtourne.gif ( 3.06 KB , 16x16 , 1731881731626.gif )

Image
test
>>
I just typed in I don't know I didn't think it would work. I'm sorry


File: she's doing integrals ok.jpg ( 21.76 KB , 480x480 , 1655484028377.jpg )

Image
Primitive function of function
f(x)f(x)
over some interval
x[a,b]x\in[a, b]
is a function
F(x)F(x)
whose derivative is the function
f(x)f(x)
on that interval.

x[a,b],F(x)=f(x)\qquad \forall x\in[a, b],\quad F'(x) = f(x)


Antiderivative (aka indefinite integral) of a function
f(x)f(x)
is a family of its primitive functions which differ by a constant
CRC\in\mathbb{R}
:

f(x)dx=F(x)+C\qquad \int f(x)\mathrm{d}x = F(x) + C


In a nutshell, integration is the opposite of differentiation:

df(x)dxdx=F(x)\qquad \frac{\mathrm{d}\int f(x)\mathrm{d}x}{\mathrm{d}x} = F(x)


df(x)dx=f(x)dx\qquad \mathrm{d}\int f(x)\mathrm{d}x = f(x)\mathrm{d}x


dF(x)=F(x)+C\qquad \int\mathrm{d}F(x) = F(x) + C


Solving integrals in general is pretty hard, but there are a lot of established ways to do it. As OP I'll post some of the standard approaches, but this thread is about any kind of integration so feel free to post integrals and theirs solutions.

Most basic methods are:

  1. Using the table of integrals
  2. Using linearity property
  3. Using substitution
  4. Using partial integration
  5. Reducing quadratic to its cannonical form
  6. Partial decomposition
3 posts omitted. Click here to view.
>>
Partial integration

This basically allows you to swap what you integrate and what you integrate by.

u dv=uvv du+C\qquad\int u\ \mathrm{d}v = uv - \int v\ \mathrm{d}u + C



Usually, you use it to solve an integral with polynomial multiplied by one of the non-polynomial functions.

Pn(x)eaxsin(ax)cos(ax)ln(ax)arcsin(ax)arccos(ax)dx\qquad \int P_n(x)\cdot \begin{matrix}e^{ax}\\\sin(ax)\\\cos(ax)\\\ln(ax)\\\arcsin(ax)\\\arccos(ax)\end{matrix}\mathrm{d}x


You usually choose
uu
to be the non-polynomial because calculating the derivative of it is probably going to be easier than integrating it.
On the other hand, polynomials are easy to both derive and integrate.

Example

You integrate
x2arccos(x)dx\int x^2\arccos(x)\mathrm{d}x
by differentiating
arccos(x)\arccos(x)
and by integrating
x2x^2
:

arccos(x)x2dx={u=arccos(x)du=dx1x2dv=x2dxv=x33}=x33arccos(x)+13x31x2dx+C=x33arccos(x)13(1x2+(1x2)33)+C\begin{aligned} \qquad \int \arccos(x)\cdot x^2 \mathrm{d}x &= \begin{Bmatrix} u = \arccos(x) & \mathrm{d}u = -\frac{\mathrm{d}x}{\sqrt{1- x^2}}\\\mathrm{d}v = x^2\mathrm{d}x & v = \frac{x^3}{3}\end{Bmatrix} = \frac{x^3}{3}\arccos(x)+ \frac{1}{3}\int\frac{x^3}{\sqrt{1-x^2}}\mathrm{d}x +C \\&= \frac{x^3}{3}\arccos(x) - \frac{1}{3}\left(\sqrt{1-x^2} + \frac{\sqrt{(1-x^2)^3}}{3}\right) + C \end{aligned}


As for how you solve
x31x2dx\int\frac{x^3}{\sqrt{1-x^2}}\mathrm{d}x
you do it by substituting
t=1x2,x2=1t2,2dx=2tdtt = \sqrt{1-x^2},\quad x^2 = 1- t^2,\quad \cancel{2}\mathrm{d}x = -\cancel{2}t\mathrm{d}t
:

x31x2dx=1t2t(t)dt=tt33=1x2(1x2)33\qquad \int\frac{x^3}{\sqrt{1-x^2}}\mathrm{d}x = \int\frac{1-t^2}{t}(-t)\mathrm{d}t = t - \frac{t^3}{3} = \boxed{\sqrt{1-x^2} - \frac{\sqrt{(1-x^2)^3}}{3}}
>>
Quadratic trinomial

How do you solve
dxax2+bx+c\int\frac{\mathrm{d}x}{ax^2 + bx + c}
and
dxax2+bx+c\int\frac{\mathrm{d}x}{\sqrt{ax^2 + bx + c}}
? You write
ax2+bx+cax^2 + bx + c
in the following way (hint: completing the square by adding and subtracting
b24)\frac{b^2}{4})
:

ax2+bx+c=a(x2+bax+ca)=a((x2+2b2ax+b24a2)+(b24a2+c))=a((x+b2a)2+(cb2a)2)=a(t2+k2),t=x+b2a,k=cb2a\begin{aligned} \qquad ax^2 + bx + c &= a\left(x^2 + \frac{b}{a}x + \frac{c}{a}\right) = a\left(\left(x^2 + 2\frac{b}{2a}x + \frac{b^2}{4a^2}\right) +\left(- \frac{b^2}{4a^2} + c \right)\right)\\&= a\left(\left(x + \frac{b}{2a}\right)^2 +\left(\sqrt{c - \frac{b}{2a}}\right)^2\right)\\&=a(t^2 + k^2),\quad t= x+ \frac{b}{2a},\quad k=\sqrt{c-\frac{b}{2a}} \end{aligned}


Now the integral reduces to either
1adxt2+k2=1akarctantk+C\boxed{\frac{1}{a}\int\frac{\mathrm{d}x}{t^2 + k^2} = \frac{1}{ak}\arctan{\frac{t}{k}} + C}
or
1adxt2+k2=1alnt2+t2+k2+C\boxed{\frac{1}{a}\int\frac{\mathrm{d}x}{\sqrt{t^2 + k^2}} = \frac{1}{a}\ln\left|t^2 + \sqrt{t^2 + k^2}\right| + C}
>>
Partial fraction decomposition

How do you solve
P(x)Q(x)dx\int\frac{P(x)}{Q(x)}\mathrm{d}x
where
 degP(x)<degQ(x)\ \deg{P(x)} < \deg{Q(x)}
?


First, as a consequence of the fundamental theorem of algebra, any real polynomial can be factored into linear and quadtratic terms.
We will do that with
Q(x)Q(x)
:

Q(x)=(xa1)A1(xa2)A2(xam)Am(x2+b1x+c1)B1(x2+b2x+c2)B2(x2+bnx+cn)Bn\qquad Q(x) = (x-a_1)^{A_1}(x-a_2)^{A_2}\dots(x - a_m)^{A_m}(x^2 + b_1x + c_1)^{B_1}(x^2 + b_2 x + c_2)^{B_2}\dots(x^2 + b_n x + c_n)^{B_n}


Now employ the partial fraction decomposition:

P(x)Q(x)=i=1mj=1Aiaij(xai)j+i=1nj=1Bibijx+cij(x2+bix+)j\qquad\frac{P(x)}{Q(x)} = \sum_{i=1}^m\sum_{j=1}^{A_i}\frac{a_{ij}}{(x-a_i)^j} + \sum_{i=1}^n\sum_{j=1}^{B_i}\frac{b_{ij}x + c_{ij}}{(x^2 + b_ix +)^j}


Then just use the linearity property of the integral.

For example:

x2+1x53x4+x3+7x26x8dx=x2+1(x2)(x+1)2(x23x+4)dx=a11x2dx+a21x+1dx+a22(x+1)2dx+b11x+c11x23x+4dx\qquad \int\frac{x^2 + 1}{x^5 - 3x^4 + x^3 + 7x^2 - 6x - 8}\mathrm{d}x = \int\frac{x^2 + 1}{(x-2)(x +1)^2(x^2-3x + 4)}\mathrm{d}x = \int \frac{a_{11}}{x-2}\mathrm{d}x + \int\frac{a_{21}}{x+1}\mathrm{d}x + \int\frac{a_{22}}{(x+1)^2}\mathrm{d}x + \int\frac{b_{11} x + c_{11}}{x^2 - 3x + 4} \mathrm{d}x



The constants
aij,bij,cijRa_{ij},b_{ij}, c_{ij}\in\mathbb{R}
have to be found e.g. using the Heaviside cover up method.
>>
cool nad thanks
>>
If you have a function that cannot be integrated but which has a fourth
derivative, you can approximate the definite integral to a high degree of
accuracy using Simpson's rule.

Choose
Δx\Delta x
such that
[a,b][a,b]
is divided into an even number of subintervals.

abf(x)dx=limΔx0+Δx3[f(x0)+4f(x1)+2f(x2)+4f(x3)+2f(x4)+...+4f(xn1)+f(xn)]\int_{a}^b f(x)\,dx = \lim_{\Delta x \to 0^+} \frac{\Delta x}{3}[f(x_0) + 4f(x_1) + 2f(x_2) + 4f(x_3) + 2f(x_4) + ... + 4f(x_{n-1}) + f(x_n)]


For the error, find the maximum value
MM
of
f(4)(x)f^{(4)}(x)
on
[a,b][a,b]
.
ba180M(Δx)4\frac{b-a}{180}M(\Delta x)^4


File: images.jpeg ( 13.87 KB , 260x194 , 1729335144595.jpeg )

Image
I only know mathematics upto highschool only and that too barely and I want to learn mathematics from beginning rigorously. I need your help. Where should I start, where to begin. What books, what should I do and what should I not do
>>
>>1001
You should make sure to have fun!
Try mathologer, He does some fairly advanced visual proof
https://www.youtube.com/@Mathologer
Once you are done with that, any book will do, but calculus tends to be useful
>>

File: 81NCPLOK4HL._SL1500_-1808559805.jpg ( 120.7 KB , 1031x1500 , 1731603827102.jpg )

Image
Start right here