0
votes
3answers
26 views

Help to prove $(A \times B)\cup (C \times D) \subseteq (A\cup C) \times (B\cup D)$

Prove $(A \times B)\cup (C \times D) \subseteq (A\cup C) \times (B\cup D)$ My attempt: $\begin{align} (x,y) \in (A \times B) \cup (C \times D) & \Rightarrow & (x,y) \in (A \times B) \vee ...
0
votes
2answers
26 views

Proof for combination using a specific definition

Suppose $n,k,\in\mathbb{Z}$ and $0\leq k \leq n $ prove using the following definition: if n and k are integers then $\binom{n}{k}$ denotes the number of subsets that can be made by choosing k ...
1
vote
1answer
32 views

Proof that P is an Orthogonal Projection

I'm studying linear algebra using Axler's text and am stuck on 6.17. The problem is: Prove that if $P \in \mathcal{L}(V)$ is such that $P^2 = P$ and every vector in $\operatorname{null} P$ is ...
0
votes
3answers
83 views

Proving Riemann Sums via Analysis

Exercise $\bf 5.1.7$: Suppose $f:[a,b]\to\Bbb R$ is Riemann integrable. Let $\epsilon\gt0$ be given. Then show that there exists a partition $P=\{x_0,x_1,\ldots,x_n\}$ such that if we pick any set ...
2
votes
3answers
154 views

Proof that $\int \frac{1}{x}$ is $\ln(x)$

When I was learning Calculus AB and Calculus II/III at my high school, I noticed that our textbooks never gave a full fundamental proof that $\int \frac{1}{x}$ is $\ln(x)$, and rather said that when ...
29
votes
5answers
3k views

Is it okay to reverse engineer proofs in homework questions?

In a linear algebra text book, one homework question I received was: Prove that $\mathbf{a \cdot b} = \frac{1}{4}(\|\mathbf{a + b}\|^2 - \|\mathbf{a - b}\|^2)$. Where $\mathbf{a}$ and ...
1
vote
1answer
58 views

Proof by contradiction: logarithm

I need to prove by contradiction that $\log_2(3)$ is irrational. I'm really unfamiliar with logs to be honest, it's been awhile since I've done them and I'm unsure of how to approach this. Any help ...
0
votes
3answers
40 views

Proof by contradiction proving both numbers are not odd.

I have to do a proof by contradiction: Suppose $a,b,\in\mathbb{Z}$. If $4| (a^2 + b^2)$ then a and b are not both odd. So far I know that I need to prove that if $4|(a^2+b^2)$ then a and b are both ...
3
votes
2answers
65 views

Prove $A = (A \setminus B) \cup (A \cap B)$

Prove $A = (A \setminus B) \cup (A \cap B)$ Logically, this is clearly true. I can explain why: start with $A$, remove all elements in $B$ and then add in any elements in both $A$ and $B$, which ...
4
votes
0answers
93 views

Saddle Points on Matrices

Let $n$, $m$ be positive integers. Suppose that $A$ is a $2$ x $n$ or an $m$ x $2$ matrix and that it has a saddle point. Show that among the saddle points of $A$ there exists at least one which ...
0
votes
0answers
28 views

Matrix Saddle Points and Dominance

I was teaching myself about dominance relations and saddle points after a friend of mine started discussing it with me and how it can be used in games. I wanted to know how to prove a problem like ...
0
votes
1answer
33 views

Proof regarding division with a remainder

Let $a\in\mathbb{Z},n\in\mathbb{N}$. If $a$ has a remainder $r$ when divided by $n$, then $a\equiv r\pmod n$ I've done some of these questions before with modulus and division, but I'm unsure of how ...
2
votes
5answers
61 views

Proof regarding divisibility

if $n\in\mathbb{Z}$, then $4$ does not divide $(n^2 - 3)$ I'm not sure how to approach this question, I know how to do questions that involve proving that it does divide but I'm unsure of how to do ...
0
votes
2answers
23 views

Modulus related proof help

I need to prove this via either direct proof, or contrapositive. Unsure of the best way to approach this. if $a \equiv b\mod n$ and $c \equiv d\mod n$, then $ac \equiv bd\mod n$ So far I have: ...
2
votes
1answer
33 views

Set difference between power sets

Show that if $A$ and $B$ are sets then $\varnothing \notin \mathcal P(A) − \mathcal P(B)$ . My Attempt: If $A$ and $B$ are sets, then $ \varnothing \subseteq A $ since the empty set is subset of ...
7
votes
4answers
573 views

What is the correct way of disproving a mathematical statement?

This question is motivated by my midterm exam. In this exam there was a question as follow: Question: If the following statement is true, prove it, otherwise disprove it. If $\mathbf{u}$ and ...
6
votes
4answers
651 views

The role of 'arbitrary' in proofs

Generally, when one is going to prove a result regarding a set of elements, they begin their proof with those first few pleasing words: "Suppose...is an arbitrary element in..." My question is, why ...
1
vote
0answers
40 views

