Top
ヘッダー

(Upload on April 29 2016) [ 日本語 | English ]

Mathematics (数学)






Mount Usu / Sarobetsu post-mined peatland
From left: Crater basin in 1986 and 2006. Cottongrass / Daylily

Gr. μαθημα. Engl. Mathematics

History

Three Greek geometric problems (ギリシア幾何学三大問題)
a set of geometric problems whose solution was sought using only compass and straightedge:
  1. circle squaring: construct a square equal in area to a circle
  2. cube duplication (Delian problem): give the length of an edge of a cube, that a second cube be constructed having double the volume of the first
  3. angle trisection: divide an arbitrary angle into three equal angles

Fibonacci, Leonardo 1170?-1250?
Descartes René 1596-1650: founder of analytic geometry
Tartaglia-Cardano: solution of third degree equation or cubic equation
Ferrari L 1522-1565: solution of biquadratic equation
Barrow Isaac 1630-1677: reverse tangent (逆接線) →

find out the original curve by detecting the characteristics of tangent = the beginning of infinitesimal calculus

Newton: differentiation (called fluxion at that time) and integration

Leibniz, Gottfried Wilhelm 1646-1716, Germany: competition to the priority of differential and integral calculus

Alembert (d'), Jean Le Rond 1717-1783, France, mathematics, physics and enlightenment:

edited Encyclopedie universelle des arts et sciences (百科全書) with Diderot D (1713-1784)

Laplace, Pierre Simon, Marquis de 1749-1827, France, mathematics, astronomy and physics (probability, equation and geodesy)

left his name Laplace transformation or transform

Gauss, Karl Friedrich 1777-1855, Germany: algebra, geometry, analysis

left his name gauss (G) on the electromagnetic unit (EMU), gauss
Basic theorem of algebra: every non-constant single-variable polynomial with complex coefficients has at least one complex root
1801 Disquisitiones arithmeticae (数論研究)

Fourier, Jean Baptiste Joseph 1768-1830, France: mathematics and thermodynamics

proposed the analytical theory of heat or thermodynamics (contributed the development of mathematical physics)

[ calculus ]

索引
Poisson, Simeon Denis 1781-1840, France

Probability theory and static electromagnetics

Poncelet, Jean Victor 1788-1867, France

Study on geometry when he was in jail because he became captive during joining an army for the conquest to Russia by Napoleon I
→ founder of projective geometry
left his name a unit of power Poncelet (= 100 kg·m/sec)

Lobachevsky NI 1793-1856, Russia / Bolyai J 1802-1860, Hungary

Lobachevskian geometry → hyperbolic geometry
Non-Euclidean axiom: denied Euclidean axiom 5
= for any given point there exists more than one line that can be extended through that point and run parallel to another line of which that point is not part

Galois E (ガロア) 1811-1832

Researches on the bacground of theory proposed by Abel → establishing group theory (群論)

Riemann, Georg Friedrich Bolyai 1826-1866, Germany

Non-Euclidean axiom: no pararell lines exist

Poincaré, Jules Henri 1854-1912, France: mathematics, physics and philosophy

Cousin of The president Poincaré R (1860-1934)
Multidisciplinary researches represented by differential equation

Hadamard, Jacques 1865-1963 & Poussin, de la Valle 1866-1962

Prime number theorem (PNT)
D ≡ prime density = (count prime number < N)/N)
N → ∞ ⇒ D = 1/lnN

1959 International Mathematical Olympiad, IMO: for pre-college students

Elementary function (初等関数)


Def. Algebraic function (代数関数): a function defined as the root of a polynomial equation

= rational function (有理関数) + irrational function (無理関数)

Transcendental function (超越関数)

Elementary transcendental function (初等超越関数)
function that is not algebraic

Ex. trigonometric function (f), exponent f, logarithmic f

Elementary f = algebraic f + elementary transcendental f
Exponent function (指数関数)
Law. exponential law (指数法則): b > 0, ax > 0 ⇒

axay = ax+yax/ay = ax-y
(ax)y = axy
(ab)x = axbx → (b/a)x = bx/ax

Case. zero to the power of zero (0 to the 0th power): 00
Logarithmic function (対数関数)
Def. Power function (冪関数)
Ex. limx→∞(1 + a/x)x = ea
Pr. a/x = 1/y → (1 + a/x)x = (1+ 1/y)ay = ((1 + 1/y)y)a continuous

x → +∞, a > 0 → y → +∞, a < 0 → y → –∞
∴ (1 + 1/y)y = e //

