# Category:Handwaving

Jump to navigation
Jump to search

These are pages containing proofs that contain handwaving arguments.

See the handwaving template.

## Pages in category "Handwaving"

The following 109 pages are in this category, out of 109 total.

### C

- Cantor-Bernstein-Schröder Theorem
- Cantor-Bernstein-Schröder Theorem/Proof 1
- Cantor-Bernstein-Schröder Theorem/Proof 4
- Definition:Card Game with Bluffing
- Cardinality of Infinite Union of Infinite Sets
- Circle Group is Group/Proof 2
- Closure of Subset of Metric Space by Convergent Sequence
- Combination of Recursive Functions
- Complex Conjugate of Gamma Function
- Complex Roots of Unity in Exponential Form
- Definition:Conditional Preference
- Definition:Constructed Semantics/Instance 2/Factor Principle
- Definition:Constructed Semantics/Instance 2/Rule of Addition
- Definition:Constructed Semantics/Instance 2/Rule of Commutation
- Definition:Constructed Semantics/Instance 3/Factor Principle
- Definition:Constructed Semantics/Instance 4/Factor Principle
- Definition:Constructed Semantics/Instance 4/Rule of Addition
- Definition:Constructed Semantics/Instance 5/Rule of Addition
- Content of Scalar Multiple
- Continued Fraction Expansion of Irrational Square Root/Examples/2
- Continuously Differentiable Curve has Finite Arc Length
- Convergent Sequence with Finite Number of Terms Deleted is Convergent
- Cook-Levin Theorem
- Cosine of Integer Multiple of Argument/Formulation 9
- Countably Compact First-Countable Space is Sequentially Compact
- Countably Compact First-Countable Space is Sequentially Compact/Proof 2

### D

### E

- Edge is Minimum Weight Bridge iff in All Minimum Spanning Trees
- Egorov's Theorem
- Equation of Catenary/Whewell
- Equation of Plane Wave/Direction Cosine Form
- Equivalence of Definitions of Change of Basis Matrix
- Equivalence of Definitions of Real Exponential Function/Limit of Sequence implies Extension of Rational Exponential
- Equivalence of Definitions of Second Chebyshev Function
- Equivalence Relation induced by Congruence Relation on Quotient Structure is Congruence/Corollary
- Euler Phi Function by Argument is Injective
- Existence and Uniqueness of Direct Limit of Sequence of Groups/Lemma 3

### F

### I

- Indexed Union Equality
- Inequality of Hölder Means
- Infinite Lexicographic Order on Well-Ordered Sets is not Well-Ordering
- Integer which is Multiplied by 9 when moving Last Digit to First/Corollary
- Integral Form of Gamma Function equivalent to Euler Form
- Integral Form of Gamma Function equivalent to Euler Form/Proof 1

### L

- Least Upper Bound Property
- Least Upper Bound Property/Proof 1
- Lebesgue Measure is Diffuse
- Lexicographic Order on Products of Well-Ordered Sets
- Limit of Sine of X over X at Zero
- Limit of Sine of X over X at Zero/Geometric Proof
- Limsup and Liminf are Limits of Bounds
- Linear Combination of Integrals/Definite
- Linear Combination of Integrals/Definite/Proof 2
- Linear Combination of Measures

### N

### P

- Polynomials Closed under Addition/Polynomials over Ring
- Polynomials Closed under Ring Product
- Prim's Algorithm produces Minimum Spanning Tree
- Principal Ideal of Principal Ideal Domain is of Irreducible Element iff Maximal
- Principal Ideal of Principal Ideal Domain is of Irreducible Element iff Maximal/Reverse Implication
- Probability Generating Function defines Probability Distribution
- Product Rule for Counting

### R

### S

- Set of Finite Subsets under Induced Operation is Closed
- Set of Successive Numbers contains Unique Multiple
- Sine of Integer Multiple of Argument/Formulation 9
- Smooth Homotopy is an Equivalence Relation
- Solution to Card Game with Bluffing
- Soundness Theorem for Semantic Tableaux
- Strictly Positive Real Numbers under Multiplication form Uncountable Abelian Group
- Subgroup of Additive Group of Integers Generated by Two Integers
- Subgroup of Solvable Group is Solvable
- Subgroup of Solvable Group is Solvable/Proof 2