The Steiner-Lehmus equal bisectors theorem originated in the mid 19th century.Despite its age,it would have been accessible to Euclid and his contemporaries.The theorem remains evergreen,with new proofs continuing to ...The Steiner-Lehmus equal bisectors theorem originated in the mid 19th century.Despite its age,it would have been accessible to Euclid and his contemporaries.The theorem remains evergreen,with new proofs continuing to appear steadily.The theorem has fostered discussion about the nature of proof itself,direct and indirect.Here we continue the momentum by providing a trigonometric proof,relatively short,based on an analytic estimate that leverages algebraic trigonometric identities.Many proofs of the theorem exist in the literature.Some of these contain key ideas that already appeared in C.L.Lehmus’1850 proofs,not always with citation.In the aim of increasing awareness of and making more accessible Lehmus’proofs,we provide an annotated translation.We conclude with remarks on different proofs and relations among them.展开更多
The existing various couple stress theories have been carefully restudied.The purpose is to propose a coupled Noether's theorem and to reestablish rather complete conservation laws and balance equations for co...The existing various couple stress theories have been carefully restudied.The purpose is to propose a coupled Noether's theorem and to reestablish rather complete conservation laws and balance equations for couple stress elastodynamics. The new concrete forms of various conservation laws of couple stress elasticity are derived. The precise nature of these conservation laws which result from the given invariance requirements are established. Various special cases are reduced and the results of micropolar continua may be naturally transited from the results presented in this paper.展开更多
To study the Noether's theorem of nonholonomic systems of non_Chetaev's type with unilateral constraints in event space, firstly, the principle of D'Alembert_Lagrange for the systems with unilateral constr...To study the Noether's theorem of nonholonomic systems of non_Chetaev's type with unilateral constraints in event space, firstly, the principle of D'Alembert_Lagrange for the systems with unilateral constraints in event space is presented, secondly, the Noether's theorem and the Noether's inverse theorem for the nonholonomic systems of non_Chetaev's type with unilateral constraints in event space are studied and obtained, which is based upon the invariance of the differential variational principle under the infinitesimal transformations of group, finally, an example is given to illustrate the application of the result.展开更多
The Noether symmetry and the conserved quantity of a fractional Birkhoffian system are studied within the Riemann–Liouville fractional derivatives. Firstly, the fractional Birkhoff＇s equations and the corresponding ...The Noether symmetry and the conserved quantity of a fractional Birkhoffian system are studied within the Riemann–Liouville fractional derivatives. Firstly, the fractional Birkhoff＇s equations and the corresponding transversality conditions are given. Secondly, from special to general forms, Noether＇s theorems of a standard Birhoffian system are given, which provide an approach and theoretical basis for the further research on the Noether symmetry of the fractional Birkhoffian system. Thirdly, the invariances of the fractional Pfaffian action under a special one-parameter group of infinitesimal transformations without transforming the time and a general one-parameter group of infinitesimal transformations with transforming the time are studied, respectively, and the corresponding Noether＇s theorems are established. Finally, an example is given to illustrate the application of the results.展开更多
This paper focuses on the Noether symmetries and the conserved quantities for both holonomic and nonholonomic systems based on a new non-conservative dynamical model introduced by E1-Nabulsi. First, the E1-Nabulsi dyn...This paper focuses on the Noether symmetries and the conserved quantities for both holonomic and nonholonomic systems based on a new non-conservative dynamical model introduced by E1-Nabulsi. First, the E1-Nabulsi dynamical model which is based on a fractional integral extended by periodic laws is introduced, and E1-Nabulsi-Hamilton＇s canoni- cal equations for non-conservative Hamilton system with holonomic or nonholonomic constraints are established. Second, the definitions and criteria of E1-Nabulsi-Noether symmetrical transformations and quasi-symmetrical transformations are presented in terms of the invariance of E1-Nabulsi-Hamilton action under the infinitesimal transformations of the group. Fi- nally, Noether＇s theorems for the non-conservative Hamilton system under the E1-Nabulsi dynamical system are established, which reveal the relationship between the Noether symmetry and the conserved quantity of the system.展开更多
The fractional Pfaffian variational problem and Noether’s theorems were investigated in terms of Riemann-Liouville derivatives on the basis of El-Nabulsi fractional model.The problem of the calculus of variations wit...The fractional Pfaffian variational problem and Noether’s theorems were investigated in terms of Riemann-Liouville derivatives on the basis of El-Nabulsi fractional model.The problem of the calculus of variations with fractional derivatives is a hot topic recently.Firstly,within Riemann-Liouville derivatives,the ElNabulsi Pfaffian variational problem was presented,the fractional Pfaff-Birkhoff-d’Alembert principle was established,and the fractional Birkhoff equations and the corresponding transversality conditions were obtained.Then,the Noether’s theorems in terms of Riemann-Liouville derivatives for the Birkhoffian system on the basis of El-Nabulsi fractional model are investigated under the special and the general transformations respectively.Finally,an example is given to illustrate the methods and results appeared in this paper.展开更多
We establish the Stinespring dilation theorem of the link product of quantum channels in two different ways,discuss the discrimination of quantum channels,and show that the distinguishability can be improved by self-l...We establish the Stinespring dilation theorem of the link product of quantum channels in two different ways,discuss the discrimination of quantum channels,and show that the distinguishability can be improved by self-linking each quantum channel n times as n grows.We also find that the maximum value of Uhlmann's theorem can be achieved for diagonal channels.展开更多
We analyse the Diophantine equation of Fermat xp yp = zp with p > 2 a prime, x, y, z positive nonzero integers. We consider the hypothetical solution (a, b, c) of previous equation. We use Fermat main divisors, Dio...We analyse the Diophantine equation of Fermat xp yp = zp with p > 2 a prime, x, y, z positive nonzero integers. We consider the hypothetical solution (a, b, c) of previous equation. We use Fermat main divisors, Diophantine remainders of (a, b, c), an asymptotic approach based on Balzano Weierstrass Analysis Theorem as tools. We construct convergent infinite sequences and establish asymptotic results including the following surprising one. If z y = 1 then there exists a tight bound N such that, for all prime exponents p > N , we have xp yp zp.展开更多
In this paper,we prove some Liouville-type theorems for the stationary magnetomicropolar fluids under suitable conditions in three space dimensions.We first prove that the solutions are trivial under the assumption of...In this paper,we prove some Liouville-type theorems for the stationary magnetomicropolar fluids under suitable conditions in three space dimensions.We first prove that the solutions are trivial under the assumption of certain growth conditions for the mean oscillations of the potentials.And then we show similar results assuming that the solutions are contained in L^(p)(R^(3))with p∈[2,9/2).Finally,we show the same result for lower values of p∈[1,9/4)with the further assumption that the solutions vanish at infinity.展开更多
Fermat’s Last Theorem is a famous theorem in number theory which is difficult to prove.However,it is known that the version of polynomials with one variable of Fermat’s Last Theorem over C can be proved very concisely...Fermat’s Last Theorem is a famous theorem in number theory which is difficult to prove.However,it is known that the version of polynomials with one variable of Fermat’s Last Theorem over C can be proved very concisely.The aim of this paper is to study the similar problems about Fermat’s Last Theorem for multivariate(skew)-polynomials with any characteristic.展开更多
Rational approximation theory occupies a significant place in signal processing and systems theory. This research paper proposes an optimal design of BIBO stable multidimensional Infinite Impulse Response filters with...Rational approximation theory occupies a significant place in signal processing and systems theory. This research paper proposes an optimal design of BIBO stable multidimensional Infinite Impulse Response filters with a realizable (rational) transfer function thanks to the Adamjan, Arov and Krein (AAK) theorem. It is well known that the one dimensional AAK results give the best approximation of a polynomial as a rational function in the Hankel semi norm. We suppose that the Hankel matrix associated to the transfer function has a finite rank.展开更多
In this paper,we consider the extension of the concave integral from classical crispσ-algebra to fuzzyσ-algebra of fuzzy sets.Firstly,the concept of fuzzy concave integral on a fuzzy set is introduced.Secondly,some ...In this paper,we consider the extension of the concave integral from classical crispσ-algebra to fuzzyσ-algebra of fuzzy sets.Firstly,the concept of fuzzy concave integral on a fuzzy set is introduced.Secondly,some important properties of such integral are discussed.Finally,various kinds of convergence theorems of a sequence of fuzzy concave integrals are proved.展开更多
The proof by Andrew Wiles of Fermat’s Last Theorem in 1995 resolved the existence question for non-trivial solutions in integers x,y,zto the equation xn+yn=znfor n>2. There are none. Surprisingly, there are infini...The proof by Andrew Wiles of Fermat’s Last Theorem in 1995 resolved the existence question for non-trivial solutions in integers x,y,zto the equation xn+yn=znfor n>2. There are none. Surprisingly, there are infinitely many solutions if the problem is recast in terms of modular arithmetic. Over a hundred years ago Issai Schur was able to show that for any n there is always a sufficiently large prime p0such that for all primes p≥p0the congruence xn+yn≡zn(modp)has a non-trivial solution. Schur’s argument wasnon-constructive, and there is no systematic method available at present to construct specific examples for small primes. We offer a simple method for constructing all possible solutions to a large class of congruences of this type.展开更多
This paper applies Gödel’s Incompleteness Theorems to the evolution and development of human social systems.Although Gödel’s Incompleteness Theorems originated in the field of mathematics,their influence h...This paper applies Gödel’s Incompleteness Theorems to the evolution and development of human social systems.Although Gödel’s Incompleteness Theorems originated in the field of mathematics,their influence has long extended beyond mathematics,making an impact on philosophy,systems science,and the humanities and social sciences.The paper analyzes the autonomy and completeness of human social systems,arguing that evolving human societies are generally self-consistent.However,if the completeness of a human social system is compromised,the system either maintains self-consistency,ceases to evolve forward,enters a death spiral,and eventually decays and disintegrates.Or the system addresses the completeness issue,enters a state of non-self-consistency,introduces new axioms,becomes self-governing again,and enters a new form.From the sociological perspective,this is articulated as social revolution-the system continues to evolve forward;the absence of social revolution-the system does not evolve forward(Jin,1988).展开更多
A naïve discussion of Fermat’s last theorem conundrum is described. The present theorem’s proof is grounded on the well-known properties of sums of powers of the sine and cosine functions, the Minkowski norm de...A naïve discussion of Fermat’s last theorem conundrum is described. The present theorem’s proof is grounded on the well-known properties of sums of powers of the sine and cosine functions, the Minkowski norm definition, and some vector-specific structures.展开更多
In this paper,we present some vanishing theorems for p-harmonic forms on-super stable complete submanifold M immersed in sphere Sn+m.When 2≤1≤n-2,M has a flat normal bundle.Assuming that M is a minimal submanifold ...In this paper,we present some vanishing theorems for p-harmonic forms on-super stable complete submanifold M immersed in sphere Sn+m.When 2≤1≤n-2,M has a flat normal bundle.Assuming that M is a minimal submanifold andδ>1(n-1)p2/4n[p-1+(p-1)2kp],we prove a vanishing theorem for p-harmonicℓ-forms.展开更多
Teachers’teaching behavior plays a crucial role in students’development,and there are problems in the current teaching behavior of mathematics teachers such as ignoring students’cognitive needs,lack of equal opport...Teachers’teaching behavior plays a crucial role in students’development,and there are problems in the current teaching behavior of mathematics teachers such as ignoring students’cognitive needs,lack of equal opportunities for students’classroom performance as well as lack of formative evaluation of students.In order to solve the phenomenon,this paper analyzes and explains how to promote teaching based on the Teaching for Robust Understanding(TRU)evaluation framework with the goal of focusing on the development of all students,taking the teaching design of The Cosine Theorem as an example,and provides ideas and methods for first-line high school mathematics teachers.展开更多
Plausible reasoning is an important approach to reasoning conclusions.In order to cultivate students’habits and abilities to use plausible reasoning,we should give the students a chance to imitate and practice plausi...Plausible reasoning is an important approach to reasoning conclusions.In order to cultivate students’habits and abilities to use plausible reasoning,we should give the students a chance to imitate and practice plausible reasoning in our teaching.For our linear algebra course,most of the definitions and theorems in popular linear algebra textbooks are given directly.Thus,we give a concrete process that rediscovers determinant expansion on row or column theorem through plausible reasoning during our teaching to give the students the chance to learn the reasoning.展开更多
The purpose of the research in the NJIKI’s fundamental THEOREM-DEFINITION on fractions in the mathematical set ℚand by extension in ℝand ℂand in order to construct some algebraic structures is about the proved EXISTE...The purpose of the research in the NJIKI’s fundamental THEOREM-DEFINITION on fractions in the mathematical set ℚand by extension in ℝand ℂand in order to construct some algebraic structures is about the proved EXISTENCE and the DEFINITION by NJIKI of two INNOVATIVE, IMPORTANT and TEACHABLE operations of addition or additive operations, in ℚ, marked ⊕and +α,β, and taken as VECTORIAL, TRIANGULAR, of THREE or PROPORTIONAL operations and in order to make THEM not be different from the RATIONAL ONE, +, but to bring much more and new information on fractions, and, by extension in ℝand ℂ. And the very NJIKI’s fundamental THEOREM-DEFINITION having many APPLICATIONS in the everyday life of the HUMAN BEINGS and without talking about computer sciences, henceforth being supplied with very interesting new ALGORITHMS. And as for the work done in the research, it will be waiting for its extension to be done after publication and along with the research results concerned.展开更多
文摘The Steiner-Lehmus equal bisectors theorem originated in the mid 19th century.Despite its age,it would have been accessible to Euclid and his contemporaries.The theorem remains evergreen,with new proofs continuing to appear steadily.The theorem has fostered discussion about the nature of proof itself,direct and indirect.Here we continue the momentum by providing a trigonometric proof,relatively short,based on an analytic estimate that leverages algebraic trigonometric identities.Many proofs of the theorem exist in the literature.Some of these contain key ideas that already appeared in C.L.Lehmus’1850 proofs,not always with citation.In the aim of increasing awareness of and making more accessible Lehmus’proofs,we provide an annotated translation.We conclude with remarks on different proofs and relations among them.
文摘The existing various couple stress theories have been carefully restudied.The purpose is to propose a coupled Noether's theorem and to reestablish rather complete conservation laws and balance equations for couple stress elastodynamics. The new concrete forms of various conservation laws of couple stress elasticity are derived. The precise nature of these conservation laws which result from the given invariance requirements are established. Various special cases are reduced and the results of micropolar continua may be naturally transited from the results presented in this paper.
文摘To study the Noether's theorem of nonholonomic systems of non_Chetaev's type with unilateral constraints in event space, firstly, the principle of D'Alembert_Lagrange for the systems with unilateral constraints in event space is presented, secondly, the Noether's theorem and the Noether's inverse theorem for the nonholonomic systems of non_Chetaev's type with unilateral constraints in event space are studied and obtained, which is based upon the invariance of the differential variational principle under the infinitesimal transformations of group, finally, an example is given to illustrate the application of the result.
基金Project supported by the National Natural Science Foundation of China(Grant Nos.10972151 and 11272227the Innovation Program for Postgraduate in Higher Education Institutions of Jiangsu Province,China(Grant No.CXZZ11 0949)
文摘The Noether symmetry and the conserved quantity of a fractional Birkhoffian system are studied within the Riemann–Liouville fractional derivatives. Firstly, the fractional Birkhoff＇s equations and the corresponding transversality conditions are given. Secondly, from special to general forms, Noether＇s theorems of a standard Birhoffian system are given, which provide an approach and theoretical basis for the further research on the Noether symmetry of the fractional Birkhoffian system. Thirdly, the invariances of the fractional Pfaffian action under a special one-parameter group of infinitesimal transformations without transforming the time and a general one-parameter group of infinitesimal transformations with transforming the time are studied, respectively, and the corresponding Noether＇s theorems are established. Finally, an example is given to illustrate the application of the results.
基金supported by the National Natural Science Foundation of China(Grant Nos.10972151 and 11272227)the Innovation Program for Postgraduate in Higher Education Institutions of Jiangsu Province,China(Grant No.CXLX11_0961)
文摘This paper focuses on the Noether symmetries and the conserved quantities for both holonomic and nonholonomic systems based on a new non-conservative dynamical model introduced by E1-Nabulsi. First, the E1-Nabulsi dynamical model which is based on a fractional integral extended by periodic laws is introduced, and E1-Nabulsi-Hamilton＇s canoni- cal equations for non-conservative Hamilton system with holonomic or nonholonomic constraints are established. Second, the definitions and criteria of E1-Nabulsi-Noether symmetrical transformations and quasi-symmetrical transformations are presented in terms of the invariance of E1-Nabulsi-Hamilton action under the infinitesimal transformations of the group. Fi- nally, Noether＇s theorems for the non-conservative Hamilton system under the E1-Nabulsi dynamical system are established, which reveal the relationship between the Noether symmetry and the conserved quantity of the system.
基金National Natural Science Foundations of China(Nos.11572212,11272227,10972151)the Innovation Program for Scientific Research of Nanjing University of Science and Technology,Chinathe Innovation Program for Postgraduate in Higher Education Institutions of Jiangsu Province,China(No.KYLX15_0405)
文摘The fractional Pfaffian variational problem and Noether’s theorems were investigated in terms of Riemann-Liouville derivatives on the basis of El-Nabulsi fractional model.The problem of the calculus of variations with fractional derivatives is a hot topic recently.Firstly,within Riemann-Liouville derivatives,the ElNabulsi Pfaffian variational problem was presented,the fractional Pfaff-Birkhoff-d’Alembert principle was established,and the fractional Birkhoff equations and the corresponding transversality conditions were obtained.Then,the Noether’s theorems in terms of Riemann-Liouville derivatives for the Birkhoffian system on the basis of El-Nabulsi fractional model are investigated under the special and the general transformations respectively.Finally,an example is given to illustrate the methods and results appeared in this paper.
基金Project supported by the National Natural Science Foundation of China(Grant Nos.61877054,12031004,and 12271474).
文摘We establish the Stinespring dilation theorem of the link product of quantum channels in two different ways,discuss the discrimination of quantum channels,and show that the distinguishability can be improved by self-linking each quantum channel n times as n grows.We also find that the maximum value of Uhlmann's theorem can be achieved for diagonal channels.
文摘We analyse the Diophantine equation of Fermat xp yp = zp with p > 2 a prime, x, y, z positive nonzero integers. We consider the hypothetical solution (a, b, c) of previous equation. We use Fermat main divisors, Diophantine remainders of (a, b, c), an asymptotic approach based on Balzano Weierstrass Analysis Theorem as tools. We construct convergent infinite sequences and establish asymptotic results including the following surprising one. If z y = 1 then there exists a tight bound N such that, for all prime exponents p > N , we have xp yp zp.
基金supported by Inha University Research Grant and National Research Foundation of Korea Grant funded by the Korean Government(RS-2023-00212227)supported by National Research Foundation of Korea Grant funded by the Korean Government(NRF-2020R1C1C1A01006521)。
文摘In this paper,we prove some Liouville-type theorems for the stationary magnetomicropolar fluids under suitable conditions in three space dimensions.We first prove that the solutions are trivial under the assumption of certain growth conditions for the mean oscillations of the potentials.And then we show similar results assuming that the solutions are contained in L^(p)(R^(3))with p∈[2,9/2).Finally,we show the same result for lower values of p∈[1,9/4)with the further assumption that the solutions vanish at infinity.
基金supported by the National Natural Science Foundation of China(12131015,12071422).
文摘Fermat’s Last Theorem is a famous theorem in number theory which is difficult to prove.However,it is known that the version of polynomials with one variable of Fermat’s Last Theorem over C can be proved very concisely.The aim of this paper is to study the similar problems about Fermat’s Last Theorem for multivariate(skew)-polynomials with any characteristic.
文摘Rational approximation theory occupies a significant place in signal processing and systems theory. This research paper proposes an optimal design of BIBO stable multidimensional Infinite Impulse Response filters with a realizable (rational) transfer function thanks to the Adamjan, Arov and Krein (AAK) theorem. It is well known that the one dimensional AAK results give the best approximation of a polynomial as a rational function in the Hankel semi norm. We suppose that the Hankel matrix associated to the transfer function has a finite rank.
基金Supported in part by the National Social Science Foundation of China(19BTJ020)。
文摘In this paper,we consider the extension of the concave integral from classical crispσ-algebra to fuzzyσ-algebra of fuzzy sets.Firstly,the concept of fuzzy concave integral on a fuzzy set is introduced.Secondly,some important properties of such integral are discussed.Finally,various kinds of convergence theorems of a sequence of fuzzy concave integrals are proved.
文摘The proof by Andrew Wiles of Fermat’s Last Theorem in 1995 resolved the existence question for non-trivial solutions in integers x,y,zto the equation xn+yn=znfor n>2. There are none. Surprisingly, there are infinitely many solutions if the problem is recast in terms of modular arithmetic. Over a hundred years ago Issai Schur was able to show that for any n there is always a sufficiently large prime p0such that for all primes p≥p0the congruence xn+yn≡zn(modp)has a non-trivial solution. Schur’s argument wasnon-constructive, and there is no systematic method available at present to construct specific examples for small primes. We offer a simple method for constructing all possible solutions to a large class of congruences of this type.
文摘This paper applies Gödel’s Incompleteness Theorems to the evolution and development of human social systems.Although Gödel’s Incompleteness Theorems originated in the field of mathematics,their influence has long extended beyond mathematics,making an impact on philosophy,systems science,and the humanities and social sciences.The paper analyzes the autonomy and completeness of human social systems,arguing that evolving human societies are generally self-consistent.However,if the completeness of a human social system is compromised,the system either maintains self-consistency,ceases to evolve forward,enters a death spiral,and eventually decays and disintegrates.Or the system addresses the completeness issue,enters a state of non-self-consistency,introduces new axioms,becomes self-governing again,and enters a new form.From the sociological perspective,this is articulated as social revolution-the system continues to evolve forward;the absence of social revolution-the system does not evolve forward(Jin,1988).
文摘A naïve discussion of Fermat’s last theorem conundrum is described. The present theorem’s proof is grounded on the well-known properties of sums of powers of the sine and cosine functions, the Minkowski norm definition, and some vector-specific structures.
文摘In this paper,we present some vanishing theorems for p-harmonic forms on-super stable complete submanifold M immersed in sphere Sn+m.When 2≤1≤n-2,M has a flat normal bundle.Assuming that M is a minimal submanifold andδ>1(n-1)p2/4n[p-1+(p-1)2kp],we prove a vanishing theorem for p-harmonicℓ-forms.
基金Henan Province 2022 Teacher Education Curriculum Reform Research Project:Research on Improving the Teaching Practice Ability of Mathematics Normal University Students under the OBE Concept(Project number:2022-JSJYZD-009)A Study on the Measurement and Development of Mathematics Core Literacy for Secondary School Students,Doctoral Research Initiation Fee of Henan Normal University(Project number:20230234)Henan Normal University Graduate Quality Course Program,Mathematical Planning I(Project number:YJS2022KC02)。
文摘Teachers’teaching behavior plays a crucial role in students’development,and there are problems in the current teaching behavior of mathematics teachers such as ignoring students’cognitive needs,lack of equal opportunities for students’classroom performance as well as lack of formative evaluation of students.In order to solve the phenomenon,this paper analyzes and explains how to promote teaching based on the Teaching for Robust Understanding(TRU)evaluation framework with the goal of focusing on the development of all students,taking the teaching design of The Cosine Theorem as an example,and provides ideas and methods for first-line high school mathematics teachers.
文摘Plausible reasoning is an important approach to reasoning conclusions.In order to cultivate students’habits and abilities to use plausible reasoning,we should give the students a chance to imitate and practice plausible reasoning in our teaching.For our linear algebra course,most of the definitions and theorems in popular linear algebra textbooks are given directly.Thus,we give a concrete process that rediscovers determinant expansion on row or column theorem through plausible reasoning during our teaching to give the students the chance to learn the reasoning.
文摘The purpose of the research in the NJIKI’s fundamental THEOREM-DEFINITION on fractions in the mathematical set ℚand by extension in ℝand ℂand in order to construct some algebraic structures is about the proved EXISTENCE and the DEFINITION by NJIKI of two INNOVATIVE, IMPORTANT and TEACHABLE operations of addition or additive operations, in ℚ, marked ⊕and +α,β, and taken as VECTORIAL, TRIANGULAR, of THREE or PROPORTIONAL operations and in order to make THEM not be different from the RATIONAL ONE, +, but to bring much more and new information on fractions, and, by extension in ℝand ℂ. And the very NJIKI’s fundamental THEOREM-DEFINITION having many APPLICATIONS in the everyday life of the HUMAN BEINGS and without talking about computer sciences, henceforth being supplied with very interesting new ALGORITHMS. And as for the work done in the research, it will be waiting for its extension to be done after publication and along with the research results concerned.
