<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="nb">
	<id>https://matematikk.net/w/index.php?action=history&amp;feed=atom&amp;title=Bruker%3AKarl_Erik%2FProblem7</id>
	<title>Bruker:Karl Erik/Problem7 - Sideversjonshistorikk</title>
	<link rel="self" type="application/atom+xml" href="https://matematikk.net/w/index.php?action=history&amp;feed=atom&amp;title=Bruker%3AKarl_Erik%2FProblem7"/>
	<link rel="alternate" type="text/html" href="https://matematikk.net/w/index.php?title=Bruker:Karl_Erik/Problem7&amp;action=history"/>
	<updated>2026-04-09T02:29:22Z</updated>
	<subtitle>Versjonshistorikk for denne siden på wikien</subtitle>
	<generator>MediaWiki 1.42.3</generator>
	<entry>
		<id>https://matematikk.net/w/index.php?title=Bruker:Karl_Erik/Problem7&amp;diff=3643&amp;oldid=prev</id>
		<title>Karl Erik: Erstatter siden med «Problem7
----»</title>
		<link rel="alternate" type="text/html" href="https://matematikk.net/w/index.php?title=Bruker:Karl_Erik/Problem7&amp;diff=3643&amp;oldid=prev"/>
		<updated>2011-02-04T16:32:33Z</updated>

		<summary type="html">&lt;p&gt;Erstatter siden med «Problem7 ----»&lt;/p&gt;
&lt;table style=&quot;background-color: #fff; color: #202122;&quot; data-mw=&quot;interface&quot;&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;tr class=&quot;diff-title&quot; lang=&quot;nb&quot;&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: #fff; color: #202122; text-align: center;&quot;&gt;← Eldre sideversjon&lt;/td&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: #fff; color: #202122; text-align: center;&quot;&gt;Sideversjonen fra 4. feb. 2011 kl. 16:32&lt;/td&gt;
				&lt;/tr&gt;&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot; id=&quot;mw-diff-left-l1&quot;&gt;Linje 1:&lt;/td&gt;
&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Linje 1:&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;Problem7&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;Problem7&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;----&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;----&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;−&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;Consider the function &amp;lt;tex&amp;gt;f: (0,1] \to \mathbb{R}&amp;lt;/tex&amp;gt; defined by &amp;lt;tex&amp;gt;f(x) = \frac{\tan x}{x}&amp;lt;/tex&amp;gt;. We will show that it is increasing on its domain. We have &amp;lt;tex&amp;gt;f^{\prime}(x) = \frac{(\tan^2x+1)x-\tan(x)}{x^2}&amp;lt;/tex&amp;gt;, and this function is non-negative if we can show that &amp;lt;tex&amp;gt;(\tan^2x+1)x-\tan(x) \geq 0&amp;lt;/tex&amp;gt; for all &amp;lt;tex&amp;gt;x \in (0,1)&amp;lt;/tex&amp;gt;. To verify this, consider the function &amp;lt;tex&amp;gt;g: [0,1) \to \mathbb{R}&amp;lt;/tex&amp;gt; defined by &amp;lt;tex&amp;gt;g(x) = (\tan^2(x)+1)x-\tan(x)&amp;lt;/tex&amp;gt;. &amp;lt;tex&amp;gt;g(0) = 0&amp;lt;/tex&amp;gt;, and &amp;lt;tex&amp;gt;g^{\prime}(x) = \tan^2(x)+1+x(2\tan(x)(\tan^2(x)+1))-(\tan^2(x)+1) = 2x\tan(x)(\tan^2(x)+1)&amp;lt;/tex&amp;gt; which clearly is non-negative on &amp;lt;tex&amp;gt;[0,1)&amp;lt;/tex&amp;gt;. By this we conclude that &amp;lt;tex&amp;gt;f&amp;lt;/tex&amp;gt; is an increasing function. Hence for any &amp;lt;tex&amp;gt;x \in (0,1)&amp;lt;/tex&amp;gt; we have &amp;lt;tex&amp;gt;\frac{\tan(x)}{x} \leq \tan(1)&amp;lt;/tex&amp;gt;, or equivalently &amp;lt;tex&amp;gt;\tan(x) \leq x\tan(1)&amp;lt;/tex&amp;gt;.&lt;/del&gt;&lt;/div&gt;&lt;/td&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-side-added&quot;&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;−&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;&lt;/del&gt;&lt;/div&gt;&lt;/td&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-side-added&quot;&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;−&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;Define &amp;lt;tex&amp;gt;b_n = a_n-n&amp;lt;/tex&amp;gt; for every &amp;lt;tex&amp;gt;n \in \mathbb{N}&amp;lt;/tex&amp;gt;. We know that &amp;lt;tex&amp;gt;a_n \in (n,n+1)&amp;lt;/tex&amp;gt;, so &amp;lt;tex&amp;gt;b_n \in (0,1)&amp;lt;/tex&amp;gt;. By the preceding paragraph, we have &amp;lt;tex&amp;gt;\tan(1)(\pi b_n) \geq \tan(\pi b_n)=\tan(\pi (a_n+n)) = \tan(\pi a_n)=\frac{1}{a_n} = \frac{1}{b_n+n} \geq \frac{1}{n+1}&amp;lt;/tex&amp;gt;, hence &amp;lt;tex&amp;gt;b_n \geq \frac{1}{(n+1)\tan(1)\pi}&amp;lt;/tex&amp;gt;. It follows that the sum &amp;lt;tex&amp;gt;\sum^N_{n=0}a_n-n \geq \frac{1}{\tan(1)\pi} \sum^N_{n=0} \frac{1}{n+1}&amp;lt;/tex&amp;gt; and thus diverges as &amp;lt;tex&amp;gt;N \to \infty&amp;lt;/tex&amp;gt;.&lt;/del&gt;&lt;/div&gt;&lt;/td&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-side-added&quot;&gt;&lt;/td&gt;&lt;/tr&gt;

