Law (mathematics)


In mathematics, a law is a formula that is always true within a given context. Laws describe a relationship, between two or more expressions or terms, usually using equality or inequality, or between formulas themselves, for instance, in mathematical logic. For example, the formula is true for all real numbers , and is therefore a law. Laws over an equality are called identities. For example, and are identities. Mathematical laws are distinguished from scientific laws which are based on observations, and try to describe or predict a range of natural phenomena. The more significant laws are often called theorems.

Notable examples

Geometric laws

with equality only in the degenerate case of a triangle with zero area. In Euclidean geometry and some other geometries, the triangle inequality is a theorem about vectors and vector lengths :
where the length of the third side has been replaced by the length of the vector sum. When and are real numbers, they can be viewed as vectors in, and the triangle inequality expresses a relationship between absolute values.
Pythagorean theorem: It states that the area of the square whose side is the hypotenuse is equal to the sum of the areas of the squares on the other two sides. The theorem can be written as an equation relating the lengths of the sides a, b and the hypotenuse c, sometimes called the Pythagorean equation:

Trigonometric identities

Geometrically, trigonometric identities are identities involving certain functions of one or more angles. They are distinct from triangle identities, which are identities involving both angles and side lengths of a triangle. Only the former are covered in this article.
These identities are useful whenever expressions involving trigonometric functions need to be simplified. Another important application is the integration of non-trigonometric functions: a common technique which involves first using the substitution rule with a trigonometric function, and then simplifying the resulting integral with a trigonometric identity.
One of the most prominent examples of trigonometric identities involves the equation which is true for all real values of. On the other hand, the equation
is only true for certain values of, not all. For example, this equation is true when but false when.
Another group of trigonometric identities concerns the so-called addition/subtraction formulas, which can be used to break down expressions of larger angles into those with smaller constituents.

Algebraic laws

The Cauchy–Schwarz inequality states that for all vectors and of an inner product space
where
is the inner product. Examples of inner products include the real and complex dot product; see the examples in inner product. Every inner product gives rise to a Euclidean norm, called the or , where the norm of a vector is denoted and defined by
where is always a non-negative real number. By taking the square root of both sides of the above inequality, the Cauchy–Schwarz inequality can be written in its more familiar form in terms of the norm:
Moreover, the two sides are equal if and only if and are linearly dependent.

Combinatorial laws

Logical laws

  • not = and
  • not = or where "A or B" is an "inclusive or" meaning at least one of A or B rather than an "exclusive or" that means exactly one of A or B. In formal language, the rules are written as where P and Q are propositions,
  • Negation| is the negation logic operator,
  • Logical conjunction| is the conjunction logic operator,
  • Logical disjunction| is the disjunction logic operator,
  • If and only if| is a metalogical symbol meaning "can be replaced in a logical proof with", often read as "if and only if". For any combination of true/false values for P and Q, the left and right sides of the arrow will hold the same truth value after evaluation.
The three Laws of thought are:
  • The law of identity: 'Whatever is, is.' For all a: a = a.
  • The law of non-contradiction : 'Nothing can both be and not be.'
  • The law of excluded middle: 'Everything must either be or not be.' In accordance with the law of excluded middle or excluded third, for every proposition, either its positive or negative form is true: A∨¬A.

    Phenomenological laws

is an observation that in many real-life sets of numerical data, the leading digit is likely to be small. In sets that obey the law, the number 1 appears as the leading significant digit about 30% of the time, while 9 appears as the leading significant digit less than 5% of the time. Uniformly distributed digits would each occur about 11.1% of the time.
Strong law of small numbers, in a humorous way, states any given small number appears in far more contexts than may seem reasonable, leading to many apparently surprising coincidences in mathematics, simply because small numbers appear so often and yet are so few.