Search Results for ""

There exist numbers y_1<y_2<...<y_(n-1), a<y_(n-1), y_(n-1)<b, such that lambda_nu=alpha(y_nu)-alpha(y_(nu-1)), (1) where nu=1, 2, ..., n, y_0=a and y_n=b. Furthermore, the ...

For a point P inside an equilateral triangle DeltaABC, the sum of the perpendiculars p_i from P to the sides of the triangle is equal to the altitude h. This result is simply ...

Given a quadratic form Q(x,y)=x^2+y^2, (1) then Q(x,y)Q(x^',y^')=Q(xx^'-yy^',x^'y+xy^'), (2) since (x^2+y^2)(x^('2)+y^('2)) = (xx^'-yy^')^2+(xy^'+x^'y)^2 (3) = ...

A metatheorem in mathematical logic also known under the name "conditional proof." It states that if the sentential formula B can be derived from the set of sentential ...

For triangles in the plane, AD·BE·CF=BD·CE·AF. (1) For spherical triangles, sinAD·sinBE·sinCF=sinBD·sinCE·sinAF. (2) This can be generalized to n-gons P=[V_1,...,V_n], where ...

Let f(t) and g(t) be arbitrary functions of time t with Fourier transforms. Take f(t) = F_nu^(-1)[F(nu)](t)=int_(-infty)^inftyF(nu)e^(2piinut)dnu (1) g(t) = ...

Let f be differentiable on the open interval (a,b) and continuous on the closed interval [a,b]. Then if f(a)=f(b), then there is at least one point c in (a,b) where f^'(c)=0. ...

For algebraic alpha |alpha-p/q|<1/(q^(2+epsilon)), with epsilon>0, has finitely many solutions. Klaus Roth received a Fields medal for this result.

Every finite-dimensional Lie algebra of characteristic p=0 has a faithful finite-dimensional representation.

Let the nth composition of a function f(x) be denoted f^((n))(x), such that f^((0))(x)=x and f^((1))(x)=f(x). Denote the composition of f and g by f degreesg(x)=f(g(x)), and ...