Not signed in (Sign In)

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Site Tag Cloud

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nforum nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf sheaves simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
  1. Page created, but author did not leave any comments.


    v1, current

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeMay 8th 2022
    • (edited May 8th 2022)

    in the first line of Properties, I have changed “could be” to “may be” (okay?)

    took the liberty of changing “image of ff” to “value of ff” (to be pedantic, but let me know if you disagree)

    removed the redundant duplicate of the work “Wikipedia”

    diff, v3, current

    • CommentRowNumber3.
    • CommentAuthorGuest
    • CommentTimeMay 27th 2023

    replaced existing derivation of the real quadratic formula using differential calculus and the inverse function theorem with a conceptually simpler derivation of the quadratic formula using the exponential and natural logarithm and basic algebra

    diff, v14, current

    • CommentRowNumber4.
    • CommentAuthorHurkyl
    • CommentTimeMay 27th 2023
    • (edited May 27th 2023)

    I do not think the change in #3 is an improvement.

    Two things that are lost by removing the previous contents are:

    • Actually justifying the existence of the partial inverses
    • Examples of applying the basics of real analysis to rigorously prove things

    The first is a critical loss. The latter, I suspect, is a main part of the reason the page was created in the first place.

    I do not think it improves clarity to replace all uses of the square root function with a more complicated expression via exp\exp and log\log.

    And… I’m not sure imprecisely belaboring the high school algebra to solve the functional equation adds any value for the intended audience of this page. I feel like that’s a lot of detail spelling out something the reader would already be proficient in (and is still missing the detail to get the logic exactly right).

    • CommentRowNumber5.
    • CommentAuthorTodd_Trimble
    • CommentTimeMay 27th 2023

    Well, at this point I expect this is trolling.

    • CommentRowNumber6.
    • CommentAuthorGuest
    • CommentTimeMay 27th 2023

    I rolled back the changes made by the guest.

    Theresa Leba

  2. The original proof relies on the inverse function theorem. The subsection titled “In constructive mathematics” needs to state that the quadratic function is analytic or uniformly differentiable or something similar, since a function being continuously differentiable is not enough for the inverse function theorem to apply to the function in constructive mathematics from what i could remember.

    • CommentRowNumber8.
    • CommentAuthorGuest
    • CommentTimeMay 27th 2023

    Hello, I was the author of the new proof.

    First of all, I do admit that overwriting the existing proof was a mistake - it is good to have multiple proofs of the same thing in an article. (See the fundamental theorem of algebra article where the same thing gets proven multiple times).

    Secondly, to Todd Trimble’s comment; this was not a troll, this was a serious effort that was just poorly executed.

    The exponential and natural logarithm functions are real analytic in character: the existence of the former rely on Cauchy completeness of the real numbers and the existence of the latter rely on the inverse function theorem on the domain of the exponential function, or some other definition, like the integral definition or the analytic completion of power series definition, and proofs that they are inverses of each other rely on other theorems of real analysis.

    The algebra was an attempt to prove that partial inverses exist of the quadratic functions, but it relied on another property of the exponential and natural logarithm, the fact that exponential and natural logarithm are group isomorphisms between addition on the real numbers and multiplication on the positive real numbers, and I never explicitly mentioned that in my proof. More specifically, given that the exponential function is a group isomorphism from the additive group of real numbers and the multiplicative group of positive real numbers, then

    y=x 2=xx=exp(ln(x))exp(ln(x))=exp(ln(x)+ln(x))=exp(2ln(x))y = x^2 = x x = \exp(\ln(x)) \exp(\ln(x)) = \exp(\ln(x) + \ln(x)) = \exp(2 \ln(x))

    and then one gets ln(y)=2ln(x)\ln(y) = 2 \ln (x) and exp(12ln(y))=x\exp\left(\frac{1}{2} \ln(y)\right) = x, the latter which is the inverse of x 2x^2 on the domain (0,)(0, \infty) and codomain (0,)(0, \infty), and thus we could call it the square root sqrt(x)\mathrm{sqrt}(x). The other branch, when x<0x \lt 0 for xx 2x \mapsto x^2, follows from

    y=x 2=(x)(x)=exp(ln(x))exp(ln(x))=exp(ln(x)+ln(x))=exp(2ln(x))y = x^2 = (-x) (-x) = \exp(\ln(-x)) \exp(\ln(-x)) = \exp(\ln(-x) + \ln(-x)) = \exp(2 \ln(-x))

    and then one gets ln(y)=2ln(x)\ln(y) = 2 \ln (-x) and exp(12ln(y))=x-\exp\left(\frac{1}{2} \ln(y)\right) = x, which is just the negation of sqrt(x)\mathrm{sqrt}(x).