Contradiction Proof Technique

**Strings (S _{i}P_{j}A_{jk}) = S_{7}P_{2}A_{21} Base Sequence = 12735 String Sequence = 12735 - 2 - 21 **

Expressions Of Pj Problems

Contradiction Proof Technique

Math

Pj Problems - Overview

Celestial Stars

The Number Line

Geometries

7 Spaces Of Interest - Overview

Triadic Unit Mesh

Creation

The Atom

Survival

Energy

Light

Heat

Sound

Music

Language

Stories

Work

States Of Matter

Buoyancy

Nuclear Reactions

Molecular Shapes

Electron Configurations

Chemical Bonds

Energy Conversion

Chemical Reactions

Electromagnetism

Continuity

Growth

Human-cells

Proteins

Nucleic Acids

COHN - Natures Engineering Of The Human Body

The Human-Body Systems

Vision

Walking

Behaviors

Sensors Sensings

Beauty

Faith, Love, Charity

Photosynthesis

Weather

Systems

Algorithms

Tools

Networks

Search

Differential Calculus

Antiderivative

Integral Calculus

Economies

Inflation

Markets

Money Supply

Painting

The Contradiction Proof Technique is one of the common proof techniques used when the Forward-Backward Proof Technique is not suitable for the given proof problem.

Suppose *If A then B* is a proposition involving statements A and B. The contradiction proof technique (Figure 121.3) begins by assuming that B is false (i.e, not B). The problem is proved if at the end the assumption is contradicted.

(a) Prove, by contradiction, that if n is an integer and n^{2} is even, then n is even.

(b) Prove, by contradiction, that at a party of x people, where x ≥ 2, there are at least two people who have the same number of friends at the party.

(c) Prove, by contradiction, that there are an infinite number of primes.

**The strings**:
S_{7}P_{2}A_{21} (Identity - Physical Property).
**The math**:

Pj Problem of Interest is of type *identity* (physical property). Proofs establish truths. So they are *identity* problems.

(a) Initial assumption: not B.

So, for n^{2} even, n is odd.

So, there is an integer k such that n = 2k + 1.

So, n^{2} = (2k + 1)^{2}

So, n^{2} = 4k^{2} + 4k + 1

So, n^{2} = 2(2k^{2} + 2k) + 1

So, n^{2} is odd.

So, initial assumption is contradicted.

(b) Initial assumption: not B.

So, no two people at the party has the same number of friends

So, the people at the party can be numbered in such away that can be represented by an ordered pair (p,f). Where p is the xth person at the party and f is the number of friends p has. The ordered pair will look like this:

(1,0), (2,1) ...(x, x-1)

It then follows that the person with (x-1) friends is a friend with the person with no friends. A contradiction.

So, initial assumption is contradicted.

(c) Initial assumption: not B.

So, there are a finite number of primes.

Let n be the largest prime

Let k be any prime divisor of n! + 1.

So, n ≥ k, since n is the largest prime.

But n! + 1 cannot be divided by a number between 1 and n

So, k > n. A contradiction.

So, initial assumption is contradicted.

The *point* **.** is a mathematical abstraction. It has negligible size and a great sense of position. Consequently, it is front and center in abstract existential reasoning.

Single Variable Functions

Conics

Ordinary Differential Equations (ODEs)

Vector Spaces

Real Numbers

Separation Of Variables As Solution Method For Homogeneous Heat Flow Equation

Newton And Fourier Cooling Laws Applied To Heat Flow Boundary Conditions

Fourier Series

Derivation Of Heat Equation For A One-Dimensional Heat Flow

The Universe is composed of *matter* and *radiant energy*. *Matter* is any kind of *mass-energy* that moves with velocities less than the velocity of light. *Radiant energy* is any kind of *mass-energy* that moves with the velocity of light.

Periodic Table

Composition And Structure Of Matter

How Matter Gets Composed

How Matter Gets Composed (2)

Molecular Structure Of Matter

Molecular Shapes: Bond Length, Bond Angle

Molecular Shapes: Valence Shell Electron Pair Repulsion

Molecular Shapes: Orbital Hybridization

Molecular Shapes: Sigma Bonds Pi Bonds

Molecular Shapes: Non ABn Molecules

Molecular Orbital Theory

More Pj Problem Strings