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

3
votes
1answer
54 views

How can I formalise a proof of this?

A question from a textbook: Take the interval $(a,b)$, split into thirds likewise: $$(a,b)=\Big(a,\tfrac{1}{3} (2a+b)\Big)\bigcup \Big[\tfrac13(2a+b),\tfrac13 (2b+a)\Big]\bigcup ...
2
votes
1answer
179 views

Discrete Math Proof By Cases Confusion

I am currently finishing up my Discrete Math course, and I just wanted to clear something up that has confused me for the past few days. My teacher posts answer keys to assigned homework problems ...
0
votes
5answers
164 views

Prove that if $B-C$ $\subseteq$ $A^c$then $A \cap B \subseteq C$

Let A, B and C three sets. Prove that if $B-C$ $\subseteq$ $A^c$then $A \cap B \subseteq C$ Im trying to prove this with sheer logic and not making use of De Morgans laws etc. Let $y \in ...
0
votes
1answer
66 views

Let A, B, C and D be four sets:

Prove that if $A \cup B$ $\space\subseteq $ $\space C \cup D$, $A \cap B$=$\emptyset$ and $C\subseteq A$, then $B \subseteq D.$ I tried working around with this for a while and reached this ...
1
vote
6answers
281 views

Prove that if $m^2 + n^2$ is divisible by $4$, then both $m$ and $n$ are even numbers.

Let $m$ and $n$ be two integers. Prove that if $m^2 + n^2$ is divisible by $4$, then both $m$ and $n$ are even numbers. I think I have to use the contrapositive to solve this. So I assume $\neg ...
3
votes
1answer
72 views

Sum of $N$ natural numbers is less than $N+2$, then each number is less than $3$.

Prove by contradiction: If the sum of $N$ natural numbers is less than $N + 2$ then each of these numbers is less than $3$. Attempt: I have to assume that the sum of $N$ natural numbers is greater ...
13
votes
1answer
193 views

Why are proofs written in first person plural? Were they ever written differently?

It's probably a silly question but it interests me when was the convention of writing proofs in first person plural introduced? Is there any historical examples of a different POV for proof writing?
0
votes
1answer
61 views

Is there a rule to justify the following logical statement?

