Algebraic relations between sine and cosine values

B. Adamczewski,É. Delaygue

2024-06-03

Abstract:The aim of this note is to show that any algebraic relation over $\overline{\mathbb{Q}}$ between the values of the trigonometric functions sine and cosine at algebraic points can be derived from the Pythagorean identity and the angle addition formulas. This result is obtained as a consequence of the Lindemann-Weierstrass theorem.

Number Theory

What problem does this paper attempt to address?

A Note on the Necessary Conditions for the Algebraic Riccati Equation.

Yongliang Zhu,Prabhakar R. Pagilla

DOI: https://doi.org/10.1093/imamci/dni017

2005-01-01

IMA Journal of Mathematical Control and Information

Abstract:We derive some useful and easily computable necessary conditions for the existence of a positive semi-definite solution to the algebraic Ricatti equation (ARE). A motivating example is given to highlight the usefulness of the conditions for controller and observer designs for nonlinear systems. Further, an upper bound on the trace of the solution to the ARE is also derived.
A concise proof of Oppenheim's double inequality relating to the cosine and sine functions

Feng Qi,Bai-Ni Guo

DOI: https://doi.org/10.48550/arXiv.0902.2511

2009-02-15

Classical Analysis and ODEs

Abstract:In this paper, we provide a concise proof of Oppenheim's double inequality relating to the cosine and sine functions. In passing, we survey this topic.
Identities and inequalities for the cosine and sine functions

Iosif Pinelis

DOI: https://doi.org/10.48550/arXiv.2001.03191

2020-01-10

Abstract:Identities and inequalities for the cosine and sine functions are obtained.

Classical Analysis and ODEs
Pythagorean Theorem, Law of Sines and Law of Cosines: alternative proofs via shape derivatives

Lorenzo Cavallina

DOI: https://doi.org/10.48550/arXiv.2309.16691

2023-08-05

Abstract:We provide an alternative unified approach for proving the Pythagorean theorem (in dimension $2$ and higher), the law of sines and the law of cosines, based on the concept of shape derivative. The idea behind the proofs is very simple: we translate a triangle along a specific direction and compute the resulting change in area. Equating the change in area to zero yields the statements of the three aforementioned theorems.

History and Overview
Powers of Cosine and Sine

Leon D. Fairbanks

2024-10-22

Abstract:This paper presents expressions for sums of powers of sine and cosine in terms of the basis for the field extension obtained by adjoining the sine or cosine to the field of rational numbers.

General Mathematics
Relations algébriques entre valeurs de E-fonctions ou de M-fonctions

Boris Adamczewski,Colin Faverjon

2023-03-11

Abstract:We prove that all algebraic relations over $\overline{\mathbb Q}$ between values of Siegel's $E$-functions at some non-zero algebraic point have a functional source, in that they can be obtained as degeneration of $\delta$-algebraic relations over $\overline{\mathbb Q}(z)$ between the functions at stake. We also obtain an analogous result when considering Mahler's $M_q$-functions. In this case, the so-called $\sigma_q$-algebraic relations substitute for the $\delta$-algebraic relations. We also give several consequences of this result concerning some descent phenomena. The point of view we adopt here reveals some striking similarities between the theory of $E$-functions and the one of $M_q$-functions.

Number Theory
Note on a simple trigonometric equality

J.-P. Allouche

DOI: https://doi.org/10.1007/s11139-024-00840-7

2024-03-25

The Ramanujan Journal

Abstract:In a recent paper Vinay, Shweta, and Harshitha use Ramanujan's theta functions to prove several trigonometric equalities. Elementary proofs for some of these equalities were given by the author and Zeilberger, then for all but one by Berndt, Kim, and Zaharescu. The remaining equality was proved in the same paper of Berndt, Kim, and Zaharescu in a non-totally elementary way, in that it uses a result of Gauss in cyclotomy: here we give an elementary proof of the same equality. Also we show how to use automated tools to discover and prove some generalizations.

