20.5: Área de rectángulos sólidos
- Page ID
- 114518
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)Un rectángulo sólido con lados\(a\) y\(b\) tiene área\(a\cdot b\).
- Prueba
-
Supongamos que\(\mathcal{R}_{a,b}\) denota el rectángulo sólido con lados\(a\) y\(b\). Set
\(s(a,b)=\text{area } \mathcal{R}_{a,b}.\)
Por definición de área,\(s(1,1)=\text{area }(\mathcal{K})=1\). Es decir, se sostiene la primera identidad en el lema algebraico.
Tenga en cuenta que el rectángulo se\(\mathcal{R}_{a+b,c}\) puede subdividir en dos rectángulos congruentes con\(\mathcal{R}_{a,c}\) y\(\mathcal{R}_{b,c}\). Por lo tanto, por la Proposición 20.4.2,
\(\text{area }\mathcal{R}_{a+b,c}=\text{area } \mathcal{R}_{a,c}+\text{area } \mathcal{R}_{b,c}\)
Es decir, se mantiene la segunda identidad en el lema algebraico. La prueba de la tercera identidad es análoga.
Queda por aplicar el lema algebraico.
Supongamos que una función\(s\) devuelve un número real no negativo\(s(a,b)\) para cualquier par de números reales positivos\((a,b)\) y satisface las siguientes identidades:
\(\begin{aligned} s(1,1)&=1; \\ s(a,b+c)&=s(a,b)+s(a,c) \\ s(a+b,c)&=s(a,c)+s(b,c)\end{aligned}\)
para cualquier\(a,b,c>0\). Entonces
\(s(a,b)=a\cdot b\)
para cualquier\(a,b>0\).
La prueba es similar a la prueba de Lemma 14.4.1.
- Prueba
-
Tenga en cuenta que si\(a>a'\) y\(b>b'\) luego
\[s(a,b)\ge s(a',b').\]
En efecto, dado que\(s\) devuelve números no negativos, obtenemos que
\(\begin{aligned} s(a,b)&=s(a',b)+s(a-a',b)\ge \\ &\ge s(a',b)= \\ &\ge s(a',b')+s(a',b-b')\ge \\ &\ge s(a',b').\end{aligned}\)
Aplicando la segunda y tercera identidad pocas veces lo conseguimos
\(\begin{aligned} s(a,m\cdot b)=s(m\cdot a,b)=m\cdot s(a,b)\end{aligned}\)
para cualquier entero positivo\(m\). Por lo tanto
\(\begin{aligned} s(\tfrac kl,\tfrac mn)&=k \cdot s(\tfrac 1l,\tfrac mn)= \\ &=k\cdot m \cdot s(\tfrac 1l,\tfrac 1n)= \\ &=k\cdot m\cdot \tfrac 1l\cdot s(1, \tfrac 1n)= \\ &=k\cdot m\cdot \tfrac 1l\cdot \tfrac 1n\cdot s(1,1)= \\ &=\tfrac kl\cdot\tfrac mn\end{aligned}\)
para cualquier número entero positivo\(k\),\(l\),\(m\), y\(n\). Es decir, la identidad necesaria se mantiene para cualquier par de números racionales\(a=\tfrac kl\) y\(b=\tfrac mn\).
Argumentar por contradicción, asumir\(s(a,b)\ne a\cdot b\) para algún par de números reales positivos\((a,b)\). Consideraremos dos casos:\(s(a,b)> a\cdot b\) y\(s(a,b)< a\cdot b\).
Si\(s(a,b)> a\cdot b\), podemos elegir un entero positivo\(n\) tal que
\[s(a,b)> (a+\tfrac1n)\cdot (b+\tfrac1n).\]
Establecer\(k=\lfloor a\cdot n \rfloor+1\) y\(m=\lfloor b\cdot n \rfloor+1\); equivalentemente,\(k\) y\(m\) son enteros positivos de tal manera que
\(a< \tfrac kn\le a+\tfrac1n \quad\text{and}\quad b<\tfrac mn\le b+\tfrac1n.\)
Por 20.5.1, obtenemos eso
\(\begin{aligned} s(a,b)&\le s(\tfrac kn,\tfrac mn)= \\ &=\tfrac kn\cdot\tfrac mn\le \\ &\le (a+\tfrac1n)\cdot(b+\tfrac1n),\end{aligned}\)
lo que contradice 20.5.2.
El caso\(s(a,b)< a\cdot b\) es similar. Fijar un entero positivo\(n\) tal que\(a>\tfrac1n\),\(b>\tfrac1n\), y
\[s(a,b)< (a-\tfrac1n)\cdot (b-\tfrac1n).\]
Set\(k=\lceil a\cdot n \rceil-1\) y\(m=\lceil b\cdot n \rceil-1\); es decir,
\(a> \tfrac kn\ge a-\tfrac1n \quad\text{and}\quad b>\tfrac mn\ge b-\tfrac1n.\)
Aplicando 20.5.1 de nuevo, obtenemos que
\(\begin{aligned} s(a,b)&\ge s(\tfrac kn,\tfrac mn)= \\ &=\tfrac kn\cdot\tfrac mn\ge \\ &\ge (a-\tfrac1n)\cdot(b-\tfrac1n),\end{aligned}\)
lo que contradice 20.5.3.