I have to derive the following expression and reach the second one: $$\begin{gather} ( ( \forall x , Q \Rightarrow \neg P (x) ) \wedge ( \forall x, \neg Q \Rightarrow \neg P(x) ) ) \\ \iff \\ ( ...
1
vote
4answers
58 views

Prove that $A=B$

Let A and B be two subsets of some universal set. Prove that if $(A ∪ B)^c$ = $A^c ∪ B^c$, then $A=B$ ATTEMPT: Let y $\in (A ∪ B)^c$ this means that $y\notin A$ or $y\notin B$ which is equal to $A^c ...
1
vote
1answer
70 views

Does proving that a function is not in big O mean that the function is in big Omega?

If I determine that a function is not in Big O of another function, can you assume that the function is in big Omega of the same function?
0
votes
1answer
74 views

Gauss-Bonnet theorem question

I was wondering if someone here can give me a hand with the proof in the image below. This is not HW, just a brain-teaser I am working on. Prove. $2\pi \chi(M)=\sum\limits_{v_i}k(v_i)$
0
votes
1answer
100 views

Formal Definition of Limit and Proofs

I'm having trouble understanding the formal definition of a limit... Let $f(x)$ be defined on an open interval about $x_0$, except possibly at $x_0$ itself. We say that the limit of $f(x)$ as ...
0
votes
1answer
72 views

Models and their meaning in a proof of any formula

Behind the scenes all formula $\phi$, we must define a model, M = (F, P) over a Universe, where F = set of Functions and P = set of Predicates, on a table of free variables in $\phi$ ? Ie any $\phi$ ...
1
vote
2answers
68 views

Cantor-Schroder-Bernstein Contradiction

I need help figuring out where to start a proof that says I should use a proof by contradiction. $f\colon A\to B$ and $g\colon B\to A$ be functions and each is 1-1. Let $D$ be the range of $f$ (i.e., ...
0
votes
1answer
51 views

Every two consecutive integers are coprime.

I start with knowing that two numbers are coprime if: $n*k + m*j = 1$ So, setting $k = a$ and j = $a+1$ I can solve as follows: $n*a + m*a + a$ Then, $a(n+m) + m = 1$ Where can I go from here?
8
votes
3answers
130 views

What to look for in a proof?

I am a physics undergrad, wishing to pursue a PhD in Math. I am mostly self taught in the typical math undergrad curriculum. I am looking for more input, in ways I can improve my mathematical ...
0
votes
1answer
82 views

Proof polynomial is always divisible by number

Given $f(x) \in \mathbb{Z} [x] $ a polinomyal, that evaluated in any $a \in \mathbb{N} $, results allways in a multiple of 101 or a multiple of 107 (both prime numbers). Prove then, that $f(x)$ it's ...
0
votes
1answer
72 views

Let $a_1,a_2,\ldots,a_n$ be positive real numbers.Prove that… [duplicate]

Let $a_1,a_2,\ldots,a_n$ be positive real numbers.Prove that $$\lim_{x\to 0}\bigg(\dfrac{a_1^x+a_2^x+\cdots+a_n^x}{n}\bigg)^{\frac{1}{x}}=\sqrt[n]{a_1a_2\cdots a_n}$$ Got no clue where to begin from ...
1
vote
1answer
26 views

Prove Bijection in roots of unity function

Given $k \in \mathbb{N}, G_k = \{z \in \mathbb{C} |z^k =1 \} $. Probe that if $n$ and $m$ are coprime, the function $f: G_n \times G_m \rightarrow G_{mn}, f(\alpha, \beta) =\alpha\beta$ is bijective. ...
1
vote
1answer
60 views

Let $x$ be a real number. To prove…

Let $x$ be a real number. Define the sequence $(x_n)_{n\ge1}$ recursively by $x_1=1$ and $x_{n+1}=x^n+nx_n$ for $n\ge1$. Prove that, $$\prod_{n=1}^\infty \bigg(1-\dfrac{x^n}{x_{n+1}}\bigg)=e^{-x}$$ ...
1
vote
1answer
55 views

Question about convergence of a power series and when the series is not zero

Following is a past exam question I am trying to solve as a preparation for my own exam. Let $(a_n)_{n\in\mathbb{N}}$ be a sequence of real numbers with $a_n \leq M$ for some $M\in\mathbb{R}^{+}$ and ...
10
votes
6answers
309 views

How to explain that proof is important

I don't know if this is the right place to post this or not, but I will go ahead anyway (sorry if it ain't the right place) Yesterday I was discussing a particular theorem of geometry with my brother ...
1
vote
3answers
67 views

proof by contradiction $A ∩ (B - A)= \varnothing.$

Use the method of proof by contradiction to prove that if A and B are sets, then $$A ∩ (B - A)= \varnothing.$$ It says I have to use contradiction, but contradiction is the one I have a problem with! ...
0
votes
1answer
63 views

Linear algebra hw! Linear transformation

Let $T : V -> V$ be a linear transformation where V is a nite dimensional vector space. If rank(T) = rank$(T^2)$, prove that image(T)$\cap$Ker(T) = {0}. I have to give this hw to my prof this ...
1
vote
1answer
102 views

Prove or disprove: If $A$ and $B$ are denumerable, then $A - B$ is denumerable

Prove or disprove: If $A$ and $B$ are denumerable, then $A - B$ is denumerable Can someone give me a hint as to how to prove/disprove this? My instinct tells me that the claim is true. But I'm ...
3
votes
3answers
114 views

Proof for $\sinh(x-y)$

Basically I need to prove that $\sinh(x-y)=(\sinh x)(\cosh y)-(\cosh x)(\sinh y)$ I could use the fact that $\cosh$ is an even function and $\sinh$ is an odd. I can prove that: $$\sinh(x+y) = \sinh ...
4
votes
1answer
93 views

Combinatorial Identity Proof

What is a combinatorial proof for this identity: $1 \times 1! + 2 \times 2! + ... + n \times n! = (n + 1)! - 1$ I am trying to figure out what are both sides trying to count.
1
vote
4answers
64 views

Prove that $S = \left \{(x, y) \in \mathbb{N} \times \mathbb{R}: xy = 1 \right\}$ is denumerable

In the solutions, the proof begins by defining the function $f : S \rightarrow \mathbb{N}$ by $f(x,y)=x$ and goes on to show that $f$ is a one to one correspondence from $\mathbb{N}$ to $S$. However, ...
3
votes
3answers
74 views

Prove that if $A \subseteq B$, then $A \cup C \subseteq B \cup C$

Assume that $A, B, C$ are arbitrary subsets of $\mathbb{N}$. Prove that if $A \subseteq B$, then $A \cup C \subseteq B \cup C$ Proof: Asume that $A \subseteq B$, then there exists an $x \in ...
-1
votes
2answers
46 views

Math Proof Help

So I am supposed to add some condition to the original proposition to make it true but I do not know what condition I need to add. Original Proposition: If $x$ and $y$ are real numbers and $xy>0$, ...
1
vote
1answer
126 views

Logic Proof: Help Starting out

I am having some trouble starting off this proof. I am not sure if I need to prove by the contrapositive or if it is a direct proof. Prove: If $x, y,$ and $z$ are natural numbers such that ...
4
votes
2answers
118 views

learning how to write proofs properly

I am learning how to structure my proofs in such a way that others can read them with ease. It was pointed out to me several times on this site that my proofs are not very clear. Anyway, here goes: ...
0
votes
1answer
42 views

prove two different forms of the same uniqueness theorem are logically equivalent

One may take either of the statements below as a definition of $(\exists!x)(P_x)$, where $P_x$ is a predicate concerning the set $x$. Prove that they are logically equivalent. $$ (\exists x)(P_x) ...
1
vote
0answers
15 views

Disprove $\overline{\overline{A}} \leq \overline{\overline{B}}$ implies that $A \subseteq B$

Disprove $\overline{\overline{A}} \leq \overline{\overline{B}}$ implies that $A \subseteq B$ Counterexample: $A = \left \{1\right\}$ and $B = \left\{\varnothing\right\}$. $\overline{\overline{A}} = ...
2
votes
0answers
19 views

Prove that $(-\infty, b)$ for any $b \in \mathbb{R}$ has cardinality $c$

Prove that $(-\infty, b)$ for any $b \in \mathbb{R}$ has cardinality $c$ Proof: Define function $f: (-\infty, b) \rightarrow (-b, \infty)$ by $f(x) = -x$. Note that $f$ is one-to-one and onto because ...
1
vote
1answer
97 views

A polynomial is called a Fermat's polynomial…

A polynomial is called a Fermat polynomial if it can be written as the sum of the squares of two polynomials with integer coefficients. Suppose that $f(x)$ is a Fermat polynomial such that $f(0) = ...
1
vote
1answer
40 views

Prove if $a$ and $b$ are real numbers, and $a \neq b$ and $a > 0$, $b > 0$, then $\frac{(a+b)}{2} > \sqrt{ab}$

Prove if $a$ and $b$ are real numbers, and $a \neq b$ and $a > 0$, $b > 0$, then $\frac{(a+b)}{2} > \sqrt{ab}$ Using a backward proof: $\frac{(a+b)}{2} > \sqrt{ab}$ $\Rightarrow ...
3
votes
3answers
137 views

Still struggling with proofs. [closed]

How do you construct rigorous math proofs on your own? Also how do you verify? I am finishing up my first semester of undergraduate analysis and still am struggling with writing proofs. Even though I ...
-1
votes
1answer
46 views

Prove or disprove: If $B - A$ is nonempty, then $\overline{\overline{A}} < \overline{\overline{A \cup B}}$

Prove or disprove: If $B - A$ is nonempty, then $\overline{\overline{A}} < \overline{\overline{A \cup B}}$ Disprove (backwards proof): If $\overline{\overline{A}} < \overline{\overline{A \cup ...
0
votes
0answers
15 views

Prove or disprove: $\overline{\overline{A}} \leq \overline{\overline{B}}$ implies that $A \subseteq B$

Prove or disprove: $\overline{\overline{A}} \leq \overline{\overline{B}}$ implies that $A \subseteq B$ Disprove: Let $A = \left \{ 1 \right \}, B = \left \{ \varnothing \right \}$, then ...
0
votes
1answer
32 views

Fields and irreducible polynomial of $p^n$ degree

Let $K$ be a field of $p$ elements. Let $f(x) \in K [x]$ be an irreducible polynomial of degree $n$. Prove that the field $K[x]/(f(x))$ has $p^n$ elements. By given theorem, let $K$ be a field, ...
1
vote
1answer
72 views

What ring is the quotient $\mathbb{Z}[\sqrt{-11}]/(3,1+\sqrt{-11})$ isomorphic to?

Could anyone help me with this question? I've the feeling that the answer is $\mathbb{Z}/3\mathbb{Z}$, but I'm not sure at all and above all I don't know how to prove it. Thanks
-1
votes
2answers
86 views

prove that $f:X\rightarrow Y$ is surjective if and only if $f(f^{-1}(C))=C$

I need help with proving this: $f:X\rightarrow Y$ is surjective if and only if $f(f^{-1}(C))=C$ $C\subseteq Y$ Thanks.
2
votes
1answer
53 views

Prove c exists for f:[0,1] -> R

Suppose that a function $f:[0,1] \to \mathbb R$ is continuous in $[0,1]$. Prove that there is a point $c\in [0,1]$ such that $\int_0^1 x^2 f(x)\,dx = \frac{f(c)}{3}$. Do I somehow use the mean value ...
1
vote
2answers
78 views

For all infinite cardinals $\kappa, \ (\kappa \times \kappa, <_{cw}) \cong (\kappa, \in).$

I don't understand the proof to the a/m claim. How we know that $\eta < \kappa$ and $(\alpha,\beta)<_{cw} (0, \eta) $ and hence $h: \mu \to \eta \times \eta$ is injective? Appreciate if anyone ...
1
vote
4answers
55 views

check if $f(f^{-1}(D))=D$

I have to check whether $f(f^{-1}(D))=D$. I think this is not true but I'm stuck in my proof. Can somebody help me? Thanks in advance.
1
vote
2answers
59 views

Prove $r^n - s^n = (r-s)\sum_{j=0}^{n-1} r^js^{n-j-1}$ by induction

Prove $$r^n - s^n = (r-s)\sum_{j=0}^{n-1} r^js^{n-j-1} $$ $(1)$by induction. I've verified that $$n=1: r^1 - s^1 = (r-s)(r^0s{1-0-1}) = r-s$$ Assume $(1)$ is true for $n \le k$. That is $$r^k - s^k ...
0
votes
0answers
45 views

elegant proof of Radon–Nikodym theorem

Do you know about an elegant proof of Radon–Nikodym theorem, which is not as cumbersome as the usual ones?
0
votes
1answer
252 views

Prove or disprove: If $A \subseteq B$ and $B$ is denumerable, then $A$ is denumerable

Claim: If $A \subseteq B$ and $B$ is denumerable, then $A$ is denumerable Proof: Assume $A \subseteq B$ and $B$ is denumerable, then it follows that $B$ is countable. Every subset of a countable set ...
1
vote
2answers
95 views

How can you really be sure the contradiction didn't spring from the hypothesis?

This question may have a duplicate but I didn't find one. Given a proof by contradiction of a statement like $p \land q \implies r$. Which means (as i understand it): $p \land q \land \lnot r$ is ...