For questions about the writing of proofs. But instead of focusing the mathematics behind the proof, these questions ask about the details and implementation of the proof.

learn more… | top users | synonyms

0
votes
2answers
28 views

Prove that the vectors $v_1,v_2,\ldots,v_k \operatorname{span}R^n$ if and only if $[v_1]_B,[v_2]_B,\ldots,[v_k]_B \operatorname{span}R^n$.

From section on Change of Basis $\longrightarrow$ Assume the vectors $v_1,v_2,\ldots,v_k\operatorname{span}R^n$, we must show that $[v_1]_B,[v_2]_B,\ldots,[v_k]_B\operatorname{span}R^n$. We can ...
0
votes
2answers
21 views

How to quantify this statement

How do I quantify this statement? Let $x \in \mathbb{R}$. $1 \le x \le 2$ if and only if $1 \le x \le 1+ 1/n$ for some $n \in \mathbb{N}$. When I am trying to prove this, I am led (in the course of ...
3
votes
0answers
27 views

Cauchy-Euler Equation of order $n$

What I wish to prove is that for a Cauchy-Euler equation of order $n$, the substitution $x=e^{t}$ transforms it into a linear differential equation with constant coefficients. To put it as a theorem: ...
1
vote
1answer
37 views

Prove for all $ n \in N,gcd(2n+1,9n+4)=1$

Question: Prove for all $ n \in N,gcd(2n+1,9n+4)=1$ Attempt: I want to use Euclid's Algorithm because it seemed to be easier than what my book was doing which was manually finding the linear ...
1
vote
1answer
35 views

Is there a more concise way?

I am currently trying to prove Taylor's Theorem, this is the proof I am given: I am finding this very long and hard to follow, can anyone give me a more concise, clear proof? Thanks
0
votes
3answers
62 views

Having trouble understanding Cantors proof that real numbers are uncountable

I found this video very easy to follow and understood the proof. https://www.youtube.com/watch?v=mEEM_dLWY0g However, I am still having trouble understanding the proof presented to me in my csmath ...
1
vote
1answer
38 views

Proving the chain rule by first principles

I'm currently trying to prove: $(f(g))'(a)=f'(g(a))*g'(a)$ I have been given a proof which manipulates: $f(a+h)=f(a)+f'(a)h+O(h)$ where $O(h)$ is the error function. However, I would like to have a ...
1
vote
3answers
62 views

Prove determinant of $n \times n$ matrix is $(a+(n-1)b)(a-b)^{n-1}$? [duplicate]

Prove $\det(A)$ is $(a+(n-1)b)(a-b)^{n-1}$ where $A$ is $n \times n$ matrix with $a$'s on diagonal and all other elements $b$, off diagonal.
0
votes
3answers
11 views

conditional Probability proof with inequalities

Let A, B be events taken from a sample space Ω (with Pr(A) > 0 and Pr(B) > 0). If Pr(B|A) < Pr(B), prove that Pr(A|B) < Pr(A). I am a bit confused with this one. Any help would be appreciated. ...
0
votes
2answers
12 views

Proof that in any base $b$, the result of multipling two numbers of $k$ digits, doesn't recuire more than $2k$ digits

The proof that I came up whit is: Let, $c$ be $b^0 r_0+ b^1 r_1+b^2 r_2+...+b^k r_k$ and $d = b^0 r_0'+ b^1 r_1'+b^2 r_2'+...+b^k r_k'$ then multipling both: $$(b^0 r_0+ b^1 r_1+b^2 r_2+...+b^k ...
0
votes
2answers
16 views

Proof that in any base, the sum of two numbers of fixed precision can't have carry more than 1

The best proof that I came with is, given any base $b$, let $c$ be the greatest number can be written whit $n$ digits. Then the number will be: $$c=b^0(b-1)+b^1(b-1)+\cdots +b^n(b-1)$$ Summing this ...
-1
votes
0answers
20 views

Suppose f:A to B. Suppose that C subset A and D subset B. Prove or give a counter example: f (c) subset D iff C subset f^-1(D) [on hold]

Suppose f:A to B. Suppose that C subset A and D subset B. Prove or give a counter example: f (c) subset C iff C subset f^-1(D)
2
votes
2answers
34 views

Proving corollary to Euler's formula by induction

I'm currently looking at two proofs to the following corollary to Euler's formula and I'm not quite seeing how the authors can make a specific assumption in their proof. One proof comes from my ...
1
vote
1answer
34 views

Prove that if graph $G$ is a 3-connected planar graph then its dual must be simple.

I'm trying to study for a quiz. I think I'm on the right track with this problem, however, I'm having a difficult time formalizing it. Prove that if graph $G$ is a 3-connected planar graph then its ...
2
votes
1answer
32 views

What does $g(f(x))=x$ imply?

Let $f: X\rightarrow Y$ and $g:Y\rightarrow X$ be functions such that $g(f(x))=x$ for all $x\in X$. (a) Prove that $f$ is injective. (b) Prove that $g$ is surjective. (c) Give an example of a pair ...
1
vote
0answers
15 views

If $X$ is a finite set of cardinality $n$, where $n$ exists in $P$, show that the following conditions on a function $f: X \to X$ are equivalent: [duplicate]

(a) $f$ is an injection (b) $f$ is a surjection (c) $f$ is a bijection I know that (c) implies (a) and (b) and (a) and (b) imply (c). I also have the following definition that I've been playing ...
1
vote
2answers
30 views

fourier series analysis, show that for every integer n, using euler's formulas relating trigonometric and exponential functions

Show that for every integer $n$, $$\int_0^{\pi} \cos nt~\sin t~\mathrm{d}t = \begin{cases} \dfrac{2}{1-n^2} & \text{if } n \text{ is even} \\[10pt] 0 &\text{if } n \text{ is odd} ...
0
votes
4answers
60 views

Prove that (integer + non-integer) never equals an integer.

My question is how do you prove that given an integer $x$ and a number $y$, the only way for $x + y$ to be an integer is if $y$ is also an integer. I can see how to prove by induction that an integer ...
2
votes
1answer
30 views

Showing that if derivative is 0, function is constant ($f: U \rightarrow \mathbb{R}$ where $U \subset \mathbb{R}^n$)

Here's the question: Suppose that $f: U \rightarrow \mathbb{R}$ is differentiable on the open subset $U\subset \mathbb{R}^n$, and $Df(x) =0$ for all $x\in U$. Show that $f$ is constant on $U$. My ...
0
votes
0answers
8 views

prove where $f(x,y) = \sqrt{|x| + |y|}$ is differentiable and is not differentiable [duplicate]

Classify where $f(x,y) = \sqrt{|x| + |y|}$ is differentiable -- where it's not, prove it, and where it is, prove it. For $x\neq 0$ and $y\neq 0$, we can just treat it as $f(a,b) = \sqrt{a+b}$ (where ...
5
votes
1answer
77 views

For $n\ge4$, prove that $1!+2!+\cdots+n!$ cannot be the square of a positive integer

I'm trying to prove this by induction but seem to be getting nowhere.
-2
votes
1answer
28 views
0
votes
1answer
21 views

Is a cascaded chaotic system is still chaotic?

I am curious whether a new system which cascades two individual chaotic systems is always chaotic. My feeling says if two chaotic systems $S_1$ and $S_2$ satisfying the constraints that $${\rm ...
0
votes
1answer
34 views

Suppose that the sequence of prices{$p_k$} converges to a limiting price $\bar p$. What must $\bar p$ be?

We let $Q_k$ denote the supply of commodity, $D_k$ the demand for the commodity, and $p_k$ the price at $k$-th time. The demand depends on the current price, $D_k = a + b p_k$ and the supply depends ...
0
votes
1answer
41 views

General conceptual confusion relating to vacuous proofs and quantifier help

I need to prove the statement: Let $x \in \mathbb{R}$. Prove that $1 \le x \le 2$ if and only if $1 \le x \le 1+ 1/n$ for some $n \in \mathbb{N}$. So I start with the forward implication: If $1 ≤ ...
3
votes
6answers
73 views

Proving $\gcd \left(\frac{a}{\gcd (a,b)},\frac{b}{\gcd (a,b)}\right)=1$

How would you go about proving that $$\gcd \left(\frac{a}{\gcd (a,b)},\frac{b}{\gcd (a,b)}\right)=1$$ for any two integers $a$ and $b$? Intuitively it is true because when you divide $a$ and $b$ by ...
0
votes
0answers
62 views

Prove that a certain graph and its dual are 4-colorable

Let $G$ be a simple planar graph with fewer than 12 faces. Suppose that each vertex of $G$ has degree at least $3$. prove that $G$ and its dual are 4-colorable. I'm not too sure how to approach ...
0
votes
0answers
6 views

Determining the minimal number of axis to test against in the SAT (Separating Axis Theorem)

Most implementations of the SAT algorithm I've seen involve testing each axis in either shape being tested against for collisions. But I recently implemented the SAT algorithm in python and noticed ...
1
vote
0answers
47 views

Power Set, Bijection Function, Equivalence Relation

Let $S$ be a set and $P(S)$ the power set of $S$. For sets $A,B⊆P(S)$, we say that $A \sim B$ if there exists a bijective function $f: A \rightarrow B$. Show that $\sim $ is an equivalence relation.
0
votes
2answers
23 views

discrete fourier transform proof (show equals n*I)

Let $w=e^{(-2\pi i/n)}$. Let $W$ be an $n \times n$ matrix defined by $$ W = \begin{pmatrix} 1 & 1 & 1 & 1 & \cdots & 1 \\ 1 & w & w^2 & w^3 & \cdots & ...
1
vote
1answer
18 views

basic conditional probability proof

I having trouble with the following proof: $$P((A \cap B) \mid B) = P(A\mid B).$$ I get that $P(A\mid B) = P(A \cap B) / P (B)$, but I am unsure of how to proceed.
2
votes
0answers
81 views

Prove $f_\infty: A_\infty \rightarrow B_\infty$ is a bijection

I am using the Cantor-Schroder-Beenstein Theorem to prove $f_\infty: A_\infty \rightarrow B_\infty$ is a bijection. The cases of $f_+: A_+ \rightarrow B_+$ and $f_-: A_- \rightarrow B_-$ being ...
5
votes
2answers
189 views

Is (the proof of) Fermat's last theorem completely, utterly, totally accepted like $3+4=7$?

If a mathematician would/does make use of Fermat's last theorem in a proof in a publication, would s/he still make use of some kind of caveat, like: "assuming Fermat's last theorem is true" or ...
0
votes
2answers
45 views

Sum of the eigenvalues

if $V$ is a finite-dimensional vector space and $t \in \mathcal L (V,V) $is such that $t^2 = id_V$ prove that the sum of eigenvalues of t is an integer. I started the prove as such: Let $\lambda_1 ...
1
vote
1answer
21 views

Show that $R \cap R^*$ and $R \cup R^*$ are equivalence relations.

Let $R$ be a reflexive and transitive relation on a set $S$. Let $R^*$ be the dual relation, $(a,b) \in R^*$ if and only if $(b,a) \in R$. Show that $R \cap R^*$ and $R \cup R^*$ are equivalence ...
0
votes
1answer
31 views

What is the formal meaning of “determine” in Baby Rudin 2.40?

In Theorem 2.40, Rudin talks about a $k$-cell $I$ formed by the intervals $[a_1, b_1], \ldots, [a_k, b_k]$. We split each interval at its midpoint $c_j = \frac{a_j + b_j}{2}$ and end up with $2k$ ...
0
votes
4answers
47 views

Help with a certain proof

For all $x,y \in \mathbb{R} - \{0\}$, $(xy)^{-1}=x^{-1}y^{-1}$. I was wondering how I could solve this.
1
vote
1answer
33 views

How to write a proof that uses combinatorics?

Imagine you have this trivial problem: How many ways can n people pick two flavours from a choice of k flavours (with no repetition on the flavours). Suppose that you think the answer is ${k \choose ...
0
votes
1answer
53 views

When proving things how do I defer choosing a values?

The best example is what I've just tried to prove. Usually I do these proofs in 2 or 3 passes, or draw a margin to separate notes. In the example I want to defer picking an $\epsilon_f$ and ...
0
votes
3answers
35 views

Let $x,y \in \mathbb{R}_{>0}$. If $x<y$ then $0<1/y<1/x$.

I came across a proof in my textbook and was wondering how to solve it: Let $x,y \in \mathbb{R}_{>0}$. If $x<y$ then $0<1/y<1/x$.
0
votes
2answers
41 views

Show that $A^{(x,y)}$ is countable.

Question: Let $A$ be a countable set $A^{(x,y)}$ the set of all functions from $(x,y)$ to $A$. Show that $A^{(x,y)}$ is countable. My attempt: By proposition 7.1.2iii, $\mid B \mid^{\mid A \mid}$ ...
1
vote
1answer
27 views

The Open Set $X-\lbrace x \rbrace$

I am task with proving the following: if $x \in X$ then $X- \lbrace x \rbrace $ is an open set I kind of have an idea but I am unsure about it and how to express it. I was thinking about using the ...
0
votes
0answers
25 views

Equal fields and dimension

Let $K \subseteq L$ be fields. Show that K=L if and only if $dim_k L=1$ I know that I will have to show both directions of the implication. I'm very new to the topic of fields so I'm still ...
0
votes
3answers
39 views

Proof that $X^C \cap Y^C= \;(X \cup Y)^c$

Proof that if $X \subset S,\; Y\subset S,\;$ then $\;X^C \cap Y^C= \;(X \cup Y)^c:$ It must be shown that the two sets have the same elements, that each element of the set on the left is an element ...
2
votes
2answers
59 views

Could this linear algebra proof be done without computation?

From page 95 of Hoffman & Kunze's Linear algebra: Let $T$ be the linear operator on $\mathbb{R}^2$ defined by $T(x_1,x_2)=(-x_2,x_1)$ Prove that if $B$ is any ordered basis ...
1
vote
0answers
37 views

Show that this is not differentiable at any point in $\mathbb{R}$

Define $\phi: \ \mathbb{R} \rightarrow \mathbb{R}$ by $$ \phi(x) = \begin{cases} x\ :\ 0\le x\le \frac{1}{2}\\ 1-x :\ \frac{1}{2} \le x \le 1 \end{cases}$$ And then extend ...
0
votes
3answers
35 views

What is this problem stating? And how to prove this?

$$\exists! x : A(x) \Rightarrow \exists x : A(x)$$ Assuming that $A(x)$ is an open sentence. I'm new to abstract mathematics and proofs, so I came here to ask for some simplification. Thanks
0
votes
0answers
14 views

Field Extensions Identities

I'm working on proving some identities but I need some help clarifying the notation and what exactly each statement is saying. Prove the following identities. (a) $K(A) = QF (K[A])$ (b) $R[A_1 ...
2
votes
1answer
49 views

Proof negation in Gentzen system

I am provided with the L¬ and R¬ Gentzen rules for negation (besides “Cut” rule and some rules for ⋀ and →): $${\Gamma\vdash\Delta,\varphi\over \Gamma,\lnot\varphi\vdash \Delta}\ L\lnot \\[4ex] ...
1
vote
2answers
88 views

Show there are a pair of sentences where the first says the second is provable and the second says the first is unprovable

Given $B_1(y)$ and $B_2(y)$ in the language of arithmetic, show there are sentences $G_1$ and $G_2$ such that: $$\vdash_Q G_1 \leftrightarrow B_2(\ulcorner G_2 \urcorner)$$ $$\vdash_Q G_2 ...