mathematics
Darboux Transformations Between Δα=sinh α and Δα=sin α and the Application to Pseudo-Spherical Congruences in R 2,1

Hu Hesheng

DOI: https://doi.org/10.1023/A:1007583627973

1999-01-01

Letters in Mathematical Physics

Abstract:In this Letter, it is proved that by using Darboux transformation, from a known solution of the sinh-Laplace equation (resp. sine-Laplace equation), new solutions of sine-Laplace equation (resp. sinh-Laplace equation) are obtained explicitly. The corresponding geometrical configuration is the space-like pseudo-spherical line congruence with two focal surfaces of negative constant curvature being space-like and time-like, respectively.
On the numerology of trigonometric polynomials

Hans-Christian Herbig,Mateus de Jesus Gonçalves

DOI: https://doi.org/10.48550/arXiv.2311.13604

2023-11-20

Abstract:This note is about the observation that the various transition formulas between bases of trigonometric polynomials can be expressed in terms binomial coefficients. More specifically, we write the entries of the Chebyshev matrices $ T$ and $ U$ in terms of binomial coefficients. We remark that the inverses of certain submatrices of the Chebyshev matrix $ T$ correspond to classical power reduction formulas for trigonometric functions. Therefore the entries of $ T^{-1}$ are expressible in terms of binomial coefficients and powers of two. The inverses of certain submatrices of the Chebyshev matrix $ U$ appear in power reduction formulas involving the Catalan triangles. We could not spot them in the literature. As a corollary the Catalan triangles are interpreted as inverses of rather natural matrices of binomial coefficients. We explain the matrix inversions in terms of Riordan arrays. We solve the integral $ \int _{0}^{2\pi }\cos^{2m}( x)\sin^{2n}( x) dx$ and deduce a hypergeometric identity from the Fourier expansion of $\cos^{2m}(x)$ and $ \sin^{2n}( x)$. As a corollary we prove that super Catalan numbers are integers. We emphasize that from the point of view of these base changes between the trigonometric polynomials it is more natural to work with $2\cos(x)$ and $2\sin(x)$ instead of $\cos(x)$ and $\sin(x)$, since the transition matrices become invertible over the integers. We do a similar analysis for the spread polynomials. This enables us to make a conjecture of Goh and Wildberger more precise. In this exposition we give a mostly self-contained account of the matter, the prerequisites just being four semesters of calculus, linear algebra, elementary complex variables and the residue theorem.

History and Overview
Inequalities for trigonometric sums

Horst Alzer,Man Kam Kwong

2023-07-10

Abstract:We present several new inequalities for trigonometric sums. Among others, we show that the inequality $$ \sum_{k=1}^n (n-k+1)(n-k+2)k\sin(kx) > \frac{2}{9} \sin(x) \bigl( 1+2\cos(x) \bigr)^2 $$ holds for all $n\geq 1$ and $x\in (0, 2\pi/3)$. The constant factor $2/9$ is sharp. This refines the classical Szegö-Schweitzer inequality which states that the sine sum is positive for all $n\geq 1$ and $x\in (0,2 \pi/3)$. Moreover, as an application of one of our results, we obtain a two-parameter class of absolutely monotonic functions.

Classical Analysis and ODEs
An elementary trigonometric equation

Victor H. Moll

DOI: https://doi.org/10.48550/arXiv.0709.3755

2007-09-24

Number Theory

Abstract:A systematic study of the trigonometric equation A tan a + B sin b = C, where A, B and C^2 are rational numbers. The special case tan Pi/11 + 4 sin 3 Pi/11 = sqrt[11] appears in the classical literature.
Algebraic solutions of linear differential equations: an arithmetic approach

Alin Bostan,Xavier Caruso,Julien Roques

2024-08-23

Abstract:Given a linear differential equation with coefficients in $\mathbb{Q}(x)$, an important question is to know whether its full space of solutions consists of algebraic functions, or at least if one of its specific solutions is algebraic. After presenting motivating examples coming from various branches of mathematics, we advertise in an elementary way a beautiful local-global arithmetic approach to these questions, initiated by Grothendieck in the late sixties. This approach has deep ramifications and leads to the still unsolved Grothendieck-Katz $p$-curvature conjecture.

