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

1
vote
4answers
45 views

proof by induction: sum of binomial coefficients

Question: Prove that the sum of the binomial coefficients for the nth power of $(x + y)$ is $2^n$. i.e. the sum of the numbers in the $(n + 1)^{st}$ row of Pascal’s Triangle is $2^n$ i.e. prove ...
1
vote
2answers
24 views

Question with this proof

The integer $m$ is odd if and only if there exists q $\in \mathbb{Z}$ such that $m=2q+1$ I know that $m$ is even if 2|n, and $n$ is odd if $n$ is not even. I also know the division algorithm, which ...
3
votes
0answers
57 views

My first simple direct proof (very simple theorem on real numbers). Please mark/grade.

What do you think about my first simple direct proof? What mark/grade would you give me? Besides, I am curious about whether you like the style. Theorem Let $I = [a,b]$ be a non-empty closed ...
0
votes
0answers
12 views

Writing a proof that a certain algorithm generates the correct transition matrix for a quantum walk?

Regarding quantum walks, I have a transition matrix $M$ and a particle vector $P$ and I have determined that the elements of $M$ have to be positioned in a certain way so that the position of the ...
2
votes
0answers
24 views

On ambiguity in statements expressed in natural language, where the statements use an indefinite article, e.g. “a”.

Please consider the following example statements and judge the meaning of the article "a". Example: A house is a building. Example: A house is being built next to our house. In example 1, "a" is ...
1
vote
2answers
46 views

Prove for a simple graph that $n-1 \leq m \leq \frac{n(n-1)}{2}$

For a given simple (that is neither loops nor multiple edges are allowed) undirected graph, where $m$ is the number of edges and $n$ is the number of vertices that the following inequality holds. ...
2
votes
0answers
38 views

My first proof employing strong induction / complete induction (very simple number theory). Please mark/grade.

What do you think about my first proof employing strong induction? What mark/grade would you give me? Theorem Every natural number greater than 1 is a product of one or more primes. Proof First, ...
17
votes
3answers
664 views

My first induction proof (very simple number theory). Please mark/grade.

What do you think about my first induction proof? Please mark/grade. Theorem The sum of the cubes of three consecutive natural numbers is a multiple of 9. Proof First, introducing a predicate ...
3
votes
0answers
49 views

Proof for the form of characteristic polynomial

I'd like to proof: The caracteristic polynomial of $A \in M(n\times n, K)$ has the form: $P_A(\lambda) = (-1)^n \lambda^n + (-1)^{n-1} \operatorname{tr}(A)\lambda^{n-1} +\dots +\det(A)$ My proof ...
3
votes
1answer
48 views

Functional form of a solution to a Differential Equation (Euler-Lagrange)

Let $f=f(q(t),\dot q(t),t)$, where $q(t)=\{q_1(t),...,q_N(t) \}=\{q_{a}\}_{a=1}^N$ and $\dot q:=\frac{dq}{dt}$. I want to show that if the following equations (Euler-Lagrange) are satisfied ...
0
votes
1answer
15 views

Are these Cartesian Product equalities true?

Let $A, B, C, D$ be sets. (i): (A x B) $\cup$ (C x D) = (A $\cup$ C) x (B $\cup$ D) (ii): (A x B) $\cap$ (C x D) = (A $\cap$ C) x (B $\cap$ D) I have to prove these later for homework if true, and ...
1
vote
1answer
56 views

Show that if $R$ is a strict partial order on $X$, and $R$ is not linear, then there exists a strict partial order $R'$ and $R' \supsetneqq R$.

Question: Show that if $R$ is a strict partial order on $X$, and $R$ is not linear, then there exists a strict partial order $R'$ and $R' \supsetneqq R$. My attempt: By definition 6.23,6.3.1, and ...
2
votes
0answers
39 views

Help needed in understanding a proof

