On the Computation of Square Roots

1931 ◽  
Vol 24 (2) ◽  
pp. 86-88
Author(s):  
L. E. Ward

This paper is intended not only to exhibit a method for computing the square root of a given positive number, but also to give by purely algebraic reasoning a rigorous proof of the correctness of the method, a feature which is sadly lacking in numerous discussions in some of our elementary text books. No originality is claimed for the method.

2021 ◽  
Vol 2021 (4) ◽  
Author(s):  
James Drummond ◽  
Jack Foster ◽  
Ömer Gürdoğan ◽  
Chrysostomos Kalousios

Abstract We address the appearance of algebraic singularities in the symbol alphabet of scattering amplitudes in the context of planar $$ \mathcal{N} $$ N = 4 super Yang-Mills theory. We argue that connections between cluster algebras and tropical geometry provide a natural language for postulating a finite alphabet for scattering amplitudes beyond six and seven points where the corresponding Grassmannian cluster algebras are finite. As well as generating natural finite sets of letters, the tropical fans we discuss provide letters containing square roots. Remarkably, the minimal fan we consider provides all the square root letters recently discovered in an explicit two-loop eight-point NMHV calculation.


2018 ◽  
Vol 7 (1) ◽  
pp. 77-83
Author(s):  
Rajendra Prasad Regmi

There are various methods of finding the square roots of positive real number. This paper deals with finding the principle square root of positive real numbers by using Lagrange’s and Newton’s interpolation method. The interpolation method is the process of finding the values of unknown quantity (y) between two known quantities.


Axioms ◽  
2019 ◽  
Vol 8 (2) ◽  
pp. 43
Author(s):  
Yoshihiro Sugimoto

In this paper, we prove that on any contact manifold ( M , ξ ) there exists an arbitrary C ∞ -small contactomorphism which does not admit a square root. In particular, there exists an arbitrary C ∞ -small contactomorphism which is not “autonomous”. This paper is the first step to study the topology of C o n t 0 ( M , ξ ) ∖ Aut ( M , ξ ) . As an application, we also prove a similar result for the diffeomorphism group Diff ( M ) for any smooth manifold M.


2020 ◽  
Author(s):  
Eduardo Mizraji

Abstract In this work, we investigate the representation of counterfactual conditionals using the vector logic, a matrix-vector formalism for logical functions and truth values. Inside this formalism, the counterfactuals can be transformed in complex matrices preprocessing an implication matrix with one of the square roots of NOT, a complex matrix. This mathematical approach puts in evidence the virtual character of the counterfactuals. This happens because this representation produces a valuation of a counterfactual that is the superposition of the two opposite truth values weighted, respectively, by two complex conjugated coefficients. This result shows that this procedure gives an uncertain evaluation projected on the complex domain. After this basic representation, the judgement of the plausibility of a given counterfactual allows us to shift the decision towards an acceptance or a refusal. This shift is the result of applying for a second time one of the two square roots of NOT.


1982 ◽  
Vol 23 (2) ◽  
pp. 137-149 ◽  
Author(s):  
Mary Snowden ◽  
J. M. Howie

Let X be a finite set and let (X) be the full transformation semigroup on X, i.e. the set of all mappings from X into X, the semigroup operation being composition of mappings. This paper aims to characterize those elements of (X) which have square roots. An easily verifiable necessary condition, that of being quasi-square, is found in Theorem 2, and in Theorems 4 and 5 we find necessary and sufficient conditions for certain special elements of (X). The property of being compatibly amenable is shown in Theorem 7 to be equivalent for all elements of (X) to the possession of a square root.


1829 ◽  
Vol 119 ◽  
pp. 241-254 ◽  

Some years ago my attention was drawn to those algebraic quantities, which are commonly called impossible roots or imaginary quantities: it appeared extraordinary, that mathematicians should be able by means of these quan­tities to pursue their investigations, both in pure and mixed mathematics, and to arrive at results which agree with the results obtained by other independent processes; and yet that the real nature of these quantities should be entirely unknown, and even their real existence denied. One thing was evident re­specting them; that they were quantities capable of undergoing algebraic operations analogous to the operations performed on what are called possible quantities, and of producing correct results: thus it was manifest, that the operations of algebra were more comprehensive than the definitions and funda­mental principles; that is, that they extended to a class of quantities, viz. those commonly called impossible roots, to which the definitions and funda­mental principles were inapplicable. It seemed probable, therefore, that there was a deficiency in the definitions and fundamental principles of algebra ; and that other definitions and fundamental principles might be discovered of a more comprehensive nature, which would extend to every class of quantities to which the operations of algebra were applicable; that is, both to possible and impossible quantities, as they are called. I was induced therefore to examine into the nature of algebraic operations, with a view, if possible, of arriving at these general definitions and fundamental principles: and I found, that, by considering algebra merely as applied to geometry, such principles and definitions might be obtained. The fundamental principles and definitions which I arrived at were these: that all straight lines drawn in a given plane from a given point, in any direction whatever, are capable of being algebra­ically represented, both in length and direction; that the addition of such lines (when estimated both in length and direction) must be performed in the same manner as composition of motion in dynamics; and that four such lines are proportionals, -both in length and direction, when they are proportionals in length, and the fourth is inclined to the third at the same angle that the second is to the first. From these principles I deduced, that, if a line drawn in any given direction be assumed as a positive quantity, and consequently its oppo­site, a negative quantity, a line drawn at right angles to the positive or nega­tive direction will be the square root of a negative quantity, and a line drawn in an oblique direction will be the sum of two quantities, the one either posi­tive or negative, and the other, the square root of a negative quantity.


