Proof Definition and 999 Threads

Proof: Suppose f is a function and x is in the domain of f s.t. there is a derivative at the point x and sppse. there are two tangent lines at the point (x,f(x)). Let t1 represent one of the tangent lines at (x,f(x)) and let t2 represent the other tangent line at (x,f(x)) s.t. the slopes of t1...

Proof: Let ## p ## be an odd prime and ## G=\left \{ 1, 2, ..., p-1 \right \} ## be the set which can be expressed as the union of two nonempty subsets ## S ## and ## T ## such that ## S\neq T ##. Observe that ## p-1=22\implies p=23 ##. Let ## g\in G ##. Since ## g ## is either an element of ##...

I am currently self-studying Taylor and Mann's Advanced Calculus (3rd edition, specifically). I stumbled across their guidelines for a proof of the chain rule, leaving the rest of the proof up to the reader to complete. I was wondering if someone could look over my proof, and point out any...

What i mean if we change state/spin at one end it will immediately effect the other. Can we see that live using two camera which may be 10 meter apart so that minium time delay. Is there any video proof exist such kind?

I'm trying to prove the statement ##n^2 + 1 < n!## for ##n \geq 4##. My proof by induction looks way too contrived. Is there a way to simplify it? Here's what I got. For n = 4, ##n^2 + 1 = 17 < 4!##. So, the statement is true for n = 4. Now let's assume it's true for n = k, that is, ##k^2 + 1 <...

why is Tau-AB^2 equal to t^2 - x^2 ?It seems it should be t^2 + x^2 according to the geometry of the diagram...

The assignment says proof by induction is possible, I cannot figure out how this is supposed to work out. Does somebody know the name of this by any chance? Seeing a derivation might help come up with an idea for a proof. Thank you everybody.

I would like to show that a LLL-reduced basis satisfies the following property (Reference): My Idea: I also have a first approach for the part ##dist(H,b_i) \leq || b_i ||## of the inequality, which I want to present here based on a picture, which is used to explain my thought: So based...

The problem reads: ##f:M \rightarrow N##, and ##L \subseteq M## and ##P \subseteq N##. Then prove that ##L \subseteq f^{-1}(f(L))## and ##f(f^{-1}(P)) \subseteq P##. My co-students and I can't find a way to prove this. I hope, someone here will be able to help us out. It would be very...

Could someone check whether my proof for this simple theorem is correct? I get to the result, but with the feeling of having done something very wrong :) $$\mathcal{L} \{f(ct)\}=\int_{0}^{\infty}e^{-st}f(ct)dt \ \rightarrow ct=u, \ dt=\frac{1}{c}du, \ \mathcal{L}...

I know the Taylor expansion of exponential, ##\exp(x)=\displaystyle\sum_{n=0}^\infty \frac{X^n}{n!}## But if I calculate first and second derivatives of both sides of the above formula, L.H.S and R.H.S remain the same as before i-e ##e^X## So, how can I get the proofs of both series?

Is there analytical proof that a photon Pe will be emitted by an excited atom Ae when another photon Pp of the same frequency is passing by Ae in LASER production? I tried using Feynman diagram to show a high probability of this event. I failed (most likely because I am not an expert in QFT)...

##f'(x_0)## is defined as: $$f'(x_0)=\lim_{h \rightarrow 0} \frac{f(x_0+h)-f(x_0)}{h}$$ or $$f'(x_0)=\lim_{x \rightarrow x_0} \frac{f(x)-f(x_0)}{x-x_0}$$ I can imagine that as ##n \rightarrow \infty## the value of ##f(b_n)## and ##f(a_n)## will approach ##f(x_0)## so the value of the limit will...

Does anyone know if a proof exists for these statements about 1d quantum mechanics? 1. If the potential energy where a particle moves is of the form ##V(x) = c_2 x^2 + c_4 x^4 + c_6 x^6 + \dots## or ##V(x) = c_2 x^2 + c_3 |x|^3 + c_4 x^4 + c_5 |x|^5 + c_6 x^6 + \dots## with ##c_j \geq 0##...

Note as soon as the term 3N+1 become divisible by a power of 2 we can repeatedly divide by 2. For the proof below we rearrange the sequence so it becomes: First step: If N is odd, multiply by 3 and add 1. Each next step: - Repeatedly divide by 2, as many times as the number k, which is...

Newton arrived at "there is a force that drives a planet around the star by examining kepler's laws but how did he arrive to inverse square law by kepler's third law (##T^2=\frac {4\pi r^3}{GM}##)? Thank you.

(expression given to be proven) check for p(1)... 2=2 substitute (n+n) to And here is the problem, I just can't find a way to continue solving this problem

Proof: Let ## p ## be the prime divisor of two successive integers ## n^{2}+3 ## and ## (n+1)^{2}+3 ##. Then ## p\mid [(n+1)^{2}+3-(n^{2}+3)]\implies p\mid (2n+1) ##. Observe that ## p\mid (n^{2}+3) ## and ## p\mid (2n+1) ##. Now we see that ## p\mid [(n^{2}+3)-3(2n+1)]\implies p\mid...