&lt;!-- diff cache key mattewiki_db:diff:1.41:old-3616:rev-3643:php=table --&gt;
&lt;/table&gt;</summary>
		<author><name>Karl Erik</name></author>
	</entry>
	<entry>
		<id>https://matematikk.net/w/index.php?title=Bruker:Karl_Erik/Problem7&amp;diff=3616&amp;oldid=prev</id>
		<title>Jarle på 4. feb. 2011 kl. 00:06</title>
		<link rel="alternate" type="text/html" href="https://matematikk.net/w/index.php?title=Bruker:Karl_Erik/Problem7&amp;diff=3616&amp;oldid=prev"/>
		<updated>2011-02-04T00:06:25Z</updated>

		<summary type="html">&lt;p&gt;&lt;/p&gt;
&lt;table style=&quot;background-color: #fff; color: #202122;&quot; data-mw=&quot;interface&quot;&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;tr class=&quot;diff-title&quot; lang=&quot;nb&quot;&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: #fff; color: #202122; text-align: center;&quot;&gt;← Eldre sideversjon&lt;/td&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: #fff; color: #202122; text-align: center;&quot;&gt;Sideversjonen fra 4. feb. 2011 kl. 00:06&lt;/td&gt;
				&lt;/tr&gt;&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot; id=&quot;mw-diff-left-l1&quot;&gt;Linje 1:&lt;/td&gt;
