# Category:Proof Wanted

Jump to navigation
Jump to search
(previous page) (next page)

These are pages containing theorems which do not have a proof posted.

See the `{{ProofWanted}}`

template.

## Subcategories

This category has only the following subcategory.

### C

## Pages in category "Proof Wanted"

The following 200 pages are in this category, out of 2,179 total.

(previous page) (next page)### 1

### 3

### 4

### A

- Abel's Summation Formula
- Abel's Test
- Abel's Test for Uniform Convergence
- Abel-Plana Formula
- Abel-Ruffini Theorem
- Absolute Error of Sum is not Greater than Sum of Absolute Errors
- Absolute Value of Trigonometric Function
- Absolute Value of Uniformly Convergent Product
- Absolutely Convergent Series/Examples/Arbitrary Example 1
- Acceleration of Particle moving in Circle
- Acceleration of Point in Plane in Intrinsic Coordinates
- Acceptance Sampling/Examples/200
- Action in terms of Kinetic Energy
- Additivity of Riemannian Length of Admissible Curve
- Admissible Curve in Riemannian Manifold has Unique Forward Reparametrization by Arc Length
- Admissible Family of Curves Symmetry Lemma
- Aleph-Null is Smallest Infinite Cardinal Number
- Alexander Polynomial is a Knot Invariant
- Alexandroff Extension of Rational Number Space is Sequentially Compact
- Algebra Defined by Ring Homomorphism is Algebra
- Algebra of Propositions is Boolean Algebra
- Algebra over Field/Examples/2x2 Matrices under Multiplication
- Algebra over Field/Examples/Vectors in 3-Space with Vector Product
- Algebraic Closure of Field is Unique
- Algebraic Invariants for Group of Permutations of Variables
- Algebraic Numbers form Field
- Algorithm to determine whether Polynomial Diophantine Equation has Integer Solution
- Algorithmic Complexity/Examples/Multiplication of Square Matrices
- All Nontrivial Zeroes of Riemann Zeta Function are on Critical Strip
- Almost All Real Numbers are Absolutely Normal
- Almost All Real Numbers are Normal
- Alternating Groups that are Ambivalent
- Alternating Sum and Difference of Factorials to Infinity
- Ampère's Force Law
- Ampère-Maxwell Law
- Analytic Basis is Analytic Sub-Basis
- Angle is not Invariant under Affine Transformation
- Angle of Tangent to Radius in Polar Coordinates
- Angles with Parallel or Perpendicular Arms are Equal or Supplementary
- Angular Momentum Commutation Rules
- Angular Momentum of Particle moving with Constant Circular Motion
- Angular Speed of Particle in Circular Motion at Constant Speed
- Angular Speed of Rotation of Plane of Oscillation of Foucault's Pendulum
- Anisotropic Vector Gives Composition of Bilinear Space
- Approximate Formula for Number of Partitions
- Approximate Motion of Compound Pendulum
- Approximate Size of Sum of Harmonic Series
- Approximation by Taylor Polynomials
- Apéry's Constant in terms of Central Binomial Coefficients
- Apéry's Theorem
- Arc Length of Curve in Polar Coordinates/Function of Angle
- Arc Length of Curve in Polar Coordinates/Function of Radius
- Are All Perfect Numbers Even?/Progress/Form
- Are All Perfect Numbers Even?/Progress/Minimum Size
- Are All Perfect Numbers Even?/Progress/Prime Factors
- Are All Triperfect Numbers Even?/Progress/Form
- Are All Triperfect Numbers Even?/Progress/Minimum Size
- Are All Triperfect Numbers Even?/Progress/Prime Factors
- Area of Circle
- Area of Circle/Proof 7
- Area of Lateral Surface of Cylinder
- Area of Smallest Rectangle accommodating Re-Entrant Knight's Tour
- Area of Smallest Square accommodating Re-Entrant Knight's Tour
- Area of Spherical Lune
- Area under Curve
- Arnauld's Paradox
- Arrow Paradox
- Astroid is Envelope of Line Segment whose End Points lie on Coordinate Axes
- Asymptotes of Cruciform Curve
- Asymptotes of Kappa Curve
- Asymptotes to Rectangular Hyperbola in Standard Form
- Asymptotic Distribution/Examples/Arbitrary Example 1
- Asymptotic Expansion for Complementary Error Function
- Asymptotic Expansion for Cosine Integral Function
- Asymptotic Expansion for Error Function
- Asymptotic Expansion for Exponential Integral Function/Formulation 1
- Asymptotic Expansion for Fresnel Cosine Integral Function
- Asymptotic Expansion for Fresnel Sine Integral Function
- Asymptotic Expansion for Sine Integral Function
- At Least One Third of Zeros of Riemann Zeta Function on Critical Line
- Atiyah-Singer Index Theorem
- Atlas is Contained in Unique Maximal Atlas
- Atom of Countably Generated Sigma-Algebra is Measurable
- Attractors of Mandelbrot Set
- Autocorrelation Matrix is Positive Definite
- Autocovariance Matrix is Positive Definite
- Automorphism Group of Complex Numbers over Real Numbers
- Axes of Symmetry for Ellipse
- Axes of Symmetry for Ellipsoid
- Axes of Symmetry of Hyperbola
- Axes of Symmetry of Kappa Curve
- Axiom of Choice is Independent of ZF
- Axiom of Choice/Examples/Russell's Socks and Shoes