Number Theory,Symbolic Computation,Classical Analysis and ODEs,Combinatorics
The Pentagonal Inequality

Roy Barbara

DOI: https://doi.org/10.48550/arXiv.1705.10460

2017-05-30

Abstract:Given a positive linear combination of five (respectively seven) cosines, where the angles are positive and sum to pi, the aim of this article is to express the sharp bound of the combination as a Positive Real Fraction in the coefficients (hence cosine-free). The method uses algebraic and arithmetic manipulations with judicious transformations.

Number Theory
Cosine-sine functional equation on semigroups

Omar Ajebbar,Elhoucien Elqorachi

2023-06-07

Abstract:Let $S$ be a semigroup. We determine the complex-valued solutions $f,g,h$ of the functional equation \begin{equation*}f(xy)=f(x)g(y)+g(x)f(y)+h(x)h(y), x,y\in S,\end{equation*} in terms of multiplicative functions, solutions of the special case $$\varphi(xy)=\varphi(x)\chi(y)+\chi(x)\varphi(y), x,y\in S$$ of the sine addition law, where $\chi:S\to\mathbb{C}$ is a multiplicative function, and also in terms of solutions of the particular case $$\psi(xy)=\psi(x)\chi(y)+\chi(x)\psi(y)+\varphi(x)\varphi(y), x,y\in S$$ of the cosine-sine functional equation where $\chi:S\to\mathbb{C}$ is a multiplicative function and $\varphi:S\to\mathbb{C}$ such that the pair $(\varphi,\chi)$ satisfies the sine addition law.

General Mathematics
Correspondence between geometrical and differential definitions of the sine and cosine functions and connection with kinematics

Horia I. Petrache

DOI: https://doi.org/10.4169/college.math.j.45.1.011

2011-10-25

Abstract:In classical physics, the familiar sine and cosine functions appear in two forms: (1) geometrical, in the treatment of vectors such as forces and velocities, and (2) differential, as solutions of oscillation and wave equations. These two forms correspond to two different definitions of trigonometric functions, one geometrical using right triangles and unit circles, and the other employing differential equations. Although the two definitions must be equivalent, this equivalence is not demonstrated in textbooks. In this manuscript, the equivalence between the geometrical and the differential definition is presented assuming no a priori knowledge of the properties of sine and cosine functions. We start with the usual length projections on the unit circle and use elementary geometry and elementary calculus to arrive to harmonic differential equations. This more general and abstract treatment not only reveals the equivalence of the two definitions but also provides an instructive perspective on circular and harmonic motion as studied in kinematics. This exercise can help develop an appreciation of abstract thinking in physics.

Physics Education
On a Trigonometric Inequality and Its Applications

Zhihua Zhang,Yu-Dong Wu

2004-01-01

Abstract:In this paper, we establish the following trigonometric inequality and another two similar inequalities: 8xy cosA(x cosB + y cosC)² ≤ (x² + y²)², where A,B,C are the angles of triangle ABC and x, y ≥ 0, with equality holding if and only if √((x² + y²)/2a) = xb = yc. By its applications, we give some mobile point geometric inequalities.
Explicit Properties of Apostol-Type Frobenius–Euler Polynomials Involving q-Trigonometric Functions with Applications in Computer Modeling

Yongsheng Rao,Waseem Ahmad Khan,Serkan Araci,Cheon Seoung Ryoo

DOI: https://doi.org/10.3390/math11102386

IF: 2.4

2023-05-21

Mathematics

Abstract:In this article, we define q-cosine and q-sine Apostol-type Frobenius–Euler polynomials and derive interesting relations. We also obtain new properties by making use of power series expansions of q-trigonometric functions, properties of q-exponential functions, and q-analogues of the binomial theorem. By using the Mathematica program, the computational formulae and graphical representation for the aforementioned polynomials are obtained. By making use of a partial derivative operator, we derived some interesting finite combinatorial sums. Finally, we detail some special cases for these results.