&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Linje 1:&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;Problem7&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;Problem7&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;----&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot;&gt;&lt;/td&gt;&lt;td style=&quot;background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;----&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-side-deleted&quot;&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;Consider the function &amp;lt;tex&amp;gt;f: (0,1] \to \mathbb{R}&amp;lt;/tex&amp;gt; defined by &amp;lt;tex&amp;gt;f(x) = \frac{\tan x}{x}&amp;lt;/tex&amp;gt;. We will show that it is increasing on its domain. We have &amp;lt;tex&amp;gt;f^{\prime}(x) = \frac{(\tan^2x+1)x-\tan(x)}{x^2}&amp;lt;/tex&amp;gt;, and this function is non-negative if we can show that &amp;lt;tex&amp;gt;(\tan^2x+1)x-\tan(x) \geq 0&amp;lt;/tex&amp;gt; for all &amp;lt;tex&amp;gt;x \in (0,1)&amp;lt;/tex&amp;gt;. To verify this, consider the function &amp;lt;tex&amp;gt;g: [0,1) \to \mathbb{R}&amp;lt;/tex&amp;gt; defined by &amp;lt;tex&amp;gt;g(x) = (\tan^2(x)+1)x-\tan(x)&amp;lt;/tex&amp;gt;. &amp;lt;tex&amp;gt;g(0) = 0&amp;lt;/tex&amp;gt;, and &amp;lt;tex&amp;gt;g^{\prime}(x) = \tan^2(x)+1+x(2\tan(x)(\tan^2(x)+1))-(\tan^2(x)+1) = 2x\tan(x)(\tan^2(x)+1)&amp;lt;/tex&amp;gt; which clearly is non-negative on &amp;lt;tex&amp;gt;[0,1)&amp;lt;/tex&amp;gt;. By this we conclude that &amp;lt;tex&amp;gt;f&amp;lt;/tex&amp;gt; is an increasing function. Hence for any &amp;lt;tex&amp;gt;x \in (0,1)&amp;lt;/tex&amp;gt; we have &amp;lt;tex&amp;gt;\frac{\tan(x)}{x} \leq \tan(1)&amp;lt;/tex&amp;gt;, or equivalently &amp;lt;tex&amp;gt;\tan(x) \leq x\tan(1)&amp;lt;/tex&amp;gt;.&lt;/ins&gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-side-deleted&quot;&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;&lt;/ins&gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-side-deleted&quot;&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;Define &amp;lt;tex&amp;gt;b_n = a_n-n&amp;lt;/tex&amp;gt; for every &amp;lt;tex&amp;gt;n \in \mathbb{N}&amp;lt;/tex&amp;gt;. We know that &amp;lt;tex&amp;gt;a_n \in (n,n+1)&amp;lt;/tex&amp;gt;, so &amp;lt;tex&amp;gt;b_n \in (0,1)&amp;lt;/tex&amp;gt;. By the preceding paragraph, we have &amp;lt;tex&amp;gt;\tan(1)(\pi b_n) \geq \tan(\pi b_n)=\tan(\pi (a_n+n)) = \tan(\pi a_n)=\frac{1}{a_n} = \frac{1}{b_n+n} \geq \frac{1}{n+1}&amp;lt;/tex&amp;gt;, hence &amp;lt;tex&amp;gt;b_n \geq \frac{1}{(n+1)\tan(1)\pi}&amp;lt;/tex&amp;gt;. It follows that the sum &amp;lt;tex&amp;gt;\sum^N_{n=0}a_n-n \geq \frac{1}{\tan(1)\pi} \sum^N_{n=0} \frac{1}{n+1}&amp;lt;/tex&amp;gt; and thus diverges as &amp;lt;tex&amp;gt;N \to \infty&amp;lt;/tex&amp;gt;.&lt;/ins&gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;/table&gt;</summary>
		<author><name>Jarle</name></author>
	</entry>
	<entry>
		<id>https://matematikk.net/w/index.php?title=Bruker:Karl_Erik/Problem7&amp;diff=3607&amp;oldid=prev</id>
		<title>Karl Erik: Ny side: Problem7 ----</title>
		<link rel="alternate" type="text/html" href="https://matematikk.net/w/index.php?title=Bruker:Karl_Erik/Problem7&amp;diff=3607&amp;oldid=prev"/>
		<updated>2011-02-03T22:17:57Z</updated>

		<summary type="html">&lt;p&gt;Ny side: Problem7 ----&lt;/p&gt;
&lt;p&gt;&lt;b&gt;Ny side&lt;/b&gt;&lt;/p&gt;&lt;div&gt;Problem7&lt;br /&gt;
----&lt;/div&gt;</summary>
		<author><name>Karl Erik</name></author>
	</entry>
</feed>