The author advocates two specific mathematical notations from his popular course and joint textbook, "Concrete Mathematics". The first of these, extending an idea of Iverson, is the notation "[P]" for the function which is 1 when the Boolean condition P is true and 0 otherwise. This notation can encourage and clarify the use of characteristic functions and Kronecker deltas in sums and integrals.
This article is an expanded version of my talk at the Gathering for Gardner,
2012.
We survey the reasons for the ongoing boycott of the publisher Elsevier. We
examine Elsevier's pricing and bundling policies, restrictions on dissemination
by authors, and lapses in ethics and peer review, and we conclude with thoughts
about the future of mathematical publishing.
In this paper I shall try to sketch some typical aspects of Erich Lehmann's
contributions to statistics through his research, his teaching, his service to
the profession and his personality.
This paper is a criticism on "A Mathematician's Apology" by G. H. Hardy.
In 1693, Gottfried Whilhelm Leibniz published in the Acta Eruditorum a
geometrical proof of the fundamental theorem of the calculus. During his
notorious dispute with Isaac Newton on the development of the calculus, Leibniz
denied any indebtedness to the work of Isaac Barrow. But it is shown here, that
his geometrical proof of this theorem closely resembles Barrow's proof in
Proposition 11, Lecture 10, of his Lectiones Geometricae, published in 1670.
This paper appeals to the figure of \'Evariste Galois for investigating the
gates between mathematics and their "publics." The figure of Galois draws some
lines of/within mathematics for/from the outside of mathematics and these lines
in turn sketch the silhouette of Galois as a historical figure. The present
paper especially investigates the collective categories that have been used in
various types of public discourses on Galois's work (e.g. equations, groups,
algebra, analysis, France, Germany etc.).
Using an identity arising in the known Banach probability problem on
matchboxes, we prove an unexpected congruence for odd prime $p:$ for $1\leq
k\leq \frac{p-1}{2},\enskip \sum_{i=1}^{p-2k-1}2^{i-1}\binom{k-1+i}{k}\equiv
0\pmod p.$
An introductory overview of vector spaces, algebras, and linear geometries
over an arbitrary commutative field is given. Quotient spaces are emphasized
and used in constructing the exterior and the symmetric algebras of a vector
space. Affine geometries are introduced and generalized by projective
completion. General projective geometries are briefly introduced. Tensor
products and multilinear functions are treated. The exterior algebra of a
vector space and that of its dual are used in treating linear geometry and
Grassmann's regressive product is treated.
We find an interesting relationship between the golden ratio, the Moebius
function, the Euler totient function and the natural logarithm -- central
players in the theory of numbers. The theorem and corollaries highlight a
connection between the golden ratio and the factorization of integers that is
not obvious; and display a sort of inverse relationship between the Moebius
function and Euler totient function.
I have recently proposed that an object, found in an Egyptian tomb and
exposed at the Egyptian Museum of Torino, could be a protractor. The tomb was
that of architect Kha, supervisor at Deir El-Medina during the 18th Dynasty,
and his wife Merit. Considering then the object as a protractor, the architect
could have used it to measure the angle of the inclined planes.
In the famous Three-Door-Game Monte cannot help to win all the time by
signaling location of the prize, using only the freedom he allowed to use. No
matter which strategies played, there is always at least one door where the
prize will not be found. However, already in the game with four doors
cooperative Monte can reveal two useless doors in sequence (leaving two doors
unrevealed), to inform Conie about location of the prize, so enabling her to
beat the only-switching strategies and win all the time.
The basic Monty Hall problem is explored to introduce into the fundamental
concepts of the game theory and to give a complete Bayesian and a
(noncooperative) game-theoretic analysis of the situation. Simple combinatorial
arguments are used to exclude the holding action and to find minimax solutions.
Incorporating designs into the tiles that form tessellations presents an
interesting challenge for artists. Creating a viable MC Escher like image that
works esthetically as well as functionally requires resolving incongruencies at
a tile's edge while constrained by its shape. Escher was the most well known
practitioner in this style of mathematical visualization, but there are
significant mathematical shapes to which he never applied his artistry.
Elementary decision-theoretic analysis of the Monty Hall dilemma shows that
the problem has dominance. This makes possible to discard nonswitching
strategies, without making any assumptions on the prior distribution of factors
out of control of the decision maker. A path to the Bayesian and the minimax
decision-making environments is then straightforward.
In this lecture notes we present the equations and the physics involved in
the dynamic of incompressible fluids. We present the mathematical techniques
needed in order to prove the existence and uniqueness result for the case where
we consider Burgers equation. We also explain an useful numerical method when
dealing with this kind of equations. These lecture notes were written for the
2010 JAE-Intro Summer School. This Summer School was organized by ICMAT-CSIC
and takes place in Madrid.
This is an overview (in french) of the Theory of Species for a general
audience. Basic notions are introduced in a non too technical manner, with an
explanation of why should one approach the notion of discrete structures in
this particular way.
We give an overview about well-known basic properties of two classes of
q-Fibonacci and q-Lucas polynomials and offer a common generalization.
Game versions of the Monty Hall Problem are discussed. The focus is on the
principle of eliminating the dominated strategies, both in the zero-sum and
noncooperative formulations.
In this article I will address some questions about a mathematical problem
that my friend Patrizio Frederic, a researcher in statistics at the University
of Modena, proposed to me. Given some parallel line segments, is there at least
one straight line that passes through all of them? If there were many lines
that solve the problem, can I choose a "best one" among all of them? I will
fully address the first question. As for the second question, I will illustrate
it with some "experimental" examples and suggest an outline for future
explorations.
This paper concerns the emergence of modern mathematical statistics in France
after the First World War. Emile Borel's achievements are presented, and
especially his creation of two institutions where mathematical statistics was
developed: the {\it Statistical Institute of Paris University}, (ISUP) in 1922
and above all the {\it Henri Poincar\'e Institute} (IHP) in 1928. At the IHP, a
new journal {\it Annales de l'Institut Henri Poincar\'e} was created in 1931.
We discuss the first papers in that journal dealing with mathematical
statistics.
Computational science and engineering (CSE) embodies President Obama's
challenge for the future, "ours to win." For decades, CSE has been
misunderstood to require massive computers, whereas breakthroughs in CSE have
historically been the mathematical programs of computing rather than the
machines themselves. Whether scientists and engineers become inventors who make
these breakthroughs depends on circumstances and their educations. The USA
currently has the largest CSE professorate, but the data suggest this
prominence is ephemeral.
The theory of numbers was supposed to be the less useful branch of
mathematics. At the same time, cryptography was thought to be a military or a
diplomatic issue. In this note we show how the two concepts are today strictly
related and how this link affects our daily activities.
SIAM Review is examined for referee delay, citations, and paper length after
the reorganization of the journal in 1999. A single, very-highly cited article
was responsible for all the increase to the impact factor during the past
decade; the reorganization did not improve the journal overall. Some
suggestions are made for additional changes.
The purpose of this note is to discuss the real analogue of the Schwarz lemma
from complex analysis.
The Monty Hall problem is the TV game scenario where you, the contestant, are
presented with three doors, with a car hidden behind one and goats hidden
behind the other two. After you select a door, the host (Monty Hall) opens a
second door to reveal a goat. You are then invited to stay with your original
choice of door, or to switch to the remaining unopened door, and claim whatever
you find behind it. Assuming your objective is to win the car, is your best
strategy to stay or switch, or does it not matter?
In this short note we shall give connection between the most perfect
"Khajuraho" magic square of order 4x4 discovered in 10th century and the
"Lo-Shu" magic square of order 3x3 with the day October 1, 2010, i.e.,
01.10.2010. The day has only three digits 0, 1 and 2. Here we have given an
equivalent version of Khajuraho magic square using only three digits 0, 1 and
2. If we write the above date in two parts, 0110 2010, interestingly, the sum
of new magic square is the first part, i.e., 0110, and the numbers appearing in
the magic square are from the second part.
This note deals with two topics of linear algebra. We give a simple and short
proof of the multiplicative property of the determinant and provide a
constructive formula for rotations. The derivation of the rotation matrix
relies on simple matrix calculations and thus can be presented in an elementary
linear algebra course. We also classify all invariant subspaces of equiangular
rotations in 4D.
We investigate the journal impact factor, focusing on the applied mathematics
category. We demonstrate that significant manipulation of the impact factor is
being carried out by the editors of some journals and that the impact factor
gives a very inaccurate view of journal quality, which is poorly correlated
with expert opinion.
This is a translation of Euler's 1773 "Variae observationes circa angulos in
progressione geometrica progredientes", E561 in the Enestr{\"o}m index.
Technologies in mathematical education has been a theme present at CERME from
the first edition. The available technologies have evolved a lot during these
years. At CERME 5 conference, the conclusions of the technology Working Group
(Kynigos et al. 2007), as well as Artigue's and Ruthven's interventions
(Artigue 2007, Ruthven 2007), signal perspective evolutions towards more
comprehensive studies, in several respects. Drawing on these previous works,
CERME 6 WG7 intended to go further in the directions they have indicated.
We propose in this paper a theoretical approach of teachers' professional
development, focusing on teachers' interactions with resources, digital
resources in particular. Documents, entailing resources and schemes of
utilization of these resources, are developed throughout documentational
geneses occurring along teachers' documentation work (selecting resources,
adapting, combining, refining them). The study of teachers' documentation
systems permits to seize the changes brought by digital resources; it also
constitutes a way to embrace teachers' professional change.
In this article I review W\"ust's recent handbook on mathematical physics
from a philosophical standpoint. It emerges a structural approach to
mathematics which evidences the utility of logic in the expression of the main
concepts of this discipline.
The aim of this short note is to realize that the main reason for
non-mechanistic explanation of Newton's gravitational attraction, is explicitly
encapsulated in his famous General Scholium of the second Edition of Principia
Mathematica (1713).
Supportive attitudes can bring to a blossoming science, while neglect can
quickly make science absent from everyday life and provide a very primitive
view of the world. We compare one important Greek achievement, the computation
of the earth meridian by Eratosthenes, to its later interpretation by the Roman
historian of science Pliny.
The aim of this paper is twofold. The first is to introduce several
polynomials of one variable as well as two variables defined on the positive
integers with values as congruent numbers. The second is to present a
connection between Pythagorean triples and Pell's equations of the types
$x^2-dy^2=\pm{1}$ which give rise to new congruent numbers n with arbitrarily
many prime factors.
The view of infinity as a metaphor, a basic premise of modern cognitive
theory of embodied knowledge, suggests in particular that there may be
alternative ways in which one could formalize mathematical ideas about
infinity. We discuss the key ideas about infinitesimals via a proceptual
analysis of the meaning of the ellipsis"..." in the real formula .999... = 1.
Infinitesimal-enriched number systems accomodate quantities in the half-open
interval [0,1) whose extended decimal expansion starts with an unlimited number
of repeated digits 9.
Peano defined 'differentiability' of functions and 'lower tangent cones' in
1887, and 'upper tangent cones' in 1903, but uses the latter concept already in
1887 without giving a formal definition. Both cones were defined for arbitrary
sets, as certain limits of appropriate homothetic relations. Around 1930 Severi
and Guareschi, in a series of mutually fecundating individual papers,
characterized differentiability in terms of 'lower tangent cones' and strict
differentiability in terms of 'lower paratangent cones', a notion introduced,
independently, by Severi and Bouligand in 1928.
The long-term objective of our research is to develop the instrumental
approach for teachers. A first step, presented in this paper, is to observe
stable behaviours of teachers using internet resources in mathematics. We
retain the scenarios as indicators of the genesis processes. We propose a
scenario taxonomy taken from categories elaborated by computer sciences
specialists and complemented to take into account didactical aspects. The
descriptions provided by teachers permitted to observe an evolution of their
scenarios elaboration's practices.
The degree of Doctor of Sciences, honoris causa, was conferred on Raoul Bott
by McGill University in 1987. Much of the work to make this happen was done by
Carl Herz. Some of the author's personal recollections of both professors are
included, along with some context for the awarding of this degree and ample
historical tangents. Some cultural aspects occurring in the addresses are
elaborated on, primarily, the Canadian engineer's iron ring. This paper also
reprints both the convocation address of Raoul Bott and the presentation of
Carl Herz on that occasion.
At the end of 19th century Peano discerned vector spaces, differentiability,
convex sets, limits of families of sets, tangent cones, and many other
concepts, in a modern perfect form. He applied these notions to solve numerous
problems. The theorem on necessary conditions of optimality (Regula) is one of
these. The formal language of logic that he developed, enabled him to perceive
mathematics with great precision and depth.
The popular view according to which Category theory provides a support for
Mathematical Structuralism is erroneous. Category-theoretic foundations of
mathematics require a different philosophy of mathematics. While structural
mathematics studies invariant forms (Awodey) categorical mathematics studies
covariant transformations which, generally, don t have any invariants. In this
paper I develop a non-structuralist interpretation of categorical mathematics
and show its consequences for history of mathematics and mathematics education.
By retracing research on coexistent magnitudes (grandeurs coexistantes) by
Cauchy (1841), Peano in "Applicazioni geometriche del calcolo infinitesimale"
(1887) defines the "density" (strict derivative) of a "mass" (a distributive
set function) with respect to a "volume" (a positive distributive set
function), proves its continuity (whenever the strict derivative exists) and
shows the validity of the mass-density paradigm: "mass" is recovered from
"density" by integration with respect to "volume".
In this paper a construction of affine exterior algebra of Grassmann, with a
special attention to the revisitation of this subject operated by Peano and his
School, is examined from a historical viewpoint. Even if the exterior algebra
over a vector space is a well known concept, the construction of an exterior
algebra over an affine space, in which points and vectors coexist, has been
neglected. This paper wants to fill this lack.
In this paper we intend to connect two different strands of research
concerning the origin of what I shall loosely call "formal" ideas: firstly, the
relation between logic and rhetoric - the theme of the 2006 Cambridge
conference to which this paper was a contribution -, and secondly, the impact
of religious convictions on the formation of certain twentieth century
mathematical concepts, as brought to the attention recently by the work of L.
Graham and J.-M. Kantor.
Short rigorous solutions to three mathematizations of the famous Monty Hall
problem are given: asking for an unconditional probability, a conditional
probabiliity, or for a game theoretic strategy. It is concluded which
mathematicization ought to be considered as the Only True Solution of the True
Monty Hall Problem: the little known Game Theoretical version.
The paper suggests a short survey of integration algorithms which evolved
since 1982, which form discrete versions of the calculus theorems.
In this paper a way is suggested for calculating the probability of
consecutive numbers strings within a sequence of n numbers randomly drawn
(without replacement) among the set of the first N consecutive numbers, with N
>> n.
An explicit derivation is carried out for the special case of SuperEnalotto,
nowadays the most famous lottery in Italy, with N=90 and n=6. It turns out
that, on average, one every three drawings presents one or more consecutive
numbers strings inside.
Although the same mathematical expression is used to describe physical
diffusion and stochastic diffusion, there are intrinsic similarities and
differences in their nature. A comparative study shows that characteristic
terms of physical and stochastic diffusion cannot be placed exactly in
one-to-one correspondence. Therefore, judgment needs to be exercised in
transferring ideas between physical and stochastic diffusion.
Generalist mathematics journals exhibit bias toward the branches of
mathematics by publishing articles about some subjects in quantities far
disproportionate to the production of papers in those areas within mathematics
as a whole.
C. F. Gauss discovered a beautiful formula for the number of irreducible
polynomials of a given degree over a finite field. Assuming just a few
elementary facts in field theory and the exclusion-inclusion formula, we show
how one see the shape of this formula and its proof instantly.
We motivate and then prove a generalized pythagorean theorem for
parallelepipeds in Euclidean space.
It is well known that the Taylor series expansion of $(1+ z)^{A}$ does not
converge for $|z|>1$ where A is a real number which is not equal to zero or a
positive integer. A limited series expansion of this expression is obtained in
this paper for $|z|>1$ as a product of convergent series.
Georgy Theodosiyovych Voronoi (1868-1908) is famous for his seminal
contributions to number theory,perhaps mostly those involving quadratic forms
and Voronoi tessellations. He was born and grew up in the town of Zhuravka in
the Ukraine, at the time part of the Russian Empire. Having studied at St.
Petersburg University under the supervision of Andrey Markov, in 1894 he became
a professor of pure mathematics at the University of Warsaw.
Stochastic diffusion equation, which attained prominence with Einstein's work
on Brownian motion at the beginning of the twentieth century, was first
formulated by Laplace a century earlier as part of his work on Central Limit
Theorem. Between 1807 and 1811, Fourier's work on heat diffusion, and
Laplace'swork on probability influenced and inspired each other. This brief
period of interaction between these two illustrious figures must be considered
remarkable for its profound impact on subsequent developments in mathematical
physics, probability theory and pure analysis.
These notes present an approach to obtaining monoid operations which are
compatible with a given family of mappings in the sense that the mappings
become left translations in the monoid. This can be applied to various
situations such as the addition on the natural numbers and the integers as well
as the concatenation of lists.
This paper gives a condition of the expression of generality in mathematics
from the application of L\"owenheim-Skolem theorem to Zermelo's axioms. It
gives an example of an "expression problem" from Gauss's Disquisitiones
Arithmeticae and caracterizes the used of sets in it.
-----
It is well known that Al-Khay\^am, for the first time in history, formulated
a complete theory to solve third degree equations using the intersection of
geometric curves and moreover solved the fourteen types of equations using this
method. His solution for these equations was either using the intersection of
two parabolas, a parabola and a circle, a parabola and a hyperbola, a circle
and a hyperbola or two hyperbolas.
This work is an attempt to 'reconstruct' logarithms in the hypothetical case
that mankind has suffered a catastrophe through which all repositories of
(mathematical as well as other) knowledge are lost, with the exception of
simple arithmetic operations. It turns out that this is possible without
re-inventing calculus!
The analytical aspects of the "Trait\'e des \'equations" of Sharaf al-D\^in
al-T\^us\^i (2nd half of the XIIth century) have been underlined by R. Rashed
(1974, 1986). In the present paper, we consider again some of those aspects,
when studying the "second part" of the "Trait\'e". We find out that al-T\^us\^i
introduces certain notions, develops reasonings and uses calculating procedures
that may allow his work to be an important reference in the history of the
mathematical analysis.
Irving John ("Jack") Good (9 December 1916 - 5 April 2009) was one of my
greatest heroes and influencers. On Oct. 25, 2009, I gave a twenty-three minute
talk with the present title, and this article is an extended transcript of that
talk. As with all my papers, the "accompanying" Maple package is much more
important (mathematically, of course, I also talk about the human side of Jack
in this article, and this is even more important than any math). In particular,
I taught Jack's brilliant ideas to my computer, and now it can do even better
than Jack.
Democracy functions of wavelet admissible bases are computed for weighted
Orlicz Spaces in terms of its fundamental function. In particular, we prove
that these bases are greedy if and only if the Orlicz space is a Lebesgue
space. Also, sharp embeddings for the approximation spaces are given in terms
of weighted discrete Lorentz spaces. For Lebesgue spaces the approximation
spaces are identified with weighted Besov spaces.
In the mid-1960s A. Pfister discovered extraordinary, strongly multiplicative
forms which are now called Pfister forms. From that time on, these forms played
a dominant role in the theory of quadratic forms. One of the key properties of
a Pfister form q is that q extended to a suitable transcendental extension, has
the polynomial q as its similarity factor. Pfister's original proof used clever
matrix calculations. Here we show that the desired isometry is induced by the
multiplication of a suitable field element.
In order to prove irrationality of \sqrt{2} by using only decimal expansions
(and not fractions), we develop in detail a model of real numbers based on
infinite decimals and arithmetic operations with them.
An interpretation of selected parts of Newton's Principia, with modern
notation and methods. Keplers Laws are derived from an inverse square law using
Newton's methods.
We propose to address the problem of how to know students' knowledge in an
entirely new approach called ?epistemography? which is, roughly, an attempt to
describe the structure of this knowledge. We claim that what is to be known is
made of five tightly interrelated organised systems: the mathematical universe,
the system of semio-linguistic representations, the instruments, the rules of
the mathematical game, and the identifiers.
\'Etienne B\'ezout, member of the Acad\'emie Royale des Sciences, have to
study some works and books sended at the Acad\'emy. In this article, we will
look at this responsibility for Navy, before and after 1764, which is the year
of B\'ezout's nomination at the charge of Examinateur des Gardes du Pavillon et
de la Marine. Each year he must go to Brest, Rochefort and Toulon harbours to
examine the Gardes de la Marine. This give to him titles and qualifications as
expert in sailing. We will see his participation at an Academy polemic :
Blondeau versus Bouguer/Lacaille on a navigation book.
\'Etienne B\'ezout, member of the Acad\'emie Royale des Sciences, have to
study some works and books sended at the Acad\'emy. In this article, we will
look at this responsibility for Navy, before and after 1764, which is the year
of B\'ezout's nomination at the charge of Examinateur des Gardes du Pavillon et
de la Marine. Each year he must go to Brest, Rochefort and Toulon harbours to
examine the Gardes de la Marine. This give to him titles and qualifications as
expert in sailing. We will see his participation at an Academy polemic :
Blondeau versus Bouguer/Lacaille on a navigation book.
This note describes a way of obtaining e that differs from the standard one.
It could be used as an alternate way of showing how the value of e is obtained.
No attempt is made to show the existence of the limit in the definition of e
that appears in the final equation.
"Mathematicians, like physicists, are pushed by a strong fascination.
Research in mathematics is hard, it is intellectually painful even if it is
rewarding, and you would not do it without some strong urge." [D. Ruelle]. We
shall give some examples from our experience, when we were able to simplify
some serious mathematical models to make them understandable by children,
preserving both aesthetic and intellectual value. The latter is in particularly
measured by whether a given simplification allows setting a sufficient list of
problems feasible for school students.
"Mathematicians, like physicists, are pushed by a strong fascination.
Research in mathematics is hard, it is intellectually painful even if it is
rewarding, and you would not do it without some strong urge." [D. Ruelle]. We
shall give some examples from our experience, when we were able to simplify
some serious mathematical models to make them understandable by children,
preserving both aesthetic and intellectual value. The latter is in particularly
measured by whether a given simplification allows setting a sufficient list of
problems feasible for school students.
This paper provides an introduction to trace diagrams at a level suitable for
advanced undergraduates. Trace diagrams are a non-traditional notation for
linear algebra. Vectors are represented by edges in a diagram, and matrices by
markings along the edges of the diagram. The notation is rigorous and permits
proofs more elegant than those written using traditional notation.
In this paper, we study some cards shuffles which are used by magicians. We
focus ourselves on the possibility to hit eventually the initial state after
several shuffles. This is a classical problem arising in discrete dynamical
systems. The computations are performed through an elementary approach, so the
paper is easily accessible.
-----
In this paper, we study some cards shuffles which are used by magicians. We
focus ourselves on the possibility to hit eventually the initial state after
several shuffles. This is a classical problem arising in discrete dynamical
systems. The computations are performed through an elementary approach, so the
paper is easily accessible.
-----
When people mention the number theoretical achievements in Ancient China, the
famous Chinese Remainder Theorem always springs to mind. But, two more of
them--the concept of primes and the algorithm for counting the greatest common
divisor, are rarely spoken. Some scholars even think that Ancient China has not
the concept of primes. The aim of this paper is to show that the concept of
primes in Ancient China can be traced back to the time of Confuciusor (about
500 B.C.) or more ago.
In a recent work [JNT \textbf{118}, 192 (2006)], Dancs and He have found new
"Euler-type" formulas for $ \ln{2} $ and $ \zeta{(2 n+1)}$, $ n $ being a
positive integer, each containing a series that apparently can not be evaluated
in closed form, providing some insight into why the odd case is more difficult
than the even, for which the Euler's formula applies, showing that $ \zeta{(2
n)} $ is a rational multiple of $\pi^{2 n}$.
We give two proofs of the identity $$\sqrt{\frac{\cos\frac{2\pi}{5}}
{\cos\frac{\pi}{5}}}+\sqrt{\frac{\cos\frac{\pi}{5}} {\cos\frac{2\pi}{5}}
}=\sqrt{5},$$ using and not using the gold ratio.
We give two proofs of the identity $$\sqrt{\frac{\cos\frac{2\pi}{5}}
{\cos\frac{\pi}{5}}}+\sqrt{\frac{\cos\frac{\pi}{5}} {\cos\frac{2\pi}{5}}
}=\sqrt{5},$$ using and not using the gold ratio.
We generalize Tennenbaum's geometric proof (popularized by Conway) of the
irrationality of sqrt(2) to sqrt(n) for n = 3, 5, 6 and 10.
A non-traditional proof of the Gregory-Leibniz series, based on the
relationships among the zeta function, Bernoulli coefficients, and the Laurent
expansion of the cotangent is given. New series for calculating pi are
obtained.
In this short paper, I introduce a simple method for exactly evaluating the
definite integrals $\int_0^{\pi}{\ln{(\sin{\theta})} d\theta}$,
$\int_0^{\pi/2}{\ln{(\sin{\theta})} d\theta}$,
$\int_0^{\pi/2}{\ln{(\cos{\theta})} d\theta}$, and
$\int_0^{\pi/2}{\ln{(\tan{\theta})} d\theta}$ in finite terms. The method
consists in taking into account certain products of trigonometric functions at
rational multiples of $\pi$ whose logarithm yields sums that can be promptly
written in the form of Riemann sums, and then to take the limit as the number
of terms tends to infinity.
This note is purely expositional. The statement of the Gauss theorem on the
constructibility of regular polygons by means of compass and ruler is simple
and well-known. However, its proofs given in textbooks available to the author
rely upon much notation. In this note a short elementary proof of the Gauss
theorem is presented. The note is accessible for students familiar with
polynomials and complex numbers, and could be an interesting easy reading for
mature mathematicians.