Category:Proof Wanted
Jump to navigation
Jump to search
These are pages containing theorems which do not have a proof posted.
See the {{ProofWanted}} template.
Pages in category "Proof Wanted"
The following 200 pages are in this category, out of 2,548 total.
(previous page) (next page)1
3
4
A
- Abel's Summation Formula/Corollary
- 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 Uniformly Convergent Product
- Absolutely Continuous Real Function has Derivative Almost Everywhere
- Absolutely Convergent Series/Examples/Arbitrary Example 1
- Acceleration of Particle moving in Circle at Constant Speed
- Acceleration of Particle moving in Circle at Constant Speed/Proof 2
- Acceleration of Point in Plane in Intrinsic Coordinates
- Acceptance Sampling/Examples/200
- Action in terms of Kinetic Energy
- Additive Group of Rational Numbers is not Finitely Generated
- 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
- Affine Subspace of 3 Dimensional Euclidean Space
- 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/Order n Real Square Matrices under Multiplication
- Algebra over Field/Examples/Vectors in 3-Space with Vector Product
- Algebraic Closure of Field is Unique
- Algebraic Closure of Rational Number Field is Algebraic Number Field
- Algebraic Closure of Real Number Field is Complex Number Field
- Algebraic Integers form Subring of Complex Numbers
- Algebraic Invariants for Group of Permutations of Variables
- Algebraic Multiplicity is not Less than Geometric Multiplicity
- 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
- Almost Sure Convergence implies Convergence in Probability
- Alternating Groups that are Ambivalent
- Analytic Basis is Analytic Sub-Basis
- Analytic Continuations to Two Sets do not necessarily Agree on Intersection
- Angle between Straight Lines in Space
- Angle of Tangent to Radius in Polar Coordinates
- Angles with Parallel or Perpendicular Arms are Equal or Supplementary
- Angular Momentum Commutation Rules
- Angular Speed of Rotation of Plane of Oscillation of Foucault's Pendulum
- Angular Speed of Rotation of Plane of Oscillation of Foucault's Pendulum/Examples/Oxford
- Anisotropic Vector Gives Composition of Bilinear Space
- Approximate Formula for Number of Partitions
- Approximate Motion of Compound Pendulum
- 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
- Arc Length of Right Parabolic Segment
- Arc-Connectedness is Equivalence Relation
- 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 Smallest Rectangle accommodating Re-Entrant Knight's Tour
- Area of Smallest Square accommodating Re-Entrant Knight's Tour
- Area of Spherical Lune
- Area of Spherical Polygon
- Area of Spherical Triangle
- Area of Surface of Revolution
- Area of Surface of Revolution/Parametric Form
- Area of Surface of Revolution/Polar Form
- Area of Zone of Sphere
- Arens Square is not Urysohn
- Arens Square is Semiregular
- Arens Square is T2.5
- Arnauld's Paradox
- Arrow Paradox
- Arrow's Impossibility Theorem
- Arzelà's Dominated Convergence Theorem
- Astroid is Envelope of Line Segment whose End Points lie on Coordinate Axes
- Asymptote to Strophoid
- Asymptotes of Cruciform 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 Fresnel Cosine Integral Function
- Asymptotic Expansion for Fresnel Sine Integral Function
- Asymptotic Expansion for Gauss Error 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
- 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/Hausdorff Space
- Baire Characterisation Theorem
- 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
- Basis (Hilbert Space)/Examples/L-2 Space over Interval of Zero to Two Pi
- Basis Expansion of Rational Number
- Basis for Open Ordinal Topology
- Bellman's Principle of Optimality
- Bendixson-Dulac Theorem
- Benford's Law
- 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 is Continuous and Positive on Positive Reals
- Bieberbach Conjecture
- Big-O Notation for Sequences Coincides with General Definition
- Bilinear Mapping of Algebra over Field is not necessarily Commutative
- Bin Packing Problem is NP-Hard
- Bing's Metrization Theorem
- 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
- Blancmange Function is Continuous but not Differentiable
- Blaschke-Lebesgue Theorem
- Bloch's Theorem
- Body in Free Fall moves in Parabolic Path
- Bonferroni Inequalities
- Bonnet-Myers Theorem
- Boolean Algebra can be Associated with Boolean Ring with Unity
- Boolean Algebra can be Associated with Boolean Ring with Unity/Examples/Power Set
- Boolean Prime Ideal Theorem
- Boolean Prime Ideal Theorem/Proof 3
- Borel-Bott-Weil Theorem
- Borel-Cantelli Lemma in Probability
- 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 Line in Nested Rectangle Space is Component
- Boundary of Mandelbrot Set is Fractal
- Boundary of Mandelbrot Set is Self-Similar
- Bounded Variation/Examples/x cos 1 over x
- 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
- Branch Point of Complex Multifunction/Examples/Logarithm of z
- Branches of Conchoid of Nicomedes are Asymptotic to Directrix
- Brianchon's Theorem
- Brianchon's Theorem is Projective Dual to Pascal's Theorem
- Brouwer's Fixed Point Theorem/General Case
- Brouwer's Fixed Point Theorem/Two-Dimensional Version
- 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 Function is Differentiable Almost Everywhere
- Cantor Function is Everywhere Continuous
- Cantor Function is not Absolutely Continuous
- Cantor Function is Uniformly Continuous
- Cantor Function/Graph
- Cantor's Leaky Tent is Connected
- Cantor's Leaky Tent is Punctiform
- Cantor's Leaky Tent is Totally Pathwise Disconnected