It has always appeared a paradox in mathematics, that by em­ploying what are called imaginary or impossible quantities, and sub­jecting them to the same algebraic operations as those which are performed on quantities that are real and possible, the results ob­tained should always prove perfectly correct. The author inferring from this fact, that the operations of algebra are of a more compre­hensive nature than its definitions and fundamental principles, was led to inquire what extension might be given to these definitions and principles, so as to render them strictly applicable to quantities of every description, whether real or imaginary. This deficiency, he conceives, may be supplied by having recourse to certain geometrical considerations. By taking into account the directions as well as the lengths of lines drawn in a given plane, from a given point, the ad­dition of such lines may admit of being performed in the same man­ner as the composition of motions in dynamics; and four such lines may be regarded as proportional, both in length and direction, when they are proportionals in length, and, when also the fourth is inclined to the third at the same angle that the second is to the first. From this principle he deduces, that if a line drawn in any given di­rection be assumed as a positive quantity, and consequently its op­posite a negative quantity, a line drawn at right angles to the posi­tive or negative direction will be represented by the square root of a negative quantity ; and a line drawn in an oblique direction will be represented by the sum of two quantities, the one either positive or negative, and the other the square root of a negative quantity. On this subject, the author published a treatise in April 1828; since which period several objections have been made to this hypothesis. The purpose of the present paper is to answer these objections. The first of these is, that impossible roots should be considered merely as the indications of some impossible condition, which the pro­position that has given rise to them involves; and that they have in fact no real or absolute existence. To this it is replied by the author, that although such a statement may be true in some cases, it is by no means necessarily so in all; and that these quantities re­semble in this respect fractional and negative roots, which, whenever they are excluded by the nature of the question, are indeed signs of impossibility, but yet in other cases are admitted to be real and significant quantities. We have therefore no stronger reasons, à priori , for denying the real existence of what are called impossible roots, because they are in some cases the signs of impossibility, than we should have for refusing that character to fractional or negative roots on similar grounds.


Author(s):  
Endro Tri Susdarwono

The purpose of this research is to discuss how the influence of several calculation techniques that exist both in the west and in the east, especially the Vedic Math, Maya, Chunking and Square Root Babylonian methods based on the use of path analysis. The approach in this research uses a descriptive approach, the method used is quantitative methods. The quantitative approach uses statistical tests with path analysis to answer the relationship and influence between the 4 variables. From the results of the path analysis, it is found that there is an effect of X1 (mastery of addition and subtraction with Vedic Math), X2 (mastery of multiplication by the Mayan tribe), X3 (mastery of division using the Chunking Method) on X3 (mastery of calculating square roots with Babylonian Middle Iteration). The total effect is 0.887, The total effect of 0.887 shows that the influence of Vedic Math's control of addition and control, mastery of the multiplication of the Maya method, and mastery of the division of the Chunking method based on path analysis have a joint effect on students' ability to calculate questions related to the square root of the Babylonian middle iteration technique.


2018 ◽  
Vol 25 (6) ◽  
pp. 637-666
Author(s):  
Nikolay V. Shilov ◽  
Dmitry A. Kondratyev ◽  
Igor S. Anureev ◽  
Eugene V. Bodin ◽  
Alexei V. Promsky

The project “Platform-independent approach to formal specification and verification of standard mathematical functions” is aimed onto the development of incremental combined approach to specification and verification of standard Mathematical functions like sqrt, cos, sin, etc. Platform-independence means that we attempt to design a relatively simple axiomatization of the computer arithmetics in terms of real arithmetics (i.e. the field \(\mathbb{R}\) of real numbers) but do not specify neither base of the computer arithmetics, nor a format of numbers representation. Incrementality means that we start with the most straightforward specification of the simplest case to verify the algorithm in real numbers and finish with a realistic specification and a verification of the algorithm in computer arithmetics. We call our approach combined because we start with manual (pen-and-paper) verification of the algorithm in real numbers, then use this verification as proof-outlines for a manual verification of the algorithm in computer arithmetics, and finish with a computer-aided validation of the manual proofs with a proof-assistant system (to avoid appeals to “obviousness” that are common in human-carried proofs). In the paper, we apply our platform-independent incremental combined approach to specification and verification of the standard Mathematical square root function. Currently a computer-aided validation was carried for correctness (consistency) of our fix-point arithmetics and for the existence of a look-up table with the initial approximations of the square roots for fix-point numbers.


Author(s):  
Johan W van de Leur

Abstract It is well-known that a BKP tau-function is the square root of a certain KP tau-function, provided one puts the even KP times equal to zero. In this paper we compute for all polynomial BKP tau-function its corresponding KP ”square”. We also give, in the polynomial case, a representation theoretical proof of a recent result by Alexandov, viz. that a KdV tau-function becomes a BKP tau-function when one divides all KdV times by 2.


Sign in / Sign up

Export Citation Format

Share Document