### B

- B-Algebra/Examples/S3
- Baer's Criterion
- Baire Category Theorem/Corollary
- Baire Category Theorem/Corollary/Proof 2
- Baire Characterisation Theorem
- Banach Space Valued Function is Analytic iff Weakly Analytic
- Banach Space/Examples/Square-Integrable Real-Valued Mappings
- Banach-Tarski Paradox/Lemma 1
- Banach-Tarski Paradox/Lemma 2
- Barbier's Theorem
- Bases of Finitely Generated Free Module have Equal Cardinality
- Basic Inequality/One-Sided Shift Space of Finite Type
- Basis (Hilbert Space)/Examples/L-2 Space over Interval of Zero to Two Pi
- Basis (Hilbert Space)/Examples/Real Vector Space
- Basis (Hilbert Space)/Examples/Space of Square Summable Mappings
- Basis Expansion of Rational Number
- Basis for Open Ordinal Topology
- Basis Representation is No Longer than Number
- Bendixson-Dulac Theorem
- Bernoulli's Hanging Chain Problem
- Bessel Function of the First Kind for Imaginary Argument
- Best Approximation from Below to 1 as Sum of Minimal Number of Unit Fractions
- Beta Function as Integral of Power of t by Power of 1 minus t over Power of r plus t
- Beta Function is Continuous and Positive on Positive Reals
- Bieberbach Conjecture
- Big-O Notation for Sequences Coincides with General Definition
- Bing's Metrization Theorem
- Binomial Distribution Approximated by Normal Distribution
- Binomial Form of Relation between Riemann Zeta Function and Dirichlet Eta Function
- Binomial Theorem/Approximations/1st Order
- Binomial Theorem/Approximations/2nd Order
- Binomial Theorem/Extended
- Binomial Theorem/Hurwitz's Generalisation
- Biot-Savart Law
- Biot-Savart Law/Proof
- Birkhoff's Ergodic Theorem
- Blaschke-Lebesgue Theorem
- Bloch's Theorem
- Body behaves as Particle under Gravitation
- Body in Free Fall moves in Parabolic Path
- Bonferroni Inequalities
- Bonnet's Recursion Formula
- Bonnet-Myers Theorem
- Boolean Prime Ideal Theorem
- Boolean Prime Ideal Theorem/Proof 2
- Boolean Prime Ideal Theorem/Proof 3
- Borel-Bott-Weil Theorem
- Borell-TIS Inequality
- Borsuk Null-Homotopy Lemma
- Borsuk Null-Homotopy Lemma/Corollary
- Borsuk-Ulam Theorem
- Bott-Milnor-Kervaire 1,2,4,8 Theorem
- Bound on Riemannian Distance Inside Coordinate Neighborhood
- Bound on Riemannian Distance Outside Coordinate Neighborhood
- Boundary of Mandelbrot Set is Fractal
- Boundary of Mandelbrot Set is Self-Similar
- Bounds for Weierstrass Elementary Factors
- Bounds of Riemannian Metric by Euclidean Metric on Euclidean Space
- Bounds on Number of Odd Terms in Pascal's Triangle
- Box Topology may not form Categorical Product in the Category of Topological Spaces
- Branches of Conchoid of Nicomedes are Asymptotic to Directrix
- Brianchon's Theorem
- Brianchon's Theorem is Projective Dual to Pascal's Theorem
- Brouncker's Formula
- Brouwer's Fixed Point Theorem/General Case
- Brun's Theorem
- Buffon-Laplace Problem
- Burnout Velocity of Upward Rocket under Constant Gravity
- Burnside's Theorem
- Bézout's Theorem

### C

- Canonical Basis of Free Module on Set is Basis
- Canonical Homomorphism to Polynomial Ring is Ring Monomorphism
- Cantor's Paradox
- Carathéodory's Theorem (Measure Theory)
- Carathéodory's Theorem (Measure Theory)/Corollary
- Cardinality is Additive Function
- Cardinality of Set of All Mappings
- Cardinality of Set of All Mappings/Infinite Sets
- Carmichael's Theorem
- Cartan-Hadamard Theorem
- Cartesian Equation of Conchoid of Nicomedes
- Cartesian Form of Continuous Moment of Inertia
- Cartesian Form of Discrete Moment of Inertia
- Cartesian Form of Moment of Inertia about Axis of Rotation
- Cartesian Product of Mappings is Continuous iff Factor Mappings are Continuous
- Cartesian Product of Unions/General Result
- Catalan's Conjecture