<?xml version="1.0" encoding="UTF-8" ?><rdf:RDF 
  xmlns="http://purl.org/rss/1.0/"
  xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
  xmlns:atom="http://www.w3.org/2005/Atom"
  xmlns:dc="http://purl.org/dc/elements/1.1/"
  xml:lang="ja">
  <channel rdf:about="http://w.atwiki.jp/hotw/">
    <title>余白のページ</title>
    <link>http://w.atwiki.jp/hotw/</link>
    <atom:link href="https://w.atwiki.jp/hotw/rss10.xml" rel="self" type="application/rss+xml" />
    <atom:link rel="hub" href="https://pubsubhubbub.appspot.com" />
    <description>余白のページ</description>

    <dc:language>ja</dc:language>
    <dc:date>2010-01-02T02:21:33+09:00</dc:date>
    <utime>1262366493</utime>

    <items>
      <rdf:Seq>
                <rdf:li rdf:resource="https://w.atwiki.jp/hotw/pages/15.html" />
                <rdf:li rdf:resource="https://w.atwiki.jp/hotw/pages/20.html" />
                <rdf:li rdf:resource="https://w.atwiki.jp/hotw/pages/29.html" />
                <rdf:li rdf:resource="https://w.atwiki.jp/hotw/pages/14.html" />
                <rdf:li rdf:resource="https://w.atwiki.jp/hotw/pages/28.html" />
                <rdf:li rdf:resource="https://w.atwiki.jp/hotw/pages/26.html" />
                <rdf:li rdf:resource="https://w.atwiki.jp/hotw/pages/27.html" />
                <rdf:li rdf:resource="https://w.atwiki.jp/hotw/pages/19.html" />
                <rdf:li rdf:resource="https://w.atwiki.jp/hotw/pages/23.html" />
                <rdf:li rdf:resource="https://w.atwiki.jp/hotw/pages/25.html" />
              </rdf:Seq>
    </items>
	
		
    
  </channel>
    <item rdf:about="https://w.atwiki.jp/hotw/pages/15.html">
    <title>メニュー</title>
    <link>https://w.atwiki.jp/hotw/pages/15.html</link>
    <description>
          </description>
    <dc:date>2010-01-02T02:21:33+09:00</dc:date>
    <utime>1262366493</utime>
  </item>
    <item rdf:about="https://w.atwiki.jp/hotw/pages/20.html">
    <title>関数</title>
    <link>https://w.atwiki.jp/hotw/pages/20.html</link>
    <description>
          </description>
    <dc:date>2010-01-02T02:21:09+09:00</dc:date>
    <utime>1262366469</utime>
  </item>
    <item rdf:about="https://w.atwiki.jp/hotw/pages/29.html">
    <title>公式集まとめ</title>
    <link>https://w.atwiki.jp/hotw/pages/29.html</link>
    <description>
      -[[関数+]]    </description>
    <dc:date>2010-01-02T02:13:11+09:00</dc:date>
    <utime>1262365991</utime>
  </item>
    <item rdf:about="https://w.atwiki.jp/hotw/pages/14.html">
    <title>トップページ</title>
    <link>https://w.atwiki.jp/hotw/pages/14.html</link>
    <description>
          </description>
    <dc:date>2009-11-21T00:08:14+09:00</dc:date>
    <utime>1258729694</utime>
  </item>
    <item rdf:about="https://w.atwiki.jp/hotw/pages/28.html">
    <title>一般的な平均の考察</title>
    <link>https://w.atwiki.jp/hotw/pages/28.html</link>
    <description>
      ここでの平均については、

 f(x_1,x_2,…,x_n)=f(&lt;x&gt;,&lt;x&gt;,&lt;x&gt;,…,&lt;x&gt;)を満たすただ一つの&lt;x&gt;を
 x_1,x_2,…,x_nの関数fについての平均の値である。

の前項の定義を大前提とする。

ただ一つであるためのfの条件は

 f(&lt;x&gt;,&lt;x&gt;,&lt;x&gt;,…,&lt;x&gt;)が単調増加or単調減少である。…①

また、それぞれの要素を入れ替えても&lt;x&gt;には影響しないということは

平均を考える際に許される。よって、

 f(x_1,x_2,…,x_n)は対称式である。…②

これらを用いて以下を証明する。

 m=min(x_1,…x_n),M=max(x_1,x_2,…x_n)とおくとm≦&lt;x&gt;≦Mである。…③

f(m,m,…,m)≦f(x_1,m,…,m)と仮定すると①,②よりfはそれぞれの変数について単調増加関数より

f(m,m,…,m)≦f(x_1,m,…,m)≦f(x_1,x_2,m,…m)≦…≦f(x_1,x_2,…x_n)≦…

≦f(M,M,…M)より

f(m,m,…,m)≦f(x_1,x_2,…,x_n)=f(&lt;x&gt;,&lt;x&gt;,…,&lt;x&gt;)≦f(M,M,…,M)

fはそれぞれの変数について単調増加よりf(x,x,…,x)も単調増加関数である。

∴m≦&lt;x&gt;≦M

また、f(m,m…,m)≧f(x_1,m,…,m)と仮定しても同様に考えて上と同じ結果が得られる。

これよりどのような平均でもx_1～x_nの通る領域内に&lt;x&gt;が存在する。

③より①の条件を絞ることができて

 閉区間[m,M]においてf(&lt;x&gt;,&lt;x&gt;,&lt;x&gt;,…,&lt;x&gt;)が単調増加or減少である。…①&#039;

次に平均値は    </description>
    <dc:date>2009-07-28T23:34:55+09:00</dc:date>
    <utime>1248791695</utime>
  </item>
    <item rdf:about="https://w.atwiki.jp/hotw/pages/26.html">
    <title>三角形の面積</title>
    <link>https://w.atwiki.jp/hotw/pages/26.html</link>
    <description>
          </description>
    <dc:date>2009-07-28T23:13:17+09:00</dc:date>
    <utime>1248790397</utime>
  </item>
    <item rdf:about="https://w.atwiki.jp/hotw/pages/27.html">
    <title>相加相乗の不等式</title>
    <link>https://w.atwiki.jp/hotw/pages/27.html</link>
    <description>
          </description>
    <dc:date>2009-07-25T00:16:21+09:00</dc:date>
    <utime>1248448581</utime>
  </item>
    <item rdf:about="https://w.atwiki.jp/hotw/pages/19.html">
    <title>等式変形</title>
    <link>https://w.atwiki.jp/hotw/pages/19.html</link>
    <description>
          </description>
    <dc:date>2009-07-06T01:04:47+09:00</dc:date>
    <utime>1246809887</utime>
  </item>
    <item rdf:about="https://w.atwiki.jp/hotw/pages/23.html">
    <title>因数分解</title>
    <link>https://w.atwiki.jp/hotw/pages/23.html</link>
    <description>
          </description>
    <dc:date>2009-07-06T00:10:51+09:00</dc:date>
    <utime>1246806651</utime>
  </item>
    <item rdf:about="https://w.atwiki.jp/hotw/pages/25.html">
    <title>確率の文法</title>
    <link>https://w.atwiki.jp/hotw/pages/25.html</link>
    <description>
          </description>
    <dc:date>2009-07-04T09:30:09+09:00</dc:date>
    <utime>1246667409</utime>
  </item>
  </rdf:RDF>
