综合数学

We construct arithmetic terms representing the partial sums of binomial coefficients, and we extend these results to obtain arithmetic terms representing the multisections of binomial coefficient sums. We also introduce an arithmetic term…

In this note we derive some interesting definite integrals involving Malmsten logarithm forms, reciprocal logarithm forms and K\"{o}lbig type integrals in terms of special functions.

In this paper, we propose a class of elementary plane geometry problems closely related to the title of this paper. Here, a circle is the 1-dimensional curve bounding a disk. For any nonnegative integer, a circle is called $n$-enclosing if…

In this note, we prove the irrationality of $\zeta(5)$ and generalize the method to prove the irrationality of all higher odd zeta values. Our proof relies on the method of contradiction, existence of solution of a system of Linear…

Lately, Werner Schulte has conjectured that for all positive $n>1$, $n$ divides $\frac{(n-2)! (n-1)!}{2^{n-3}} + 4$ if and only if $n$ is prime. In this paper, We use elementary methods, to give a simple proof of this conjecture.

Suppose that $y>0$, $0\leq\alpha<2\pi$, and $0<K<1$. Let $P^+$ be the set of primes $p$ such that $\cos(y\ln p+\alpha)>K$ and $P^-$ the set of primes $p$ such that $\cos(y\ln p+\alpha)<-K$. In this paper, we prove $\sum_{p\in…

We propose a new framework for integrating quantifiers with other logical connectives in a higher-categorical setting. Our method systematically incorporates key coherence conditions-including those akin to the Beck-Chevalley property-and…

We present a unified categorical framework that connects the syntactic Henkin construction for the first-order Completeness Theorem with Lawvere's Fixed-Point Theorem. Concretely, we define two canonical functors from the category of…

This paper develops a systematic framework for integrating local categories that model logical connectives using higher category theory. By extending these local categories into a unified two-category enriched with natural isomorphisms, the…

This paper provides an overview of Lawvere's Fixed-Point Theorem in category theory and aims to detail the universal framework underlying self-reference and recursive structures. First, we rigorously define fundamental concepts - such as…

We prove identities for six infinite series whose values involve linear combinations of $\pi$ and $\operatorname{ln} 2$, that do not appear in standard infinite series references.

The eigenvalues of companion matrices associated with generalized Lucas sequences, denoted as L, exhibit a striking geometric resemblance to the Mandelbrot set M. This work investigates this connection by analyzing the statistical…

This open problem, first posed by Erd{\omicron}s, was further explored by Terence Tao. Tao work shows that the series can converge conditionally, but only under a sufficiently strong form of the Hardy-Littlewood conjecture for k-primary…

In this paper, the concept of the metric matrix is introduced to establish a concise and unified formulation for the inner product in barycentric coordinates. Building on this framework, we explore the intrinsic algebraic identities of…

Building upon the work of Chebyshev, Shannon and Kontoyiannis, it may be demonstrated that Chebyshev's asymptotic result: \begin{equation} \ln N \sim \sum_{p \leq N} \frac{1}{p} \cdot \ln p \end{equation} has a natural information-theoretic…

Within the setting of rare event modelling, the method of level sets allows us to define an equivalence relation over rare events with distinct rates of entropy production. This method allows us to clarify the relation between the empirical…

Does there exist an increasing absolutely continuous function, $f: [0,1] \rightarrow \mathbb R$ such that $\{x: f'(x)=0\}$ is both countable and dense? This problem was proposed by F.S. Cater about two decades ago. We give an affirmative…

The purpose of this paper is to show how Gelfand's formula and balancing can be used to improve the upper and lower bounds of the spectrum of a companion matrix associated with a given real or complex polynomial. Examples and other related…

A congruum was first defined by Leonardo Pisano in 1225 and it is defined as the common difference in an arithmetic progression of three perfect squares. Later that year in his book Liber Quadratorum, Pisano proved that congruums can never…

We show upper and lower bounds for angles in iterations of trisections of certain triangulations.