Claim: Let $M$ be a $R$-module ($R$ is an integral domain) and $p \in R$ be a prime. Suppose there exists non-empty finite subsets $B$ and $C$ of $M \backslash\{0\}$ such that $M= \bigoplus_{m \in ...
0
votes
1answer
23 views

If f(n)∈Ω(n) how do I prove or disprove f(n)∈O(n)

If f(n)∈Ω(n) how do I prove f(n)∈O(n) I feel it is true, but not sure how to show it the way I see it c1*n =< f(n) =< c2*n holds, but so confused on how to show it
0
votes
0answers
22 views

GCD and LCM Property

Let D = $\mathbb R + X\mathbb C[X]$ Show that $GCD(X, iX) = \mathbb R^\times$ and $LCM(X, iX) = \emptyset$ I have an outline of what to do but don't exactly know who to show all of it... First, ...
0
votes
0answers
10 views

Domain GCD Property

Let D be a domain and $\emptyset \subset A \subseteq D^*$ $d \in GCD(A)$ if and only if (d) is a minimum among the principal ideals containing (A) If $d \in GCD(A)$ then d|a for all $a \in A$ and ...
1
vote
0answers
24 views

How to prove that $FC/FA + GC/GA= 0$ from this triangle problem?

In triangle $ABC$, a transversal line intersects $AB$, $BC$, $CA$ at $D,E,F$ respectively. $BS$ intersects $AC$ at $G$, where $S$ is the intersection of $AE$ and $CD$. How to prove that ...
1
vote
1answer
34 views

Splitting field in multiple field extension

Let $F\subset K\subset E$ be fields, $f(x)\in F[x]$. E is the splitting field of $f(x)$ over $F$. Prove $E$ is the splitting field of $f(x)$ over $K$. My problem with this proof is that I do not know ...
1
vote
0answers
35 views

How to prove these equations base on this following interior and exterior angle bisectors problem?

In the triangle $\triangle ABC$, length of $BC$ is larger than length of $AC$. The interior angle bisector of $\angle C$ intersects $AB$ at $D$; and the exterior angle bisector of $\angle C$ ...
1
vote
1answer
50 views

Prove thoroughly: If the degree of all vertices is greater or equal to $\frac{|V| - 1}{2}$, then the simple graph is connected.

I am struggling to write a good, thorough proof. The proof is supposed to be logically rigorous, correct and complete (e.g. no hidden assumption). Moreover, style is important - the proof should be ...
0
votes
2answers
34 views

Should I create two distinct proofs? [*Soft question*]

This is a soft question, and if it is of poor quality, just let me know. As a method of improving my proofing abilities, should I make it habit to go about proving something twice. What I mean by ...
0
votes
1answer
49 views

Proof for a function $m:2^S\to R$

Let $S$ be a finite, non-empty set and $m:2^S\to R$ a function with the following properties $M1$: $\forall A\in2^S, m(A)\ge0$ $M2$: $\forall A, B\in 2^S, A\cap B=\varnothing\Longrightarrow m(A\cup ...
0
votes
1answer
17 views

Property of GCD in ring

Let D be a domain and $\emptyset \subset A \subseteq D^*$ Show that CD(A)={$d\in D$ | $(A)\subseteq (d)$} I know that I'll need to show both containments to show that the two statements are ...
2
votes
0answers
29 views

Strict rules for determining whether defined objects are necessarily distinct - related to mathematical writing.

I am not a native speaker and I very often wonder whether there are rules (which are still unknown to me) for determining the exact meaning of mathematical statements/sentences. Currently, for many ...
0
votes
0answers
27 views

Need help on analytically proving the monotonicity of an inexplicit integral

I have the following function which I have numerically investigated to be monotonically increasing in $\nu$: $D(x;\mu,\nu) =\frac{1}{\sqrt{2\pi \cdot \nu}}\int_{-\infty}^{\infty}e^{-\theta \cdot x} ...
0
votes
0answers
33 views

Big-O and Big-Omega Proof

Trying to refresh my memory on proofs, I got a feeling this is true but can't remember how to prove it: If f(n)∈Ω(n) how do I prove f(n)∈O(n) Thanks for help (I do remember definitions of big omega, ...
0
votes
2answers
70 views

Combinatorics proof of “sum of (k choose m) with k from m up to n is equal to n+1 choose m+1”

I've already proved this statement algrebraically. I'm asked to prove it with combinatorics. So far I came up with, LHS= # ways to choose m apples from a total of m,m+1,...,n RHS= # ways to choose ...
0
votes
1answer
40 views

GCD Domain Proof

Let $D = \mathbb{R} + X \mathbb{C}[X]$ Show that $\gcd_D(X^2,iX^2)=\emptyset $ Here is my plan so far... (and my questions) Suppose $f \in \gcd_D(X^2,iX^2) $. How do I show that because X is ...
0
votes
1answer
21 views

Analytic, never zero on domain D graph and its local max. min

If $f$ is analytic and never zero on domain D, then $|f(z)|$ has no local minimum or maximum. Now, If I use the fact that $|f(z)|\leq$ max $|f(z+re^{it})|$ ($0\leq t\leq 2\pi$), then I can show ...
4
votes
7answers
555 views

How do I show that the set of odd natural numbers is closed under the operation * defined by a*b=a+b+ab?

I really need help with this question. I am required to show that the set of odd natural numbers is closed under the operation * defined by a*b=a+b+ab, and I'm not quite sure how. Any work/help is ...
0
votes
0answers
11 views

How to prove that angle EDL is same with angle ELD in the following triangle problem?

Given: triangle ABC with angle A equal with 60 degree. We choose points D and M at AC, points E and N at AB, such that DN perpendicular to AC and EM perpendicular to AB. If L is midpoint of MN, ...
2
votes
1answer
39 views

Beta function proof

Show that : $$\beta \left( x,n\right) =\dfrac {\left( n-1\right) !}{x\left( x+1\right) \left( x+2\right) ....\left( x+n-1\right) }$$ My attempt : $$\beta \left( x,n\right) =\dfrac {\Gamma \left( ...
0
votes
1answer
49 views

Proof: $ker(g) \subset ker(f)$ ..

Let $V = \mathbb{R}_{\le 3} [x]$ with basis $ B = (1, x, x^2, x^3)$. And $f: V \to \mathbb{R}, p \to \int_{-1}^1 p(x) dx$ and $g: V \to \mathbb{R}^3, p \to ^t( p(-1), p(0), p(1) )$. (1) I had to ...
1
vote
0answers
20 views

Show equivalence corresponding Nulls of function.

I'd like to show that the following two propositions are equivalent: (1) $f \in \mathbb{R}[x]$ has a multiple Null, so it's $\ge 2$. (2) $f$ and $f'$ have a common Null, whereas $f'$ describes the ...
0
votes
1answer
22 views

Proving two cosets are either equal or disjoint

I have a proof that I must produce, but I'm a little unsure of how to structure it, as I don't have a great deal of practice in forming rigorous proofs. We have, G the group of 2x2 invertible ...
3
votes
2answers
52 views

How to prove the formula of altitude from this following triangle?

Given: Right triangle $\triangle ABC$ with $A$ as right angle. If $t_A$ is altitude that drawn from point $A$ to $\overline{BC}$, called $\overline{AD}$. Prove that $t_A = ...
0
votes
0answers
28 views

Prove that $s \not= \emptyset $ by showing that at least one of $|a|$ or $|b|$ is an element of $S$.

. I'm trying to show an alternative proof to Bezout's Lemma (let $a, b \in \mathbb{Z}$, then there exists $x,y \in \mathbb{Z}$ such that $gcd(a, b) = ax + by$). Heres one of the steps in proving it: ...
1
vote
1answer
41 views

Cauchy's integral formula used on circle

If $\gamma$ is a piecewise, smooth, positively oriented simple closed curve in $D$, then Cauchy's formula states that $f(z)=1/2\pi i\int_\gamma {f(a)\over {a-z}}$. My textbook also stated that for ...
0
votes
2answers
35 views

Irreducible elements and Associates

Show that, in a domain, every associate of an atom is an atom. An atom is the same thing as an irreducible element. I think these two facts will be important to prove this statement: A nonunit ...
0
votes
1answer
41 views

How to prove that $DE=EF +DG$ from this following triangle problem?

Given a right triangle $ABC$, where $C$ is a right angle. We choose points $G$ at $AC$ and $F$ at $BC$, and $D$ and $E$ at $AB$. We draw right triangles $AGD$ and $EBF$, such that $\angle AGD= ...
1
vote
2answers
57 views

Having Trouble Forming Mathematical Proof

I'm having trouble forming a mathematical proof for a question. I can write down thousands of examples with various values of n that shows it's correct, but I'm not ...
0
votes
1answer
25 views

Possible metric space

$d_m$ is defined on $\Bbb R^2$ as such: $d_m(x,y) = max \lbrace|x_1 - y_1| , |x_2 -y_2| \rbrace $ where $x=(x_1,x_2) , y = (y_1 ,y_2)$ Which I have the task of proving whether or not the above s a ...
0
votes
2answers
20 views

Congruent iff Same Remainder (CISR) Confusion

I was reading through a proof of the following proposition: $ a \equiv b \mod{m} $ if and only if a and b have the same remainder when divided by m I came across a statement that I didn't quite ...
1
vote
1answer
36 views

How to show whether a statement is true or false(Example question inside)?

So I'm reading How to Read and Do Proofs by Solow and I'm on the exercises now. So far it has been good but I'm stuck on how to answer a question. There are no answers for even numbered questions in ...
2
votes
1answer
53 views

Metric Spaces: The dist function

Given that $A$ is defined as non-empty subset of $(X,d)$ The distance function is defined as such: $dist(x,A)=$ inf $_{y\in A} \lbrace d(x,y) \rbrace $ Given the above we are asked to prove the ...
1
vote
2answers
33 views

Show the equivalence: $ab|c \iff a|c$ and $b|c$

Let $a,b \in \mathbb{Z}$ \ {$0$} with $gcd(a, b) = 1$ and let $c \in \mathbb{Z}$. Show the equivalence: $ab|c \iff a|c$ and $b|c$ Also give an example of numbers $a,b \in \mathbb{Z}$ \ {$0$} and ...
0
votes
2answers
35 views

How would I prove for all a that a divides zero

I'm trying to prove for all a such that a divides zero. I can explain verbally why it works but I can't seem to be able to write it down in "proof" form. Could someone help me out?
3
votes
2answers
56 views

Proving the associativity of a monoid with $a \circ b = a+b-ab$

For university, it was my excercise to proof the associativity of the monoid $$H=(\mathbb{Q},\circ)\text{ with } a \circ b := a+b-ab\quad(a,b \in \mathbb{Q})$$ The excercise instructor gave us the ...
0
votes
1answer
24 views

Need help finding a formula for this sequence

A sequence $(x_j)^\infty_{j=0}$ satisfies $x_1=1$, and for all $m \ge n \ge 0 $ $x_{m+n}+x_{m-n} = \frac12 (x_{2m}+x_{2n})$. I have to find a formula for $x_j$ and then I can prove that later for ...
0
votes
3answers
68 views

Proving a function is a one to one correspondence

I understand that to show a function is a one to one correspondence, you have to show that the function is both one to one and onto. Proving a function is one to one seems simple enough. However for ...