Def. Hyperbolic function (双曲線関数)
x (-∞ < x < ∞) ⇒
coshx = (ex + e-x)/2 (hyperbolic cosine 双曲線余弦)
sinhx = (ex - e-x)/2 (hyperbolic sine 双曲線正弦)

⇒ graph: catenary (懸垂線)

tanhx = sinhx/coshx
cothx = coshx/sinhx
sechx = 1/coshx
coshx (or cosechx) = 1/sinhx
⇒ inverse hyperbolic function (逆双曲線関数)
Prop. (1) cosh2x - sinh2x = 1

(2) tanhx = coshx/sinhx
(3) cosh(x ± y) = coshxcoshy ± sinhxsinhy, and

sinh(x ± y) = sinhxcoshy ± coshxsinhy
(double-sign corresponds)

(4) limx→∞tanhx = 1, and limx→-∞tanhx = -1

Pr._(1) cosh2x - sinh2x = (coshx + sinhx)(coshx - sinhx) = ex·e-x = 1 //

(2) trivial //
(3) coshxcoshy + sinhxsinhy

= (ex + e-x)/2·(ey + e-y)/2 + (ex - e-x)/2·(ey - e-y)/2
= (ex+y + e-x+y + ex-y + e-x-y)/4 + (ex+y - e-x+y - ex-y + e-x-y)/4
= (ex+y + e-(x+y))/2 = cosh(x + y), and so forth //

(4) limx→∞tanhx = limx→∞((1 - e-2x)/(1 + e-2x)) = 1
__ limx→-∞tanhx = limx→-∞((e2x - 1)/(e2x + 1)) = -1

Ex. sinh(log2) = (elog2 - e-log2)/2 = (2 - 1/2)/2 = 3/4
Def. Trigonometric function (三角関数)
function sine (正弦): sinθ = y/r
cosine (余弦): cosθ = x/r
tangent (正接): tanθ = x/y = sinθ/cosθ
cotangent (余接): cotθ = x/y, = 1/tanθ
secant (正割): secθ = r/x, = 1/cosθ
cosecant (余割): cosecθ = y/x = 1/sinθ
tanθ = sinθ/cosθ, cotθ = cosθ/sinθ
Cycle (周期): sinθ, cosθ, secθ, cosecθ → 2π, tanθ, cotθπ

→ sin(π/2 – θ) = cosθ, cos(π/2 – θ) = sinθ, sin = 0

limθ→0(sinθ/θ) = 1, |θ| ∠ 1 → sinθθ

sin(–θ) = –sinθ, cos(–θ) = cosθ, tan(–θ) = –tanθ
sin2θ + cos2θ = 1, 1 + tan2θ = sec2θ, 1 + cot2θ = cosec2θ
Th. limx→0(sinx/x) = 1
Ex. limx→0(tanx/x) = limx→0(sinx/x)·(1/cosx) = 1
Ex. limx→0sin(sinx)/x = limx→0(sin(sinx)/sinx)·(sinx/x)

= 1·1 = 1 (∵ x → 0 ⇒ sinx → 0)

Equations of trigonometric function

ΔABC, AB = a, BC = b, CA = c, ∠A, ∠B, ∠C ⇒

Th. sine theorem (正弦定理): a/sinA = b/sinB = c/sinC

= 2R (R: radius of circumcircle)

Th. cosine theorem (余弦定理)

a2 = b2 + c2 + bccosA
b2 = a2 + c2 + accosB
c2 = a2 + b2 + abcosC

Th. addition theorem (加法定理)

sin(x ± y) = sinxcosy ± cosxsiny
cos(x ± y) = cosxcosy –(±) sinxsiny
tan(x ± y) = (tanx ± tany)/(1 –(±) tanxtany)

Eq. Double-angle formula (2倍角公式)

sin2x = 2sinxcosx
cos2x = cos2x – sin2x = 2cos2x – 1 = 1 – 2sin2x

Eq. Triple-angle formula (3倍角公式)

sin3x =3sinx – 4sin3x
cos3x = 4cos3x – 3cosx

Eq. Half-angle formula (半角公式)

sin2x/2 = (1 – cosx/2)
cos2x/2 = (1 + cosx)/2
tan2x/2 = (1 – cosx)/(1 + cosx)

Eq. Product (積) → sum (difference) 和(差)

sinαcosβ = 1/2{sin(α + β) + sin(αβ)}
cosαsinβ = 1/2{sin(α + β) – sin(αβ)}
cosαcosβ = 1/2{cos(α + β) + cos(αβ)}
sinαsinβ = 1/2{cos(α + β) – cos(αβ)}

