Related papers: Morley Trisectors and the Law of Sines with Reflec…
We establish a simple generalization for the famous theorem of Morley about trisectors in triangle with a purely synthetic proof using only angle chasing and similar triangles. Furthermore, based on the converse construction, another simple…
We give a complete investigation of Morley's trisector theorem. If the intersections of the half lines starting from the adjacent vertices of a triangle form an equilateral triangle for an arbitrary triangle, then the half lines are the…
An approach is shown that proves various theorems of plane geometry in an algorithmic manner. The approach affords transparent proofs of a generalization of the Theorem of Morley and other well known results by casting them in terms of…
By "solving a triangle", one refers to determining the three sidelengths and the three angles, based on given information.Depending on the specific information, one or more triangles may satisfy the requirements of the given information.In…
Trigonometry is one of the topics in mathematics that the students in both high school and pre-undergraduate levels need to learn. Generally, the topic covers trigonometric functions, trigonometric equations, trigonometric identities and…
We prove a Morse index theorem for action functionals on paths that are allowed to reflect at a hypersurface (either in the interior or at the boundary of a manifold). Both fixed and periodic boundary conditions are treated.
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…
Frank Morley is famous for his theorem concerning the angle trisectors of a triangle. This note gives an elementary proof of another result of Morley's, which relates the middle binomial coefficient to a certain power of two. The striking…
The theorem of three circles in real algebraic geometry guarantees the termination and correctness of an algorithm of isolating real roots of a univariate polynomial. The main idea of its proof is to consider polynomials whose roots belong…
Taking up the challenge McConnell laid down at the end of his proof of the law of cosines, we give a completely visual dissection proof of this theorem, which applies to any triangle. In order to avoid the trigonometric expressions of…
In this paper, a theorem about similar triangles is proved. It shows that two small and four large triangles similar to the original triangle can appear if we choose well among several intersections of the perpendicular bisectors of the…
Using martingale convergence theorem, we prove a law of large numbers for monotone convolutions $\mu_{1}\triangleright\mu_{2}\triangleright\cdots\triangleright\mu_{n}$, where $\mu_{j}$'s are probability laws on $\mathbb{R}$ with finite…
We show that the theorem of the three perpendiculars holds in any n-dimensional space form.
The Pythagorean Theorem has been proved in hundreds of ways, yet it inspires fresh insights through geometry and trigonometry. In this paper, we offer a new proof based on three circles that circumscribe the sides of a right triangle.…
We extend the Law of Sines to simplices in Euclidean spaces of any number of dimensions.
Standard proofs of Lusin's theorem, using simple functions, are sometimes quite elaborate. Here, we give a one-sentence proof of Lusin's theorem. We do not believe our approach, by way of inverse images, is new. However, this particular…
We prove Simon's conjecture for 3-manifolds.
Torelli's theorem is proven by the study of the convolution product of the intersection cohomology sheaf of the thetadivisor.
This paper deals with a proof theory for a theory of $\Pi_{N}$-reflecting ordinals using a system of ordinal diagrams. This is a sequel to the previous one(APAL 129)in which a theory for $\Pi_{3}$-reflection is analysed proof-theoretically.
We establish a bound for the length of vectors involved in a unimodular triangulation of simplicial cones. The bound is exponential in the square of the logarithm of the multiplicity, and improves previous bounds significantly. The proof is…