Hello, I am currently working on the proof of Minkowski's convex body theorem. The statement of the corollary here is the following: Now in the proof the following is done: My questions are as follows: First, why does the equality ##vol(S/2) = 2^{-m} vol(S)## hold here and second what...

My first attempt was ##... + n^{2} + (n+1)^{2} > \frac {1}{3} n^{3} + (n+1)^{2}## then we must show that ##\frac {1}{3} n^{3} + (n+1)^{2} > \frac {1}{3} (n+1)^{3}## We evaluate both sides and see that the LHS is indeed bigger than RHS. However, this solution is inconsistent so I am asking for...

I am proposing a new theorem of computability theory: THEOREM 1: There are numbers k and s and a program A(n,m) satisfying the following conditions. 1. If A(n,m)↓, then C_n(m)↑. 2. For all n, C_k(n) = A(n,n) and C_s(n) = C_k(s). 3. A(k,s)↓ and for all n, A(s,n)↑. Here C_n(∙) is a program with...

In Chapter 20 of Spivak's Calculus is the lemma shown below (used afterward to prove Taylor's Theorem). My question is about a step in the proof of this lemma. Here is the proof as it appears in the book My question is: how do we know that ##(R')^{n+1}## is defined in ##(2)##? Let me try to...

I studied physics in University a bit out of interest. Curious on how exactly one proves the existence of particles. If I look it up, often the most basic example would be the cathode ray experiment. It seems pretty simple to me, but in my eyes it does not prove the existence of particles...

Proof: Suppose ## N ## is a palindrome with an even number of digits. Let ## N=a_{m}10^{m}+\dotsb +a_{2}10^{2}+a_{1}10+a_{0} ##, where ## 0\leq a_{k}\leq 9 ##, be the decimal expansion of a positive integer ## N ##, and let ## T=a_{0}-a_{1}+a_{2}-\dotsb +(-1)^{m}a_{m} ##. Note that ## m ## is...

Proof: Suppose that ## 6 ## divides ## N ##. Let ## N=a_{m}10^{m}+\dotsb +a_{2}10^{2}+a_{1}10+a_{0} ##, where ## 0\leq a_{k}\leq 9 ##, be the decimal expansion of a positive integer ## N ##. Note that ## 6=2\dotsb 3 ##. This means ## 2\mid 6 ## and ## 3\mid 6 ##. Then ## 2\mid...

Hi, I am looking for a formal proof of Thevenin theorem. Actually the first point to clarify is why any linear network seen from a port is equivalent to a linear bipole. In other words look at the following picture: each of the two parts are networks of bipoles themselves. Why the part 1 -- as...

We say that an implication p --> q is vaccuously true if p is false. Since now it's impossible to have p true and q false. That is we can't check anymore whether the contrary, p being true and q being false,can be.Since p being true is non-existent. So we take the implication as true. For eg...

Actual statement: Proof (of Mr. Tom Apostol): We will do the proof by induction on ##n##. Base Case: n=1. When ##n=1##, the matrix of T will be have just one value and therefore, the characteristic polynomial ##det(\lambda I -A)=0## will have only one solution. So, the Eigenvector...

cp=(dU/dT)P+P(dv/dT)P cv=(dU/dT)V cp-cv=(dU/dT)P+P(dv/dT)P- (dU/dT)V=(dU/dV)T(dV/dT)P+P(dv/dT)P- (dU/dV)T(dV/dT)V since dV is zero (dU/dV)T(dV/dT)V is zero. Hence cp-cv=(dU/dV)T(dV/dT)P+P(dv/dT)P I expanded both dU/dT and since one of them has no change in volume it is zero. is it acceptable...

Proof: Let ## N ## be an integer. Then ## N=a_{m}10^{m}+a_{m-1}10^{m-1}+\dotsb +a_{1}10+a_{0} ## for ## 0\leq a_{k}\leq 9 ##. Note that ## 10^{k}\equiv 0\pmod {4} ## for ## k\geq 2 ##. Thus ## 4\mid N\Leftrightarrow N\equiv 0\pmod {4}\Leftrightarrow a_{1}10+a_{0}\equiv 0\pmod {4} ##...

Proof: Let ## P(x)= \Sigma^{m}_{k=0} a_{k} x^{k} ## be a polynomial function. Then ## N=a_{m}10^{m}+a_{m-1}10^{m-1}+\dotsb +a_{1}10+a_{0} ## for ## 0\leq a_{k}\leq 9 ##. Since ## 10\equiv 1\pmod {3} ##, it follows that ## P(10)\equiv P(1)\pmod {3} ##. Note that ## N\equiv (a_{m}+a_{m-1}+\dotsb...

Proof: Suppose ## N ## is the integer and ## x ## is the units digit of ## N ##. Then ## N=10k+x ## for some ## k\in\mathbb{Z} ## where ## x={0, 1, 2, 3, 4, 5, 6, 7, 8, 9} ##. Note that ## 10k\equiv 0\pmod {2}\implies N\equiv x\pmod {2} ##. Thus ## 2\mid N\implies N\equiv 0\pmod {2}\implies...