What is the relationship between division and proving an integer is odd?

I am trying to use proof by contradiction to prove: $101$ is an odd integer. I know that the first step is to assume that $101$ is even, so: $101 = 2q, q \in \mathbb{Z}$ Then I am stuck. I don't ...
2
votes
2answers
94 views

How to prove that the law of the excluded middle is necessary?

This is a follow up question to this answer by Carl Mummert to the question whether every proof with contradiction can also be proved without contradiction. As Carl Mummert pointed out, there are ...
1
vote
1answer
23 views

Prove that every subgraph of forest has at least one vertex of degree < 2

So I know that a forest is a graph that has no cycles. This is what I had in mind: Assume that we have the subgraph T, which has two options: to be connected or not. if it's connected it has to be a ...
0
votes
1answer
49 views

Winning or Non-losing strategy for A or B

Find a winning or a non-losing strategy for the following game: Consider $25$ sticks arranged in a $5$ x $5$ square. Players alternately take any number of sticks from a single row or column. At ...
2
votes
1answer
32 views

$\frac{|| \overline{AM}||}{|| \overline{AB}||}=\frac{|| \overline{AN}||}{|| \overline{AC}||}=\frac{|| \overline{MN}||}{|| \overline{BC}||}$

$\Delta ABC$ is a triangle, $M$ is a point in the segment $\overrightarrow{AB}$ and $N$ is a point in the segment $\overrightarrow{AC}$, such that $\overrightarrow{MN}$ is parallel to ...
1
vote
3answers
62 views

Use induction to prove that $2^n$ divides $(2n)!$ for any $n\in\mathbb{Z}_{\geq0}.$ [duplicate]

Use induction to prove that $2^n$ divides $(2n)!$ for any $n\in\mathbb{Z}_{\geq0}.$ How would you do the inductive step for this proof? I have the base case done.
1
vote
5answers
45 views

Matrix Power Formula

Prove that for a fixed $a \in \mathbb{R}$ we have the matrix power formula for all $n \in \mathbb{Z}_+$: $$\begin{pmatrix}a & 1\\0 & a\end{pmatrix}^n = \begin{pmatrix}a^n & ...
0
votes
4answers
146 views

Singleton sets are a subset

I am tasked with prove the following elementary result. I am concerned about being rigours enough in my proof: $$a\in S \iff \{a\} \subseteq S $$ My Attempt: Suppose $\{a\} \subseteq S $ . Then ...
2
votes
3answers
71 views

Beginner Proof about Primes

I am interested in understand the proof of infinitely many primes. It seems like quite an easy proof, ( I know there are many but I am referring to the proof that goes as follows); " Suppose there ...
0
votes
2answers
61 views

How would this problem need the Mean Value Theorem?

I'm asked to square the inequality and use the Mean Value Theorem to prove that $$\sqrt{1+x} < 1 + \frac{x}{2}$$ for $x>0$. Unfortunately, I don't really understand why I would need such a ...
0
votes
0answers
25 views

U-substitution proof by partitions

I am trying to prove integration by substitution, i.e. for $f:[c,d] \rightarrow \mathbb{R}$ continuous and $\phi: [c,d] \rightarrow [a,b]$ continuous on $[c,d]$ and $C^1$ on $(c,d)$. Then define ...
2
votes
1answer
43 views

Proving a theorem on limits

I need to prove that: If $$\lim_{(x,y) \to (a,b)}f(x,y)= 0 \text{ and } g(x,y)\leq k,$$ then: $$\lim_{(x,y) \to (a,b)}f(x,y) g(x,y) =0.$$ My approach is like follow: ...
0
votes
0answers
19 views

complete logic for proving inequalities

Last semester I took a course on algorithm analysis a big part of which was proving that the running time function of a program was in the set $O(f(x))$ for some $f$. To prove $f\in O(g(x))$ one ...
1
vote
2answers
41 views

Show a double-sided infinite integral of $\sin(x+b)$ exists iff $b=n\pi$

More formally: Show that $$\lim_{a\rightarrow \infty} \int_{-a}^a \sin(x+b)$$ exists if and only if $b=n\pi$ for some $n \in \mathbb{Z}$. I get the intuition fine. The function is just a horizontal ...
4
votes
0answers
71 views

Proving u-substitution the hard way — use only definition of integration with partitions

I am trying to prove integration by substitution, i.e. for $f:[c,d] \rightarrow \mathbb{R}$ continuous and $\phi: [c,d] \rightarrow [a,b]$ continuous on $[c,d]$ and $C^1$ on $(c,d)$. Then define ...
2
votes
0answers
31 views

Velleman's How to prove it. Partial order proof.

Theorem: Suppose that $R$ is a partial order on $A$, $B_1 ⊆ A$, $B_2 ⊆ A$, $x_1$ is the least upper bound of $B_1$, and $x_2$ is the least upper bound of $B_2$. Prove that if $B_1 ⊆ B_2$ then ...
0
votes
2answers
44 views

