Saltar al contenido principal

# 10.3: Triángulos Aleatorios

$$\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}$$
$$\newcommand{\P}{\mathbb{P}}$$$$\newcommand{\E}{\mathbb{E}}$$$$\newcommand{\var}{\text{var}}$$$$\newcommand{\R}{\mathbb{R}}$$$$\newcommand{\N}{\mathbb{N}}$$$$\newcommand{\area}{\text{area}}$$

## Preliminares

### Declaración del problema

Supongamos que un palo se rompe al azar en dos lugares. ¿Cuál es la probabilidad de que las tres piezas formen un triángulo?

Sin mirar a continuación, hacer una conjetura.

Ejecuta el experimento del triángulo 50 veces. No se preocupe por toda la información que se muestra en la aplicación, sino que solo tenga en cuenta si las piezas forman un triángulo. ¿Te gustaría revisar tu suposición?

### Formulación Matemática

Como es habitual, el primer paso es modelar matemáticamente el experimento aleatorio. Tomaremos la longitud del palo como nuestra unidad de longitud, para que podamos identificar el palo con el intervalo$$[0, 1]$$. Para romper el palo en tres pedazos, solo necesitamos seleccionar dos puntos en el intervalo. Así, vamos a$$X$$ denotar el primer punto elegido y$$Y$$ el segundo punto elegido. Nótese que$$X$$ y$$Y$$ son variables aleatorias y de ahí que el espacio muestral de nuestro experimento sea$$S = [0, 1]^2$$. Ahora bien, para modelar la afirmación de que los puntos se eligen al azar, supongamos, como en las secciones anteriores, que$$X$$ y$$Y$$ son independientes y cada uno se distribuye uniformemente sobre$$[0, 1]$$.

El punto aleatorio$$(X, Y)$$ se distribuye uniformemente en$$S = [0, 1]^2$$.

De ahí$\P\left[(X, Y) \in A\right] = \frac{\area(A)}{\area(S)}$

## Triángulos

### La probabilidad de un triángulo

Las tres piezas forman un triángulo si y solo si las desigualdades del triángulo se mantienen: la suma de las longitudes de dos piezas cualesquiera debe ser mayor que la longitud de la tercera pieza.

El evento de que las piezas formen un triángulo es$$T_1 \cup T_2$$ donde

1. $$T_1 = \left\{ (x, y) \in S: y \gt \frac{1}{2}, \; x \lt \frac{1}{2}, \; y - x \lt \frac{1}{2} \right\}$$
2. $$T_2 = \left\{ (x, y) \in S: x \gt \frac{1}{2}, \; y \lt \frac{1}{2}, \; x - y \lt \frac{1}{2} \right\}$$

A continuación$$T$$ se presenta un boceto del evento. Curiosamente, ¡$$T$$se compone de triángulos!

La probabilidad de que las piezas formen un triángulo es$$\P(T) = \frac{1}{4}$$.

¿Qué tan cerca llegaste con tu suposición inicial? El valor relativamente bajo de$$\P(T)$$ es un poco sorprendente.

Ejecutar el experimento del triángulo 1000 veces y comparar la probabilidad empírica de$$T^c$$ a la probabilidad verdadera.

### Triángulos de diferentes tipos

Ahora vamos a calcular la probabilidad de que las piezas formen un triángulo de un tipo dado. Recordemos que en un triángulo agudo los tres ángulos son menores de 90°, mientras que un triángulo obtuso tiene un ángulo (y solo uno) que es mayor a 90°. Un triángulo rectángulo, por supuesto, tiene un ángulo de 90°.

Supongamos que un triángulo tiene longitudes de lado$$a$$$$b$$,, y$$c$$, donde$$c$$ es el más grande de estos. El triángulo es

1. aguda si y sólo si$$c^2 \lt a^2 + b^2$$.
2. obtuso si y solo si$$c^2 \gt a^2 + b^2$$.
3. derecho si y sólo si$$c^2 = a^2 + b^2$$.

La parte (c), por supuesto, es el famoso teorema de Pitágoras, llamado así por el matemático griego antiguo Pitágoras.

Las ecuaciones del triángulo rectángulo para las piezas de palo son

1. $$(y - x)^2 = x^2 + (1 - y)^2$$en$$T_1$$
2. $$(1 - x)^2 = x^2 + (y - x)^2$$en$$T_1$$
3. $$x^2 = (y - x)^2 + (1 - y)^2$$en$$T_1$$
4. $$(x - y)^2 = y^2 + (1 - x)^2$$en$$T_2$$
5. $$(1 - x)^2 = y^2 + (x - y)^2$$en$$T_2$$
6. $$y^2 = (x - y)^2 + (1 - x)^2$$en$$T_2$$

Dejar$$R$$ denotar el evento de que las piezas forman un triángulo rectángulo. Entonces$$\P(R) = 0$$.

El evento de que las piezas formen un triángulo agudo es$$A = A_1 \cup A_2$$ donde

1. $$A_1$$es la región dentro de las curvas (a), (b) y (c) de las ecuaciones del triángulo rectángulo.
2. $$A_2$$es la región dentro de las curvas (d), (e) y (f) de las ecuaciones del triángulo rectángulo.

El evento de que las piezas formen un triángulo obtuso es$$B = B_1 \cup B_2 \cup B_3 \cup B_4 \cup B_5 \cup B_6$$ donde

1. $$B_1$$,$$B_2$$, y$$B_3$$ son las regiones dentro$$T_1$$ y fuera de las curvas (a), (b) y (c) de las ecuaciones del triángulo rectángulo, respectivamente.
2. $$B_4$$,$$B_5$$, y$$B_6$$ son las regiones dentro$$T_2$$ y fuera de las curvas (d), (e) y (f) de las ecuaciones del triángulo rectángulo, respectivamente.

La probabilidad de que las piezas formen un triángulo obtuso es$\P(B) = \frac{9}{4} - 3 \ln(2) \approx 0.1706$

Prueba

El cálculo simple demuestra que$$\P(B_i) = 3/8 - \ln(2) / 2$$ para cada uno$$i \in \{1, 2, 3, 4, 5, 6\}$$. Por ejemplo\ begin {align}\ P (B_1) & =\ int_0^ {1/2}\ frac {x\, (1 - 2\, x)} {2 - 2\, x}\, dx\\ P (B_3) & =\ int_0^ {1/2}\ left (y +\ frac {1} {2\, y} -\ frac {3} {2}\ derecha)\, dy\ end {align} De la simetría también se deduce que$$\P(B_i)$$ es lo mismo para cada uno$$i$$.

La probabilidad de que las piezas formen un triángulo agudo es$\P(A) = 3 \ln(2) - 2 \approx 0.07944$

Prueba

Tenga en cuenta que$$A \cup B \cup R = T$$$$A$$, y$$B$$, y$$R$$ son disjuntas.