Let R be an integral domain with quotient field F, let S be a non-empty subset of R and let n = 2 be an integer. If there exists a rational function ?: S [right arrow] F such that ?(a)[superscript n] = a for all a ? S, then S is finite. As a consequence, if F is an ordered field (for instance,[real numbers]) and S is an open interval in F, no such…

For a function "f": [real numbers set][superscript n]\{(0,…,0)}[right arrow][real numbers set] with continuous first partial derivatives, a theorem of Euler characterizes when "f" is a homogeneous function. This note determines whether the conclusion of Euler's theorem holds if the smoothness of "f" is not assumed. An…

Let R be a ring with identity. Then {0} and R are the only additive subgroups of R if and only if R is isomorphic (as a ring with identity) to (exactly) one of {0}, Z/pZ for a prime number p. Also, each additive subgroup of R is a one-sided ideal of R if and only if R is isomorphic to (exactly) one of {0}, Z, Z/nZ for an integer n = 2. This note…

The set of functions {x[superscript q] | q[element of][real numbers set]} is linearly independent over R (with respect to any open subinterval of (0, 8)). The titular result is a corollary for any integer n = 2 (and the domain [0, 8)). Some more accessible proofs of that result are also given. Let F be a finite field of characteristic p and…

A direct method is given for solving first-order linear recurrences with constant coefficients. The limiting value of that solution is studied as "n to infinity." This classroom note could serve as enrichment material for the typical introductory course on discrete mathematics that follows a calculus course.

An elementary proof using matrix theory is given for the following criterion: if "F"/"K" and "L"/"K" are field extensions, with "F" and "L" both contained in a common extension field, then "F" and "L" are linearly disjoint over "K" if (and only if) some…

It is proved that an integer n [greater than or equal] 2 is a prime (resp., composite) number if and only if there exists exactly one (resp., more than one) nth-degree monic polynomial f with coefficients in Z[subscript n], the ring of integers modulo n, such that each element of Z[subscript n] is a root of f. This classroom note could find use in…

This note explains how Emil Artin's proof that row rank equals column rank for a matrix with entries in a field leads naturally to the formula for the nullity of a matrix and also to an algorithm for solving any system of linear equations in any number of variables. This material could be used in any course on matrix theory or linear algebra.

This note uses the analytic notion of asymptotic functions to study when a function is asymptotic to a polynomial function. Along with associated existence and uniqueness results, this kind of asymptotic behaviour is related to the type of asymptote that was recently defined in a more geometric way. Applications are given to rational functions and…

This note develops and implements the theory of polynomial asymptotes to (graphs of) rational functions, as a generalization of the classical topics of horizontal asymptotes and oblique/slant asymptotes. Applications are given to hyperbolic asymptotes. Prerequisites include the division algorithm for polynomials with coefficients in the field of…

If f is a continuous positive-valued function defined on the closed interval from a to x and if k[subscript 0] is greater than 0, then lim[subscript k[right arrow]0[superscript +] [integral][superscript x] [subscript a] f (t)[superscript k-k[subscript 0]] dt= [integral][superscript x] [subscript a] f (t)[superscript -k[subscript 0] dt. This…

The main purpose of this note is to present and justify proof via iteration as an intuitive, creative and empowering method that is often available and preferable as an alternative to proofs via either mathematical induction or the well-ordering principle. The method of iteration depends only on the fact that any strictly decreasing sequence of…

This note could find use as enrichment material in a course on the classical geometries; its preliminary results could also be used in an advanced calculus course. It is proved that if a , b and c are positive real numbers such that a[squared] + b[squared] = c[squared] , then cosh ( a ) cosh ( b ) greater than cosh ( c ). The proof of this result…

Six proofs are given for the fact that for each integer n [greater than or equal to] 2, the nth root function, viewed as a function from the set of non-negative real numbers to itself, is not linear. If p is a prime number, then [Zeta]/p[Zeta] is characterized, up to isomorphism, as the only integral domain D of characteristic p such that D admits…

Three proofs are given for the fact that the derivative of an everywhere-positive non-constant real polynomial function must change sign. This self-contained note could find classroom use in courses on calculus or abstract algebra.