Tjyylli

Dystopian novel where telepathic humans live under a dome

What is a term for a function that when called repeatedly, has the same effect as calling once?

A bug in Excel? Conditional formatting for marking duplicates also highlights unique value

Graphing random points on the XY-plane

What happened to QGIS 2.x

Non-Italian European mafias in USA?

How can atoms be electrically neutral when there is a difference in the positions of the charges?

At what level can a party fight a mimic?

The need of reserving one's ability in job interviews

Is there a math equivalent to the conditional ternary operator?

What Does the Heart In Gyms Mean?

Heating basement floor with water heater

Does an unattuned Frost Brand weapon still glow in freezing temperatures?

Where is the fallacy here?

Giving a talk in my old university, how prominently should I tell students my salary?

Is divide-by-zero a security vulnerability?

What are the issues with an additional (limited) concentration slot instead of Bladesong?

VAT refund for a conference ticket in Sweden

Filling in Area Under Curve Causes Alignment Issues

Difference between 'stomach' and 'uterus'

Borrowing Characters

What type of investment is best suited for a 1-year investment on a down payment?

What type of postprocessing gives the effect of people standing out

Dredging in a fantasy setting

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?)

functions

share|improve this question

edited yesterday

mikado

asked yesterday

mikadomikado

6,6071929

$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
  yesterday
  
  
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

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

  
  
  
  


• 
  
  
  

  
  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
  yesterday
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $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
  22 hours ago
  
  
  

  
  
  
  

add a comment | 

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?)

functions

share|improve this question

edited yesterday

mikado

asked yesterday

mikadomikado

6,6071929

$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
  yesterday
  
  
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

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

  
  
  
  


• 
  
  
  

  
  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
  yesterday
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $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
  22 hours ago
  
  
  

  
  
  
  

add a comment | 

$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?)

functions

share|improve this question

edited yesterday

mikado

asked yesterday

mikadomikado

6,6071929

$endgroup$

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

GeometricMean[{-4, -4}]

(* -4 *)

share|improve this question

edited yesterday

mikado

asked yesterday

mikadomikado

6,6071929

share|improve this question

edited yesterday

mikado

asked yesterday

mikadomikado

6,6071929

asked yesterday

mikadomikado

6,6071929

asked yesterday

mikadomikado

6,6071929

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

edited yesterday

answered yesterday

SomosSomos

1,36019

$endgroup$

add a comment | 

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

Sign up or log in

StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});

Sign up using Google

Sign up using Facebook

Sign up using Email and Password

Post as a guest

Name

Email

Required, but never shown

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

Name

Email

Required, but never shown

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

edited yesterday

answered yesterday

SomosSomos

1,36019

$endgroup$

add a comment | 

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

edited yesterday

answered yesterday

SomosSomos

1,36019

$endgroup$

add a comment | 

$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

edited yesterday

answered yesterday

SomosSomos

1,36019

$endgroup$

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

share|improve this answer

edited yesterday

answered yesterday

SomosSomos

1,36019

answered yesterday

SomosSomos

1,36019

answered yesterday

SomosSomos

1,36019