Suppose $F$ and $G$ are families of sets.

Suppose $F$ and $G$ are families of sets. Prove that $\bigcup F$ and $\bigcup G$ and are disjoint iff for all $A∈F$ and $B∈G$ , $A$ and $B$ are disjoint. It has been suggested to use contrapositive ...
2
votes
2answers
28 views

Proofs involving Well-Defined and One-to-One

Chartrand, 3rd Ed, P224-225: Define a relation $R$ as a relation from A to B. $R$ is well-defined means: $(a,b), (a,c) \in R \implies b = c$. P220: A function $f: A \to B$ is one-to-one ...
0
votes
2answers
37 views

I know the limit of a subsequence exists, but how do I find it?

I know intuitively that for: $(a_n) = (1,1,2,1,2,3,1,2,3,4, ...)$ for any $m$ in the positive natural number there is a subsequence (m,m,m,..) that tends to m as n tends to infinity. I believe I ...
0
votes
1answer
28 views

Converse of DIC

I am looking to prove the converse of the Divisibility of Integer Combination. I know how to prove the contrapositive of this statement but not the converse ... any help? Below is my attempt at ...
0
votes
0answers
31 views

Show if this is integrable (defined 1 on rationals, 0 else)

Define $f: [0,1] \rightarrow \mathbb{R}$ as $f(x) = \begin{cases} 0 & x \in \mathbb{Q} \\ 1 & x \notin \mathbb{Q} \end{cases}$ Find $\underline{\int_0^1f}$ and $\overline{\int_0^1f}$. Is ...
2
votes
1answer
46 views

The Fundamental Theorem of Calculus and Derivatives

How do I show this in a convincing manner? I know I need to use the Fundamental Theorem of Calculus, but I find it difficult to show any steps in between, as it appears obvious?
1
vote
1answer
24 views

Inequalities involving x and y.

I am asked to prove: $(x-y)^3 \ge x^3-3x^2y$ where $x,y$ are real and $0 < y < x$ I am told Bernoulli's inequality may help. I have however reduced this to $3xy^2 - y^3 \ge 0$. I have ...
0
votes
2answers
26 views

How to prove something at Normal distribution

$X\sim N(\mu,\sigma^2)$. $A,B$ are constants and $A\ne0$. How to prove that $AX+B\sim N(A\mu+B,A^2\sigma^2)$ ? Thank you!
38
votes
7answers
2k views

When working proof exercises from a textbook with no solutions manual, how do you know when your proof is sound/acceptable?

When working proof exercises from a textbook with no solutions manual, how do you know when your proof is sound/acceptable? Often times I "feel" as if I can write a proof to an exercise but most ...
0
votes
1answer
32 views

double implication proof

How would I go about said proof: I know how to do it with just a single logical equivalence, but how would I prove a double implication?
3
votes
5answers
78 views

Difference between bound and free variable

What is the difference between $\forall x (P(x)\implies Q(x))$ and $P(x)\implies Q(x)$ I know in the first one the variable x is bound but in the second one the variable is free. What are the ...
3
votes
2answers
79 views

Proof of $ \phi(n) = \sum_{n|d} \mu(d) \cdot\frac nd $

I'd like to prove $\phi(m)=\sum_{m|d}\mu(d)\cdot\frac md$. If I'm right then we have for euler-phi $\phi(n) = \sum_{m \leq n,\gcd(m,n)=1} 1$ Which means: as long as $m$ is less or equal than $n$ ...
2
votes
2answers
37 views

How to prove something at Uniform distribution…

$X\sim U (0,1)$. The point $X$ divides $[0,1]$ to two parts. $Y=\frac{\text{The big part}}{\text{The small part}}$. ($Y$ is the ratio... $Y\ge1$). What is the density function of $Y$? I'd like to ...
2
votes
2answers
21 views

Mustn't both left and right inverses be checked? [Lay P160 Ch 2 Sup Q4]

Question: Suppose $A^n = 0$ matrix for some $n > 1$. Find an inverse for $I - A$. Solution: From P160 Supplementary Exercise 3, the inverse of $I-A$ is probably $I+A+A^{2}+...+A^{n-1}$. To ...
0
votes
2answers
21 views

Help proving this Proposition

For every natural number $n$, the integer $6^{2n+1}+8^{3n}$ is divisible by 7. I handled the base case quite well, but got stuck on the induction step. Any help would be greatly appreciated.
1
vote
2answers
57 views

Help with a proof I can't quite

Let $(F_j)^\infty_{j=1}$ be the sequence of Fibonacci numbers. For all $n \in \mathbb{N}$, $\sum\limits_{k=1}^{2n-1}F_kF_{k+1}=(F_{2n})^2$. I handled the base case quite well but couldn't go very ...
0
votes
1answer
37 views

Question about the Least squares method

We have $n$ dots: $(x_1,y_1)\cdots (x_n,y_n)$. We know that if we use the Least squares method we will get a line $y=mx+b$ that giving the minimal value for the function $w=\sum_{i=1}^n ...