Eq. Sum (difference) 和(差) → product (積)

sinα + sinβ = 2sin((α + β)/2)cos((αβ)/2)
sinα – sinβ = 2cos((α + β)/2)sin((αβ)/2)
cosα + cosβ = 2cos((α + β)/2)cos((αβ)/2)
cosα – cosβ = 2sin((α + β)/2)sin((αβ)/2)

Ex. limxasinx = sina, limxacosx = cosa
Pr. ε > 0, δ > 0, |xa| < δ → |sinx – sina| < ε

|sinx – sina| = |2sin((xa)/2)·cos((x + a)/2)| < xa < δ (= ε)
∵ |cos((x + a)/2)| ≤ 1, |sin((xa)/2)| < (xa)/2___ditto cosine //

Eq. Combination of trigonometric function (三角関数の合成)

asinθ + bcosθ = √(a2 + b2)·sin(θ + α)

Here, α is obtained by: cosα = a/√(a2 + b2), sinα = b/√(a2 + b2)

Pr. asinθ + bcosθ = √(a2 + b2)·((a/√(a2 + b2))·sinθ + (b/√(a2 + b2))·cosθ)

= √(a2 + b2)·(cosαsinθ + sinαcosθ) = √(a2 + b2)·sin(θ + α) // _____________________from addition theorem

Ax. t := tan(x/2) ⇒

