User:Z423x5c6/add something

From ProofWiki
Jump to navigation Jump to search

Zero and One are the only Consecutive Perfect Squares

(generalize?)

Complex Numbers as External Direct Product

(explain)

Category:Quaternion Modulus

(refer to Category:Complex Modulus)

Quaternion Modulus is Norm

Quaternion Modulus of Product of Quaternions

Triangle Inequality/Quaternions

Definition:Modulus of Quaternion-Valued Function

Classification of Small Groups

Groups of Order Twice a Prime

Groups of Order 12

Trigonometric Functions in terms of each other

(add something)

Ceva's Theorem

Definition:P-Norm

Lagrange's Four Square Theorem

Hyperbolic Sine is Bijection over Reals

Lamé's Theorem

(We need at most $5$ steps to reduce the number of digits by $1$, and some marginal cases to be handled. Have some difficulties to write it out rigorously...come back later...)

The proofs should be easy

Double Orthocomplement is Closed Linear Span

Number of Abelian Groups