mathematics
Commutativity equations and their trigonometric solutions

Maali Alkadhem,Misha Feigin

DOI: https://doi.org/10.1098/rspa.2024.0168

2024-10-31

Proceedings of the Royal Society A Mathematical Physical and Engineering Sciences

Abstract:In the theory of Frobenius manifolds and Witten–Dijkgraaf–Verlinde–Verlinde (WDVV) equations, one normally assumes that Frobenius algebras associated with a solution F have an identity e . Equivalently, the corresponding flat metric can be expressed as a linear combination of the matrices of the third-order derivatives of the pre-potential function F . We show that under certain non-degeneracy conditions, this assumption can be omitted, that is, the identity field e exists automatically without further assumptions. We also study trigonometric solutions F determined by a finite collection of vectors with multiplicities, and we give an explicit formula for the field e for all the known such solutions. The corresponding collections of vectors are given by the non-simply laced root systems or are related to their projections to the intersection of mirrors.

multidisciplinary sciences
Evaluations and relations for finite trigonometric sums

Bruce C. Berndt,Sun Kim,Alexandru Zaharescu

2024-03-06

Abstract:Several methods are used to evaluate finite trigonometric sums. In each case, either the sum had not previously been evaluated, or it had been evaluated, but only by analytic means, e.g., by complex analysis or modular transformation formulas. We establish both reciprocity and three sum relations for trigonometric sums. Motivated by certain sums that we have evaluated, we add coprime conditions to the summands and thereby define analogues of Ramanujan sums, which we in turn evaluate. One of these analogues leads to a criterion for the Riemann Hypothesis, analogous to the Franel-Landau criterion.

Number Theory
Multiplicative relations for Fourier coefficients of degree 2 Siegel eigenforms

Dermot McCarthy

DOI: https://doi.org/10.48550/arXiv.1505.07049

2016-07-28

Abstract:We prove multiplicative relations between certain Fourier coefficients of degree 2 Siegel eigenforms. These relations are analogous to those for elliptic eigenforms. We also provide two sets of formulas for the eigenvalues of degree 2 Siegel eigenforms. The first evaluates the eigenvalues in terms of the form's Fourier coefficients, in the case $a(I) \neq 0$. The second expresses the eigenvalues of index $p$ and $p^2$, for $p$ prime, solely in terms of $p$ and $k$, the weight of the form, in the case $a(0)\neq 0$. From this latter case, we give simple expressions for the eigenvalues associated to degree 2 Siegel Eisenstein series.

Number Theory

Algebraic relations between sine and cosine values

A Note on the Necessary Conditions for the Algebraic Riccati Equation.

A concise proof of Oppenheim's double inequality relating to the cosine and sine functions

Identities and inequalities for the cosine and sine functions

Pythagorean Theorem, Law of Sines and Law of Cosines: alternative proofs via shape derivatives

Powers of Cosine and Sine

Relations algébriques entre valeurs de E-fonctions ou de M-fonctions

Note on a simple trigonometric equality

Darboux Transformations Between Δα=sinh α and Δα=sin α and the Application to Pseudo-Spherical Congruences in R 2,1

On the numerology of trigonometric polynomials

Inequalities for trigonometric sums

An elementary trigonometric equation

Algebraic solutions of linear differential equations: an arithmetic approach

The Pentagonal Inequality

Cosine-sine functional equation on semigroups

Correspondence between geometrical and differential definitions of the sine and cosine functions and connection with kinematics

On a Trigonometric Inequality and Its Applications

Explicit Properties of Apostol-Type Frobenius–Euler Polynomials Involving q-Trigonometric Functions with Applications in Computer Modeling

Commutativity equations and their trigonometric solutions

Evaluations and relations for finite trigonometric sums

Multiplicative relations for Fourier coefficients of degree 2 Siegel eigenforms