cosx = (1 - t2)/(1 + t2), sinx = 2t/(1 + t2), dx = 2/(1 + t2dt

Pr. cos2(x/2) = 1/(1 + tan2(x/2)) = 1/(1 + t2)

From double-angle formula,
cosx = 2cos2(x/2) - 1 = 2·1/(1 + t2) -1 = (1 - t2)/(1 + t2)
sinx = 2sin(x/2)cos(x/2) = 2cos2(x/2)tan(x/2)

= 2·1/(1 + t2t = 2t/(1 + t2)

t = tan(x/2), differentiate both sides
dt = 1/(cos2(x/2))·1/2·dxdx = 2cos2(x/2)·dt = 2/(1 + t2dt

Def. Inverse trigonometric function (逆三角関数)
= cyclometric function
sin-1x = arcsinx: x = siny (-1 ≤ x ≤ +1)
cos-1x = arccosx: x = cosy (-1 ≤ x ≤ +1)
tan-1x = arctanx: x = tany (ℜ)
cot-1x[-∞, +∞] = arccotx: x = coty (ℜ)
sec-1x = arcsecx: x = secy (x ≤ -1 or 1 ≤ x)
csc-1x = arccscx: x = cscy (x ≤ -1 or 1 ≤ x)
Q. Solve (1) sin-1(1/2), (2) tan-1(-√3) and (3) sin-1(sin(3/5·π))

(-π/2 ≤ θπ/2)

A._(1) θ := sin-1(1/2), sinθ = 1/2 ∴ θ = π/6 ∴ sin-1(1/2) = π/6
__ (2) θ := tan-1(-√3), tanθ = -√3 ∴ θ = π/3 ∴ tan-1(-√3) = π/3
__ (3) θ := sin-1(sin(3/5·π)), sinθ = sin(3/5·π) ∴ θ = 2/5·π

∴ sin-1(sin(3/5·π)) = θ = 2/5·π

Set theory (集合論)


1874 Cantor Georg (1845-1918): established set theory
Law. Basic formulae (基本公式)
Idempotent law (冪等法則)

AA = A, AA = A

Commutative law 交換法則

AB = BA, AB = BA

Distributive law (分配法則)

A∪(BC) = (AB)∪C
A∩(BC) = (AB)∩C
A∪(BC) = (AB)∩(AC)
A∩(BC) = (AB)∪(AC)

Absorptive law (吸収法則)

A∪(AB) = A
A∩(AB) = A

Double complement law (復元法則)

(AC)C = A

De Morgan's law (ド・モルガンの法則)

(AB)C = ACBC
(AB)C = ACBC

Set of numbers (数の集合)


Number theory (整数論)


Def. Gauss notation (ガウス記号), [•]: x, aZ, a < x

⇒ max(a) ≡ [x]

Ex. [-2] = -2, [π] = 3, [1 - √5] = -2
Ax. xx - 1 < [x] or [x] ≤ x < [x] + 1
Ex. [2 + √5] + [2 - √5] = 4 + (-1)

Fermat's Last Theorem (フェルマーの最終定理) 1670

= Fermat's conjecture
Th. No three positive integers a, b and c satisfy the equation

an + bn = cn

for any integer value of n greater than 2
Prior to prove the theory:
n = 1: a1 + b1 = c1a + b = c ⇒ infinite solution
n = 2: a2 + b2 = c2 (≡ the Pythagorean theorem) ⇒ infinite solution
Pr.
Case. n = 3 (proven by Euler 1753)

Case. n = 4 (proven by Fermat ≈1630)

Case. n = 5 (proven by Dirichlet & Legendre 1825)

Case. n = 7 (proven by Lamé 1839)

Geometry (幾何学)


Concerned with shape, size, relative position of figures, and the properties of space
Euclidean geometry (ユークリッド幾何学): the study of points, lines, shapes, figures and spaces based on the Euclidean five axioms

Plane geometry (平面幾何学) = two-dimensional Euclidean geometry
Solid geometry (立体幾何学) = three-dimensional Euclidean geometry

Differential geometry (微分幾何学): using calculus and linear algebra to study problems in geometry
Topology (位相幾何学, トポロジー): dealing with the properties of geometry that are unchanged by continuous function
Algebraic geometry (代数幾何学): studies geometry through the use of multivariate polynomials and other algebraic techniques

Euclidean geometry (ユークリッド幾何学)


Euclid's five axioms (5公理)

  1. Things that are equal to the same thing are also equal to one another
  2. If equals are added to equals, then the wholes are equal (Addition property of equality)
  3. If equals are subtracted from equals, then the remainders are equal (Subtraction property of equality)
  4. Things that coincide with one another are equal to one another (Reflexive Property)
  5. The whole is greater than the part.

Euclid's five postulates (5公準)

  1. A straight line segment can be drawn joining any two points.
  2. Any straight line segment can be extended indefinitely in a straight line.
  3. Given any straight line segment, a circle can be drawn having the segment as radius and one endpoint as center.
  4. All right angles are congruent.
  5. If two lines are drawn which intersect a third in such a way that the sum of the inner angles on one side is less than two right angles, then the two lines inevitably must intersect each other on that side if extended far enough. This postulate is equivalent to what is known as the parallel postulate.

Trochoid (トロコイド)

a roulette formed by a circle rolling along a line (s.l.), including curve and circle

x = - bsinθ
y = a - bcosθ

L: a line (the circle center C moves parallel to L)
P (trochoid) ≡ every other point in the rotating plane attached to the circle traces
a: radius of circle
θ: the variable angle through which the circle rolls

Eepitrochoid (外トロコイド)/Hypotrochoid (内トロコイド)
a roulette traced by a point attached to a circle of radius r rolling around the outside/inside of a fixed circle of radius R

cycloid
Cycloid (CP = b)

Cycloid (サイクロイド)
= common trochoid

If the cycloid has a cusp (尖点) at the origin and its humps are oriented upward, its parametric equation is:
x = a(t - sint), y = a(1 - cost)

cycloid
Generation of the involute of the cycloid unwrapping a tense wire placed on half cycloid arc shown in red
Astroid (アステロイド, 星芒形) = tetracuspid (四尖点形), cubocycloid, paracycle: a hypocycloid with four cusps
If the radius of the fixed circle is a then the equation is given by:

x2/3 + y2/3 = a2/3 ⊂ superellipse
x = acos3t = a/4·(3cost + cos3t), y = asin3t = a/4·(3sint + sin3t)

Cardioid (カージオイド, 心臓形): shown by

polar coordinates: r = a(1 + cosθ)
orthogonal coordinates: (x2 + y2)(x2 + y2 + 2ax) - a2y2 = 0
parameters: x = a(1 + cosθ)cosθ, y = a(1 + cosθ)sinθ

S = 3/2·πa2, L = 8a


Non-Euclidean geometry (非ユークリッド幾何学)

noneuclid
Hyperbolic_______Euclidean_______Elliptic

[ combination and permutation ]

Determinant (行列式)


a scalar that is computed from the elements of a square matrix and encodes certain properties of the linear transformation described by the matrix (linear albegra)

Expression: det(A), det A, or |A|
det(A) = det = a11a22 - a12a21

Matrix (行列)


Frame of reference (座標系)


Two dimensions (二次元)

1) Orthogonal coordinates (直交座標)
2) Oblique coordinate (斜交座標)
3) Polar coordinate (極座標)
Terms:
coordinates 座標
axis (pl. axes) 軸
horizontal plane 水平面
horizontal axis 水平軸
hypotenuse 斜辺
normal line 法線 (adj. normal 法線、法線の)
orthogonal 直角な
parabola 放物線(放物線の)
フッター