Proof Definition and 999 Threads

  1. vibha_ganji

    I Proof of 1/(x^2) Not Having Limit at 0

    In Apostol’s Calculus (Pg. 130) they are proving that 1/(x^2) does not have a limit at 0. In the proof, I am unable to understand how they conclude from the fact that the value of f(x) when 0 < x < 1/(A+2) is greater than (A+2)^2 which is greater than A+2 that every neighborhood N(0) contains...
  2. C

    DP: proving existence of optimal substructure for "Sherlock and Cost"

    I was attempting to solve the "Sherlock and Cost" problem from HackerRank using DP: But before I went to come up with a recursive relation, I wanted to find if the problem possesses an optimal substructure, and I was following these steps as written at CLRS book: Mentor note: Inline images of...
  3. M

    Proof by contradiction - any non-zero number divided by itself is 1

    Proof by contradiction (for some reason the LaTeX code is not working for me. Sorry) Lets assume that A, B, and C are non-zero real numbers; A = B ; and C is not equal to 1. A/ B = C A = B x C But BxC could be equal to B, if and only if C =1 Also, could you recommend a book where I...
  4. K

    I What's the proof that R2 /(R+h) = (1 – 2h/R)

    Hi, On this link: https://physicsteacher.in/2020/07/11/the-formula-for-acceleration-due-to-gravity-at-height-h-with-derivation/ They prove the formula for acceleration due to gravity at height h, which is: g1 = g (1 – 2h/R). There are similar articles online. When they go through the last...
  5. Delta2

    I From a proof on directional derivatives

    Given that the partial derivatives of a function ##f(x,y)## exist and are continuous, how can we prove that the following limit $$\lim_{h\to 0}\frac{f(x+hv_x,y+hv_y)-f(x,y+hv_y)}{h}=v_x\frac{\partial f}{\partial x}(x,y)$$ I can understand why the factor ##v_x## (which is viewed as a constant )...
  6. WMDhamnekar

    MHB What Is the Actual Velocity of Wind?

    My attempt to answer this question: Let the actual velocity of wind is $\vec{v}=x\hat{i} + y\hat{j}$ where $\hat{i}$ and $\hat{j} $ represents velocities of 1KM per hour towards east and north respectively. As the person is going northeast with a velocity of 6KM/hr, his actual velocity is $...
  7. J

    Proof involving exponential of anticommuting operators

    For ##N=1##, I have managed to prove this, but for ##N>1##, I am struggling with how to show this. Something that I managed to prove is that $$\langle\psi |b_k^\dagger=-\langle 0 | \sum_{n=1}^N F_{kn}c_n \prod_{m=1\neq k, l}^N \left(1+b_m F_{ml}c_l \right)$$ which generalizes what I initially...
  8. A

    Linear Algebra - LU Factorization

    Hello all, I have a problem related to LU Factorization with my work following it. Would anyone be willing to provide feedback on if my work is a correct approach/answer and help if it needs more work? Thanks in advance. Problem: Work:
  9. George Keeling

    I Uncovering a Decent Proof of E=mc^2

    Sean Carroll says that in SR the time component of the 4-momentum of a particle is its energy. It is of course also ##mc^2dt/d\tau##. He uses that to prove that ##E=mc^2##. Which begs the question why does ##E=p^0##? Misner, Thorne, Wheeler do roughly the same thing. I find these 'proofs'...
  10. W

    I Is there a "Nice" proof that R^2 is not disconnected when we remove 2 points

    Are there "nice" ( without heavy machinery) proofs that ## X:=R^2 - \{p,q\} ## is connected? All I can think is using that path-connectedness implies connectedness. So we consider x,y in X and show there is a path joining them. I am looking for an argument at undergrad level, so that I would not...
  11. Lecture 5a - Pandemic Pedantics - Derivation of PCA and Kernel PCA

    Lecture 5a - Pandemic Pedantics - Derivation of PCA and Kernel PCA

    Here we talk about how we come to the formulas for PCA and Kernel PCA. We briefly introduce kernel functions, and talk about feature spaces. This builds on the introductory lecture for PCA and also that for Kernel PCA.
  12. B

    Multivariable Calculus proof for Optics

    Part A) For part A I forgo breaking down the identity into it's component x, y, and z parts, and just take the r derivative treating r' as a constant vector. This seems to give the right answer, but to be entirely honest I'm not sure how I'd go about doing this component by component. I figure...
  13. T

    A Lie Bracket * Matrix * vector (Need proof)

    As an aside, fresh_42 commented and I made an error in my post that is now fixed. His comment, below, is not valid (my fault), in that THIS post is now fixed.Assume s and w are components of vectors, both in the same frame Assume S and W are skew symmetric matrices formed from the vector...
  14. malawi_glenn

    Help with a proof regarding convergent sequence (proof by contradiction)

    Ok I am trying to brush up my real analysis skills so that I can study some topology and measure theory at some point. I found this theorem in my notes, that is proven by using proof by contradiction. However, I have a hard time understanding what the contradiction really is... Here is the...
  15. A

    MHB Proof that lim loga_n/n = 0 in epsilon delta language

    Let $\,a>0\,,\,a\neq1\,$ be a real number. We can prove by using the continuity of $\ln n$ function that $\;\lim\limits_{n\to\infty}\dfrac{\log_an}n=0\;$ However, this problem appears in my problems book quite early right after the definition of $\epsilon$-language definition of limit of a...
  16. N

    Proof Involving the Diagonals of Parallelogram

    Chapter 1, Section 1.1. Look at the picture. Question 57. Let me see. To show this prove, I must find the midpoint of the diagonals. The midpoint of (b, c) and (a, 0) must be the same as the midpoint of (0, 0) and (a + b, c). You say?
  17. Twigg

    A Proof of Classical Fluctuation-Dissipation Theorem

    Sorry if there's latex errors. My internet connection is so bad I can't preview. Here's the wikipedia proof I'm referring to. I'm fine with the steps up to $$W(x,0) = W_0 (x) [1 + \beta f_0 (x(0) - \langle x \rangle_0) ]$$ where ##W(x,t)## is the probability density of finding the system at...
  18. HrvojeDjurdjevic

    I Is the proof of the KRK endgame theorem rigorous and original?

    The articles: https://lmcs.episciences.org/5328/pdf http://argo.matf.bg.ac.rs/publications/2013/2013-icga-krk-sat.pdf http://archive.ceciis.foi.hr/app/public/conferences/1/papers2012/dkb3.pdf KRK endgame is a win for white regardless of starting position, with the trivial drawing exception in...
  19. T

    Experimental proof of Venturi Effect

    Venturi effect is known for centuries. And most probably that's why experimental proofs are rare because it's already accepted. But, I want to know how close real results are in case of experiments regarding Venturi Effect. I am especially interested in results of experiment regarding velocity...
  20. A

    I Proving the Finite Binomial Series for k Non-Negative Integer

    Hello, I was wondering how to prove that the Binomial Series is not infinite when k is a non-negative integer. I really don't understand how we can prove this. Do you have any examples that can show that there is a finite number when k is a non-negative integer? Thank you!
  21. Samkiwi

    How is the Relativity Formula Proven for an Electron in an Electric Field?

    It is an electron initially pushed by the action of the electric field. The vectors of force and velocity are parallel to each other. Here's the questionA possible expression of speed as a function of time is the following: $$v(t) = \frac{At}{\sqrt{1 + (\frac{At}{c})^2}}$$where is it $$A...
  22. Samkiwi

    Deriving and Verifying the Relativity Formula for Electron Speed

    It is an electron initially pushed by the action of the electric field. The vectors of force and velocity are parallel to each other. Here's the questionA possible expression of speed as a function of time is the following: $$v(t) = \frac{At}{\sqrt{1 + (\frac{At}{c})^2}}$$where is it $$A...
  23. Eclair_de_XII

    B Is this a valid proof for the Extreme Value Theorem?

    If ##f## is a constant function, then choose any point ##x_0##. For any ##x\in K##, ##f(x_0)\geq f(x)## and there is a point ##x_0\in K## s.t. ##f(x_0)=\sup f(K)=\sup\{f(x_0)\}=f(x_0)##. Now assume that ##f## is not a constant function. Construct a sequence of points ##x_n\in K## as follows...
  24. Z

    Proving Energy Conservation in a Gravitational System with Multiple Bodies

    Hi all. I'm trying to prove energy conservation in a (maybe) uncommon way. I know there are different ways to do this, but it is asked me to prove it this way and I'm stucked at the end of the proof. I'm considering ##N## bodies moving in a gravitational potential, such that the energy is ##E =...
  25. C

    I Proof check for Plancherel's theorem (Fourier Transform version)

    I'm trying to prove Plancherel's theorem for functions $$f\in L^1\cap L^2(\mathbb{R})$$. I've included below my attempt and I would really appreciate it if someone could check this for me please, and give me any feedback they might have. **Note:** I am working with a slightly different...
  26. B

    Do Cauchy Sequences Imply Convergent Differences?

    I've started by writing down the definitions, so we have $$x_n-y_n\rightarrow 0\, \Rightarrow \, \forall w>0, \exists \, n_w\in\mathbb{N}:n>n_{w}\,\Rightarrow\,|x_n-y_n|<w $$ $$(x_n)\, \text{is Cauchy} \, \Rightarrow \,\forall w>0, \exists \, n_0\in\mathbb{N}:m,n>n_{0}\,\Rightarrow\,|x_m-x_n|<w...
  27. N

    MHB What is the Epsilon-Delta Method for Proving Limits?

    Use the epsilon-delta method to show that the limit is 3/2 for the given function. lim (1 + 2x)/(3 - x) = 3/2 x-->1 I want to find a delta so that | x - 1| < delta implies |f(x) - L| < epsilon. | (1 + 2x)/(3 - x) - (3/2) | < epsilon -epsilon < (1 + 2x)/(3 - x) - 3/2 < epsilon I now add...
  28. Frabjous

    I Probability fun time: Proof that 1/3=1/2=1/4

    Forgive me, I am not a probability guy, so I am unsure how well known this is. I was trying to figure something out and found this. I found it cool. Here's the explanation. The first solution is a fraction (damn scanner!) Oops! From Kendall Geometrical Probability (1963)
  29. M

    MHB Logic Proof With Rules of Replacement

    Not sure if this is an allowed post, as it is not technically math but I'm trying to work through the below proof. If workers have a fundamental right to a job, then unemployment will be virtually nonexistent but job redundancy will become a problem. If workers have no fundamental right to a...
  30. larginal

    Proof of Electromagnetic Identity: Puzzling Last Expression

    I tried to understand proof of this identity from electromagnetics. but I was puzzled at the last expression. why is that line integral of dV = 0 ? In fact, I'm wondering if this expression makes sense.
  31. mcastillo356

    B Proof of Chain Rule: Understanding the Limits

    First I quote the text, and then the attempts to solve the doubts: "Proof of the Chain Rule Be ##f## a differentiable function at the point ##u=g(x)##, with ##g## a differentiable function at ##x##. Be the function ##E(k)## described this way: $$E(0)=0$$...
  32. C

    Indirect Proof Proof verification: sequence a_n=(−1)^n does not converge

    Theorem: Show that the sequence ## a_n = (-1)^n ## for all ## n \in \mathbb{N}, ## does not converge. My Proof: Suppose that there exists a limit ##L## such that ## a_n \rightarrow L ##. Specifically, for ## \epsilon = 1 ## there exists ## n_0 ## s.t. for all ## n > n_0## then ##|(-1)^n-L|<1##...
  33. S

    MHB Need help with parallelogram proof

    Hello, we are learning about similar triangles and this was a problem. So I know that opposite sides of a parallelogram are congruent as are opposite angles, so I can establish similarity with triangles WYS and STW, but I don't understand how that proves SX x YW = SV x WT because the proportions...
  34. C

    I How to deal with self-doubt in mathematics?

    Dear Everyone, I am wondering how to deal with the self-doubt in proof-writing in general situation like on exam or homework question. Suppose I want to prove Theorem B. I assume the hypothesis. Then I apply the right mathematics definition. I am hesitant on the next step; I have the feeling...
  35. Demystifier

    A A stronger proof of nonlocality, or what?

    Half a year ago a group of authors published a paper in Nature Physics https://www.nature.com/articles/s41567-020-0990-x which seems to be a proof of nonlocality even stronger than Bell nonlocality. More precisely, according to a popular exposition by one of the authors...
  36. L

    MHB How Can the 4 Rod Tower of Hanoi Inequality Be Solved?

    I am having trouble solving part 2, for $ W_{\frac{n(n+1)}{2}} \leq 2^{n} (n-1) + 1 , n \geq 0 $ I know that $W_{m} \leq 2*W_{m-k} + 2^{k} – 1, 0 \leq k \leq m$ Let $m = \frac{n(n+1)}{2}$ So now $W_{\frac{n(n+1)}{2}} \leq 2*W_{\frac{n(n+1)}{2} - k} + 2^{k} - 1, 0 \leq k \leq...
  37. C

    Existence of isomorphism ϕ:V→V s.t. ϕ(ϕ(v))=−v for all v∈V

    Problem: Let ## V ## be a vector space over ## \mathbb{F} ## and suppose its dimension is even, ## dimV=2k ##. Show there exists an isomorphism ## \phi:V→V ## s.t. ## \phi(\phi(v))=−v ## for all ## v \in V ## Generally that way to solve this is to define a basis for the vector space ## V ##...
  38. G

    B Light Speed Invariance: Experiments, Difficulties & Clarification

    Let me clarify my question, is there any experiment directly proved the invariance of light speed to observers? Let's not get to the argument of equivalence between source and observer. SR was based on the postulate that the light speed is constant and independent of both the motions of source...
  39. cybernetichero

    What WOULD be adequate proof of alien visitation to Earth?

    Perseverance's successful landing has scared up some UFO conspiracists online. I used to be like them and I was into Charles Forte as well, encouraged by people who should have known better (yes I AM looking at you Arthur C. Clarke) until I realized I just really wanted to believe rather than...
  40. D

    Inequality proof: If a>b implies a>c then b>c

    Summary:: To prove a conditional statement on a pair of inequalitites. Mentor note: Moved from technical forum section, so the post is missing the usual fields. I feel it should be possible to prove this but I keep getting lost in the symbolic manipulation. Theorem: If a>b implies a>c then...
  41. Armine

    Proof of a formula with two geometric random variables

    The image above is the problem and the image below is the solution I have tried but failed.
  42. S

    MHB Proof of Triangle Inequality for $n$ Natural Numbers

    Prove for all $n\in N$ $\dfrac{|a_1+...a_n|}{1+|a_1+...+a_n|}\leq\dfrac{|a_1|}{1+|a_1|}+...\dfrac{|a_n|}{1+|a_n|}$
  43. C

    Det of Triangular-like Matrix & getting stuck in Algorithmic Proof

    Find determinant of following matrix: ## A = \begin{pmatrix} a_{1,1} & a_{1,2} & \cdots & a_{1,n-1} & a_{1,n} \\ a_{2,1} & a_{2,2} & \cdots & a_{2,n-1} & 0 \\ \vdots & \vdots & \ddots & \vdots & \vdots \\ a_{n,1} & 0 & \cdots & 0 & 0 \end{pmatrix} ## Note: I tried to solve this question...
  44. DaTario

    I How to Prove a Congruence Relation for Prime Numbers?

    Hi, I would like to prove the following congruence relation: Let p be a prime number and let ##n## be a natural such that ##p < n < p^2##. Then $$ {n-1 \choose p-1} {n \choose p-1} \equiv 0 (\mbox{mod p}) .$$ I am expecting it to have a rather trivial proof. Thanks in advance for any...
  45. D

    I Help With a Proof using Contour Integration

    I am reading a proof in Feedback Systems by Astrom, for the Bode Sensitivity Integral, pg 339. I am stuck on a specific part of the proof. He is evaluating an integral along a contour which makes up the imaginary axis. He has the following: $$ -i\int_{-iR}^{iR}...
  46. Eclair_de_XII

    Am I using quotient spaces correctly in this linear algebra proof?

    %%% Assume that ##X/Y## is defined. Since ##\dim Y = \dim X##, it follows that ##\dim {X/Y}=0## and that ##X/Y=\{0\}##. Suppose that ##Y## is a proper subspace of ##X##. Then there is an ##x\in X## such that ##x\notin Y##. Let us consider the equivalence class: ##\{x\}_Y=\{x_0\in...
  47. J

    Confused with this proof for the Cauchy Schwarz inequality

    Im confused as finding the minimum value of lambda is an important part of the proof but it isn't clear to me that the critical point is a minimum
Back
Top