GeometricMean definitionUsing a PatternTest versus a Condition for pattern matchingMoving the location of the...

Where is the fallacy here?

Should I choose Itemized or Standard deduction?

Has the Isbell–Freyd criterion ever been used to check that a category is concretisable?

Are small insurances worth it

Can I become debt free or should I file for bankruptcy? How do I manage my debt and finances?

What can I substitute for soda pop in a sweet pork recipe?

Did Amazon pay $0 in taxes last year?

How to deny access to SQL Server to certain login over SSMS, but allow over .Net SqlClient Data Provider

Is my plan for fixing my water heater leak bad?

Must a tritone substitution use a dominant seventh chord?

Can you benefit from a Hammer of Thunderbolts’s Strength increase by holding it with something else than your hands?

What is this waxed root vegetable?

What type of postprocessing gives the effect of people standing out

Whom do I have to contact for a ticket refund in case of denied boarding (in the EU)?

What do the pedals on grand pianos do?

What's the purpose of these copper coils with resistors inside them in A Yamaha RX-V396RDS amplifier?

Accessing something inside the object when you don't know the key

It took me a lot of time to make this, pls like. (YouTube Comments #1)

Auto Insert date into Notepad

You'll find me clean when something is full

Six real numbers so that product of any five is the sixth one

How to speed up a process

CBP Reminds Travelers to Allow 72 Hours for ESTA. Why?

If nine coins are tossed, what is the probability that the number of heads is even?



GeometricMean definition


Using a PatternTest versus a Condition for pattern matchingMoving the location of the branch cut in MathematicaUse elements of Array inside function definitionExtract information from function definition returned by DefineDLLFunctionStrange behaviour of MMA in derivatives of some standard functionsRecursive definition of nested sumsWhy is the evaluation of f different using rules and using arguments to it as a function?Domain definition of a functionRecursion definition wont workImmediate Function Definition inside a Module













4












$begingroup$


According to the documentation for
GeometricMean



GeometricMean[Table[x[i],{i,1,n}]]==Product[x[i],{i,1,n}]^(1/n)


Presumably this is correct for x[i] positive real.



However, GeometricMean returns answers for some negative and complex inputs that are not consistent with this definition.



For example



GeometricMean[{-4, -4}]
(* -4 *)


(Perhaps it simply recognises a constant list as a special case, and shortcuts the definition to give an incorrect answer?)










share|improve this question











$endgroup$












  • $begingroup$
    Exp[Mean[Log[{-4, -4}]]] yields -4. The definition stated in the documentation doesn't seem to be the one used for numeric input.
    $endgroup$
    – Coolwater
    9 hours ago












  • $begingroup$
    @Coolwater, but note that FullSimplify[Exp[Mean[Log[#]]] == GeometricMean[#]] &@{-4, -5} returns False, so I don't think your explanation generalises.
    $endgroup$
    – mikado
    9 hours ago






  • 1




    $begingroup$
    "The geometric mean applies only to positive numbers." (Wiki (Times @@ #)^(1/Length@#) == Exp@Mean@Log@# &@ RandomReal[10, 100] evaluates to True
    $endgroup$
    – Bob Hanlon
    8 hours ago










  • $begingroup$
    GeometricMean[{-4, -4.}] yields positive 4., and GeometricMean[{-4, Unevaluated[-2^2]}] yields positive 4. Apparently a shortcut is taken when input is a list of identical elements, namely GeometricMean[{a, a,...}] is assumed to be a. (And GeometricMean[{-4, -4, -4, -4, -4.}] illustrates one of @Somos's points.)
    $endgroup$
    – Michael E2
    4 hours ago


















4












$begingroup$


According to the documentation for
GeometricMean



GeometricMean[Table[x[i],{i,1,n}]]==Product[x[i],{i,1,n}]^(1/n)


Presumably this is correct for x[i] positive real.



However, GeometricMean returns answers for some negative and complex inputs that are not consistent with this definition.



For example



GeometricMean[{-4, -4}]
(* -4 *)


(Perhaps it simply recognises a constant list as a special case, and shortcuts the definition to give an incorrect answer?)










share|improve this question











$endgroup$












  • $begingroup$
    Exp[Mean[Log[{-4, -4}]]] yields -4. The definition stated in the documentation doesn't seem to be the one used for numeric input.
    $endgroup$
    – Coolwater
    9 hours ago












  • $begingroup$
    @Coolwater, but note that FullSimplify[Exp[Mean[Log[#]]] == GeometricMean[#]] &@{-4, -5} returns False, so I don't think your explanation generalises.
    $endgroup$
    – mikado
    9 hours ago






  • 1




    $begingroup$
    "The geometric mean applies only to positive numbers." (Wiki (Times @@ #)^(1/Length@#) == Exp@Mean@Log@# &@ RandomReal[10, 100] evaluates to True
    $endgroup$
    – Bob Hanlon
    8 hours ago










  • $begingroup$
    GeometricMean[{-4, -4.}] yields positive 4., and GeometricMean[{-4, Unevaluated[-2^2]}] yields positive 4. Apparently a shortcut is taken when input is a list of identical elements, namely GeometricMean[{a, a,...}] is assumed to be a. (And GeometricMean[{-4, -4, -4, -4, -4.}] illustrates one of @Somos's points.)
    $endgroup$
    – Michael E2
    4 hours ago
















4












4








4





$begingroup$


According to the documentation for
GeometricMean



GeometricMean[Table[x[i],{i,1,n}]]==Product[x[i],{i,1,n}]^(1/n)


Presumably this is correct for x[i] positive real.



However, GeometricMean returns answers for some negative and complex inputs that are not consistent with this definition.



For example



GeometricMean[{-4, -4}]
(* -4 *)


(Perhaps it simply recognises a constant list as a special case, and shortcuts the definition to give an incorrect answer?)










share|improve this question











$endgroup$




According to the documentation for
GeometricMean



GeometricMean[Table[x[i],{i,1,n}]]==Product[x[i],{i,1,n}]^(1/n)


Presumably this is correct for x[i] positive real.



However, GeometricMean returns answers for some negative and complex inputs that are not consistent with this definition.



For example



GeometricMean[{-4, -4}]
(* -4 *)


(Perhaps it simply recognises a constant list as a special case, and shortcuts the definition to give an incorrect answer?)







functions






share|improve this question















share|improve this question













share|improve this question




share|improve this question








edited 9 hours ago







mikado

















asked 9 hours ago









mikadomikado

6,6071929




6,6071929












  • $begingroup$
    Exp[Mean[Log[{-4, -4}]]] yields -4. The definition stated in the documentation doesn't seem to be the one used for numeric input.
    $endgroup$
    – Coolwater
    9 hours ago












  • $begingroup$
    @Coolwater, but note that FullSimplify[Exp[Mean[Log[#]]] == GeometricMean[#]] &@{-4, -5} returns False, so I don't think your explanation generalises.
    $endgroup$
    – mikado
    9 hours ago






  • 1




    $begingroup$
    "The geometric mean applies only to positive numbers." (Wiki (Times @@ #)^(1/Length@#) == Exp@Mean@Log@# &@ RandomReal[10, 100] evaluates to True
    $endgroup$
    – Bob Hanlon
    8 hours ago










  • $begingroup$
    GeometricMean[{-4, -4.}] yields positive 4., and GeometricMean[{-4, Unevaluated[-2^2]}] yields positive 4. Apparently a shortcut is taken when input is a list of identical elements, namely GeometricMean[{a, a,...}] is assumed to be a. (And GeometricMean[{-4, -4, -4, -4, -4.}] illustrates one of @Somos's points.)
    $endgroup$
    – Michael E2
    4 hours ago




















  • $begingroup$
    Exp[Mean[Log[{-4, -4}]]] yields -4. The definition stated in the documentation doesn't seem to be the one used for numeric input.
    $endgroup$
    – Coolwater
    9 hours ago












  • $begingroup$
    @Coolwater, but note that FullSimplify[Exp[Mean[Log[#]]] == GeometricMean[#]] &@{-4, -5} returns False, so I don't think your explanation generalises.
    $endgroup$
    – mikado
    9 hours ago






  • 1




    $begingroup$
    "The geometric mean applies only to positive numbers." (Wiki (Times @@ #)^(1/Length@#) == Exp@Mean@Log@# &@ RandomReal[10, 100] evaluates to True
    $endgroup$
    – Bob Hanlon
    8 hours ago










  • $begingroup$
    GeometricMean[{-4, -4.}] yields positive 4., and GeometricMean[{-4, Unevaluated[-2^2]}] yields positive 4. Apparently a shortcut is taken when input is a list of identical elements, namely GeometricMean[{a, a,...}] is assumed to be a. (And GeometricMean[{-4, -4, -4, -4, -4.}] illustrates one of @Somos's points.)
    $endgroup$
    – Michael E2
    4 hours ago


















$begingroup$
Exp[Mean[Log[{-4, -4}]]] yields -4. The definition stated in the documentation doesn't seem to be the one used for numeric input.
$endgroup$
– Coolwater
9 hours ago






$begingroup$
Exp[Mean[Log[{-4, -4}]]] yields -4. The definition stated in the documentation doesn't seem to be the one used for numeric input.
$endgroup$
– Coolwater
9 hours ago














$begingroup$
@Coolwater, but note that FullSimplify[Exp[Mean[Log[#]]] == GeometricMean[#]] &@{-4, -5} returns False, so I don't think your explanation generalises.
$endgroup$
– mikado
9 hours ago




$begingroup$
@Coolwater, but note that FullSimplify[Exp[Mean[Log[#]]] == GeometricMean[#]] &@{-4, -5} returns False, so I don't think your explanation generalises.
$endgroup$
– mikado
9 hours ago




1




1




$begingroup$
"The geometric mean applies only to positive numbers." (Wiki (Times @@ #)^(1/Length@#) == Exp@Mean@Log@# &@ RandomReal[10, 100] evaluates to True
$endgroup$
– Bob Hanlon
8 hours ago




$begingroup$
"The geometric mean applies only to positive numbers." (Wiki (Times @@ #)^(1/Length@#) == Exp@Mean@Log@# &@ RandomReal[10, 100] evaluates to True
$endgroup$
– Bob Hanlon
8 hours ago












$begingroup$
GeometricMean[{-4, -4.}] yields positive 4., and GeometricMean[{-4, Unevaluated[-2^2]}] yields positive 4. Apparently a shortcut is taken when input is a list of identical elements, namely GeometricMean[{a, a,...}] is assumed to be a. (And GeometricMean[{-4, -4, -4, -4, -4.}] illustrates one of @Somos's points.)
$endgroup$
– Michael E2
4 hours ago






$begingroup$
GeometricMean[{-4, -4.}] yields positive 4., and GeometricMean[{-4, Unevaluated[-2^2]}] yields positive 4. Apparently a shortcut is taken when input is a list of identical elements, namely GeometricMean[{a, a,...}] is assumed to be a. (And GeometricMean[{-4, -4, -4, -4, -4.}] illustrates one of @Somos's points.)
$endgroup$
– Michael E2
4 hours ago












1 Answer
1






active

oldest

votes


















6












$begingroup$

Similar to many other means, the geometric mean is homogenous. This means that



GeometricMean[ c data ] == c GeometricMean[ data ]


should be true for any number c. However, the problem is that $n$th roots are multi-valued in general and this causes no end of confusion. This is usually no problem for positive reals, but for negative reals it can be confusing. Do you want odd roots of negative reals be negative? Sometimes yes and sometimes no. For example, in version 10.2 the result of your example is $4$. Thus, the behavior has changed somewhat over time and there is no way to satisfy all expectations. The documentation for GeometricMean[] should be more clear in this regard.






share|improve this answer











$endgroup$













    Your Answer





    StackExchange.ifUsing("editor", function () {
    return StackExchange.using("mathjaxEditing", function () {
    StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
    StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
    });
    });
    }, "mathjax-editing");

    StackExchange.ready(function() {
    var channelOptions = {
    tags: "".split(" "),
    id: "387"
    };
    initTagRenderer("".split(" "), "".split(" "), channelOptions);

    StackExchange.using("externalEditor", function() {
    // Have to fire editor after snippets, if snippets enabled
    if (StackExchange.settings.snippets.snippetsEnabled) {
    StackExchange.using("snippets", function() {
    createEditor();
    });
    }
    else {
    createEditor();
    }
    });

    function createEditor() {
    StackExchange.prepareEditor({
    heartbeatType: 'answer',
    autoActivateHeartbeat: false,
    convertImagesToLinks: false,
    noModals: true,
    showLowRepImageUploadWarning: true,
    reputationToPostImages: null,
    bindNavPrevention: true,
    postfix: "",
    imageUploader: {
    brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
    contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
    allowUrls: true
    },
    onDemand: true,
    discardSelector: ".discard-answer"
    ,immediatelyShowMarkdownHelp:true
    });


    }
    });














    draft saved

    draft discarded


















    StackExchange.ready(
    function () {
    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathematica.stackexchange.com%2fquestions%2f192613%2fgeometricmean-definition%23new-answer', 'question_page');
    }
    );

    Post as a guest















    Required, but never shown

























    1 Answer
    1






    active

    oldest

    votes








    1 Answer
    1






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes









    6












    $begingroup$

    Similar to many other means, the geometric mean is homogenous. This means that



    GeometricMean[ c data ] == c GeometricMean[ data ]


    should be true for any number c. However, the problem is that $n$th roots are multi-valued in general and this causes no end of confusion. This is usually no problem for positive reals, but for negative reals it can be confusing. Do you want odd roots of negative reals be negative? Sometimes yes and sometimes no. For example, in version 10.2 the result of your example is $4$. Thus, the behavior has changed somewhat over time and there is no way to satisfy all expectations. The documentation for GeometricMean[] should be more clear in this regard.






    share|improve this answer











    $endgroup$


















      6












      $begingroup$

      Similar to many other means, the geometric mean is homogenous. This means that



      GeometricMean[ c data ] == c GeometricMean[ data ]


      should be true for any number c. However, the problem is that $n$th roots are multi-valued in general and this causes no end of confusion. This is usually no problem for positive reals, but for negative reals it can be confusing. Do you want odd roots of negative reals be negative? Sometimes yes and sometimes no. For example, in version 10.2 the result of your example is $4$. Thus, the behavior has changed somewhat over time and there is no way to satisfy all expectations. The documentation for GeometricMean[] should be more clear in this regard.






      share|improve this answer











      $endgroup$
















        6












        6








        6





        $begingroup$

        Similar to many other means, the geometric mean is homogenous. This means that



        GeometricMean[ c data ] == c GeometricMean[ data ]


        should be true for any number c. However, the problem is that $n$th roots are multi-valued in general and this causes no end of confusion. This is usually no problem for positive reals, but for negative reals it can be confusing. Do you want odd roots of negative reals be negative? Sometimes yes and sometimes no. For example, in version 10.2 the result of your example is $4$. Thus, the behavior has changed somewhat over time and there is no way to satisfy all expectations. The documentation for GeometricMean[] should be more clear in this regard.






        share|improve this answer











        $endgroup$



        Similar to many other means, the geometric mean is homogenous. This means that



        GeometricMean[ c data ] == c GeometricMean[ data ]


        should be true for any number c. However, the problem is that $n$th roots are multi-valued in general and this causes no end of confusion. This is usually no problem for positive reals, but for negative reals it can be confusing. Do you want odd roots of negative reals be negative? Sometimes yes and sometimes no. For example, in version 10.2 the result of your example is $4$. Thus, the behavior has changed somewhat over time and there is no way to satisfy all expectations. The documentation for GeometricMean[] should be more clear in this regard.







        share|improve this answer














        share|improve this answer



        share|improve this answer








        edited 7 hours ago

























        answered 8 hours ago









        SomosSomos

        1,34519




        1,34519






























            draft saved

            draft discarded




















































            Thanks for contributing an answer to Mathematica Stack Exchange!


            • Please be sure to answer the question. Provide details and share your research!

            But avoid



            • Asking for help, clarification, or responding to other answers.

            • Making statements based on opinion; back them up with references or personal experience.


            Use MathJax to format equations. MathJax reference.


            To learn more, see our tips on writing great answers.




            draft saved


            draft discarded














            StackExchange.ready(
            function () {
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathematica.stackexchange.com%2fquestions%2f192613%2fgeometricmean-definition%23new-answer', 'question_page');
            }
            );

            Post as a guest















            Required, but never shown





















































            Required, but never shown














            Required, but never shown












            Required, but never shown







            Required, but never shown

































            Required, but never shown














            Required, but never shown












            Required, but never shown







            Required, but never shown







            Popular posts from this blog

            117736 Шеррод Примітки | Див. також | Посилання | Навігаційне...

            As a Security Precaution, the user account has been locked The Next CEO of Stack OverflowMS...

            Маріан Котлеба Зміст Життєпис | Політичні погляди |...