{"entities":{"Q7361546":{"pageid":31520177,"ns":120,"title":"Item:Q7361546","lastrevid":105368213,"modified":"2026-10-07T13:37:21Z","type":"item","id":"Q7361546","labels":{"en":{"language":"en","value":"P\u00f3lya\u2019s Proof of the Weighted Arithmetic\u2013Geometric Mean Inequality"}},"descriptions":{"en":{"language":"en","value":"AFP entry Weighted_Arithmetic_Geometric_Mean"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"265c9fcf17eeb0266d2606839f9557d4096845f6","datavalue":{"value":"https://isa-afp.org/entries/Weighted_Arithmetic_Geometric_Mean.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361546$ACD4236A-C7B7-40E8-A36F-91991B2573AE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8741f4873cf15451953e8b695bf25d9cd52af891","datavalue":{"value":{"time":"+2022-07-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361546$AD7C29AA-59A5-4F46-A24D-2FED563E269A","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"85859c7ab42dcb8b36208f2902b7ce0d86423a6f","datavalue":{"value":"Manuel Eberl","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361546$2131A039-292E-4811-83D6-B21FCD23C5A7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"182b3453c75f2653f845f3e802b23746aec52301","datavalue":{"value":{"text":"P\u00f3lya\u2019s Proof of the Weighted Arithmetic\u2013Geometric Mean Inequality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361546$4691FFEC-1167-433A-8F11-59C469106498","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c7d1fe4a367ae8ec72bf0a67ebcb6206b5c511e3","datavalue":{"value":"This article provides a formalisation of the Weighted Arithmetic\u2013Geometric Mean Inequality: given non-negative reals $a_1, \\ldots, a_n$ and non-negative weights $w_1, \\ldots, w_n$ such that $w_1 + \\ldots + w_n = 1$, we have \\[\\prod\\limits_{i=1}^n a_i^{w_i} \\leq \\sum\\limits_{i=1}^n w_i a_i\\ .\\] If the weights are additionally all non-zero, equality holds if and only if $a_1 = \\ldots = a_n$. As a corollary with $w_1 = \\ldots = w_n = 1/n$, the regular arithmetic\u2013geometric mean inequality follows, namely that \\[\\sqrt[n]{a_1\\,\\cdots\\, a_n} \\leq \\tfrac{1}{n}(a_1 + \\ldots + a_n)\\ .\\] I follow P\u00f3lya's elegant proof, which uses the inequality $1 + x \\leq e^x$ as a starting point. P\u00f3lya claims that this proof came to him in a dream, and that it was \u201cthe best mathematics he had ever dreamt.\u201d","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361546$5F3A5930-51F9-4F49-A328-AECE1EF32C2E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e96b3a8e503372ea2330c1247fa5497f5e993f5","datavalue":{"value":{"entity-type":"item","numeric-id":3158276,"id":"Q3158276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361546$DA1191C8-2F00-4686-B81F-98C8C367ABBB","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361546$F8E67E3D-CC3C-4EFD-9670-EAC54C214829","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"ef6655bf04dd34fee9f7dc3b2763244f951e30fe","datavalue":{"value":{"entity-type":"item","numeric-id":7360822,"id":"Q7360822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361546$5E6D945B-6C84-489E-AB79-16999C2FAE81","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361546$E43FDFD3-C540-4C7A-99F9-0B43EE689EE0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"P\u00f3lya\u2019s Proof of the Weighted Arithmetic\u2013Geometric Mean Inequality","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/P%C3%B3lya%E2%80%99s_Proof_of_the_Weighted_Arithmetic%E2%80%93Geometric_Mean_Inequality"}}}}}