It occurred to me that I should ask this to people who passed the stage in which I’m right now, being unable to find anyone in my milieu (maybe because people around me have expertise in other fields than mathematics) I reckoned to come here. Let’s see this sequence: ## s_n =...

It is said that some physicists doubted the existence of atoms in 1900 until Einstein proved their existence a few years later. Did Mendeleev's creation of the periodic table in the 1870s already prove the reality of atoms by giving the known elements atomic masses?

This is more a general question that this problem spurred and this is what I came up with. I do not feel it is acceptable but would like clarification moving forward. My text states the format for proof by contradiction is as follow; Proposition: P PF: Suppose ~P. ...a little math and...

Let the first multiple of ##4=x##, then it follows that; ##x+(x+4)+(x+8)+(x+12)=4x+24=4(x+6)## ...where ##4## is a multiple of ##8##

For calculating ##n_1## I had no problems as ##n_1 = 3##. PF: Show ##(1+x)^n > 1 + nx + nx^2 ## is true for all ##x \ge 3##. Let ##n = 3, (1+x)^3 > 3x^2 + 3x + 1 ## ##x^3 +3x^2 +3x + 3 > 3x^2 + 3x + 1 ## is true. Assume ## n = k ## such that ##(1+x)^k > 1+kx + kx^2, k \ge 3## is true. We...

I need to prove the following: A symmetric real matrix ##A## with positive elements ##a_{i,j}\geq 0## can’t be definite positive matrix (i.e. with only positive eigenvalues) if the following condition holds: $$\sum_{i=1}^{N-1}a_{i,i+1}>\frac{1}{2}\sum_{i=1}^{N}a_{i,i}=\frac{1}{2}\text{Tr}(A)$$...

Link to my insight Article it's right where I need you to start checking, read the above boxes to, check out the picture to see examples of the kind of sequence of sets we are dealing with. I need you to read the section jusr below the first picture entitled "3.0.2 Lemma 2.1: Nesting Property of...

How can we prove that $$ g(A_1, \cdots A_n)= c g(I_1 \cdots I_n)$$? From the those three axioms we can prove a property of g that if any of two vectors in domain exchange their respective places the sign of output of g will be changed. Now, do we have to argue that any matrix can be changed...

This may seem like a trivial question but I don't know if there is a formal proof for this. Is the following expression never true? a^n-b^n =1, where a >b, a,b,n are positive integer numbers. Was this known since ancient times? Or is there a modern proof for this?

I am interested in finding any proofs that exist which demonstrates that the difference between two odd powered integers can never be equal to a square? Has there been any research in this? For example, given this expression a^n -b^n = c^2, where a,b,c are positive integers and a>b, n = odd...

In this video lecture (though I have linked the video at "current time", in case it doesn't; work please see the video at 19:16), the lecturer just works out (he is not explaining anything) the proof of Induction Principle starting from ##N##. Let me give out here what he did: Statement: Let N...

I am trying to mathematically prove the Static Pressure Head equation: H = p/ρg How can I prove this equation and thus determine the nature of the relationship between these variables?

What is a proof of the formula Q=CV for a capacitor with arbitrary but unchanging shape where C is a constant?

https://lh6.googleusercontent.com/xFVXel6_szTL_WVir-dz4SpFIGkHqMY9428mA3HRY2Nl06Ez9Wt9N3RZ8U0Jmsshwnl7ekEQX31ccWBXBNW5XUhRwVQafqZOPHpmy3fY4L94b4UmqGR-N7IIO8Ep1wpWg4BmDebD How can same machine take same machine as input(is it same machine taking encoding of itself as input—if that’s the case...

Proof: Suppose ## p ## and ## p+2 ## are twin primes. Then we have ## p(p+2)+1=p^2+2p+1=(p+1)^2 ##. Thus, ## (p+1)^2 ## is a perfect square. Therefore, if ## 1 ## is added to a product of twin primes, then a perfect square is always obtained.

I am going through this page again...just out of curiosity, how did they arrive at the given transforms?, ...i think i get it...very confusing... in general, ##U_{xx} = ξ_{xx} =ξ_{x}ξ_{x}= ξ^2_{x}## . Also we may have ##U_{xy} =ξ_{xy} =ξ_{x}ξ_{y}.## the other transforms follow in a similar manner.

In Chapter 3 of Thomas’s Calculus, they give the following proof of the Chain Rule. After the proof, the text says that this proof doesn’t apply when the function g(x) oscillates rapidly near the origin and therefore leads delta u to be 0 even when delta x is not equal to 0. Doesn’t this proof...

I was just checking this out the sin##\frac {A}{2}## property, in doing so i picked a Right-Angled triangle, say ##ABC##, with ##AB=5cm##, ##BC=4cm## and ##CA= 3cm##. From this i have, ##s=6cm## now substituting this into the formula, ##sin\frac {A}{2}##= ##\frac {1×3}{5×3}##=##\frac...