Questions tagged [proof-writing]
For questions about the formulation of a proof. This tag should not be the only tag for a question and should not be used to ask for a proof of a statement.
16,103 questions
0
votes
1
answer
27
views
Conjecture: a constant-free equation is solvable in a group $G$ if and only if it is solvable in its generating set $B$ for any $G=\langle B\rangle$
Conjecture.
Let $G$ be a group and $B$ any set of generators for $G$. That is to say $G = (G, \cdot) = \langle B \rangle$. Then for any equation $E=F$ in $G$ that is constant-free, we have that $E=...
- 22.7k
3
votes
6
answers
238
views
Seeking different ways you can find $x=8$ in $(x-6)^3 = x^{\frac{1}{3}}+6$
I thought about the problem of finding an x such that
$$
(x-6)^3 = x^{1/3} + 6
$$
for a secondary-school class, in a context where students were studying functions and their inverses. They eventually ...
- 5,362
2
votes
1
answer
103
views
Help Revising a 2-Column Proof for Euclid's Elements I.7
This is my working 2-column proof for Book 1 Proposition 7. I would be remiss in saying that this is completely foolproof. One question is how we are to formulate a proof by contradiction within the ...
- 115
1
vote
0
answers
54
views
Any easier ways to prove an explicit form for a generated $\sigma$-algebra besides transfinite induction?
This question is a follow-up to an answer to a previous question, and motivated by my laziness in not wanting to learn about transfinite induction or how to write proofs using transfinite induction ...
- 1,716
9
votes
3
answers
681
views
Can you prove equality of two expressions by setting them equal in an equation? [closed]
Suppose I have two expressions, and I wish to prove that they are equal to each other. Must I perform algebraic operations on one of the expressions in an attempt to reach the other one? Or perhaps ...
- 93
5
votes
0
answers
95
views
The exact meaning of ‘subject to that’ in this context
In the following sentence from the paper (see Page 4, the proof of Lemma 3.4) (see the paper in https://doi.org/10.1016/j.disc.2023.113431) on extremal graphs:
Let $G$ be an edge-extremal graph in ...
- 2,815
2
votes
1
answer
46
views
Upper-bounded version of the Gale-Ryser theorem
The standard Gale-Ryser theorem is for the existence of a $(0,1)$-matrix given exact row sums $R = (r_1, \dots, r_K)$ and exact column sums $C = (c_1, \dots, c_M)$. What if we relax the column sums ...
1
vote
0
answers
69
views
Motivation for constructing auxiliary functions in a proof that $f(x) \to0$ given a differential inequality
I'm working on a problem in analysis and I understand the steps of the proof for one of its cases, but I'm struggling to understand the motivation behind the specific construction used. I'd appreciate ...
- 11
-3
votes
1
answer
87
views
"where" in math text [closed]
I read somewhere that using the word "where" in the text immediately after an equation is not good style in math prose. Instead, the statement you might make after the word "where" ...
- 239
1
vote
2
answers
137
views
Proof writing standard: English vs Symbols. What's better? [closed]
I’m new to proof writing. For a general proof, I’ve come across books writing proofs by use of formal grammar and math. Take this common textbook example,
(1) Proposition: If $x$ is even, then $x^2$ ...
- 61
0
votes
1
answer
103
views
Is an "algebraic proof" considered to be its own category type of proof?
If we have a proof for the derivation of a formula, which primarily relies on substituting terms with equivalent terms and simplifying them (i.e. combining like terms and using the addition, ...
- 265
1
vote
1
answer
91
views
Uniform Continuity Real Analysis Proof
Let $a < b < c < d$ be real numbers, and suppose $f : (a, d) \to \Bbb{R}$ is a function such that $f$ is uniformly continuous on $(a, c)$ and also uniformly continuous on $(b, d)$. Prove that ...
0
votes
1
answer
65
views
What are the dihedral angles that an inscribed tetrahedron makes with its cube?
Inscribe a regular tetrahedron in a cube. What dihedral angles do its faces make with the faces of the cube?
Proposed Solution: The angles formed fall into two categories:
Where their intersection ...
- 6,499
0
votes
1
answer
168
views
How to develop a cone into a sector using synthetic geometry only?
Consider a right circular cone with radius $r$ and slant height $s$. Its surface area is
$$
A = \pi r s.
$$
Proof: It suffices to show that the cone can be sliced and unwrapped, without deformation, ...
- 6,499
0
votes
0
answers
109
views
Demonstration of $ \left( 1+\varepsilon \right)^{x}\ge1+x\varepsilon $
consulting:
Proof by induction of Bernoulli's inequality $ (1+x)^n \ge 1+nx$
Simil Bernoulli inequality for induction
I follow a proccedure on we Let $ \varepsilon\gt-1 $ and $ x $ a positive ...
