Professional Documents
Culture Documents
Chasing Imaginary Triangles - Vanderburgh - D Alessio
Chasing Imaginary Triangles - Vanderburgh - D Alessio
! "$#&%'"$#)()*,+.-)/+10324"$#)(65$*,+103*87:9<;>=?*3@A@CBED
stZLV<c,clpTXXa c\[WcQ
u.v OwJxJy<Iz{ Vn}Ha^] UWVYXZN[~[\UWV<]^X`_Ya$ Vn[lZ)]X`Vn}Ha^]UWa] ] ^i]X`Vn}Ha^dTaUWV<ea`[\aU
Z1f\] ^)j | ab^i)[lZ1a _Ya ^XE[lZfLhCVn[Wc,ZoHdTfN[Wa ^Hpcqar A
P
pddfHc?ab[lZ1a[\UWV<]^X`_YaZH] cZoHdTfN[Wa ^Hpcqa ] ^i_YaXc ] ^i stZ1a^
c a bj
]^i
A = 12 ab P = a+b+c a 2 + b2 = c2 j
ab]^L[g[Wf^i VY^[\aU\ec$fLh ] ^i hCab V<c?Z1a i[Wfpcqa1UpH[\ahfHUW\a a
klfLp1_Yi)cJpTHcl[WVn[WpH[\a c √ AV<^L[\f[lZ1Pabjcqa\fH^iaLp][WVYfH^ stZLV<cfLp1_YiX`Vn}H apc
c = a2+ ZLVYbJZa\fLp1_mic?fL_ }Ha]_mfH^X$ Vn[lZ j
2
√
2 + b2 = P
[Wf^i
a ]^i+ b + a
] ^i)[lZ1a ^alfLp1_YiclpT1c\[WV[WpH[WaH]NJ [\ff1N[W]VY^ ab = 2A a
b fa?}HaU [lZ1aUWa VYc3]e fHUWa\_Ya?}Ha U.]otQ cj
P −c = a+b
P − 2P c + c2 = a2 + 2ab + b2 = c2 + 4A
2
P 2 − 4A = 2P c
P 2 − 4A
c = j
2P
fH^iaUWhYp1_\ aba UWa]H_Ya[\f cqfL_n}HahfHU[lZ1a)Zo1dfN[\a^Hpc?a Vn[lZ1fLpH[,cqfL_n}LVY^X hfHU
k ] ^i ZLVYk JZ \fLp1_midTfN[Wa ^L[WV<] __no1ae a cJcoN c
a b j
HfHUte ][lZ1a e][WVY\]_LlfH^N}Ha^HVma^laa3V<^L[\UWf1iHpT\a3[lZ1a,cqa eVYda UVYe a[Wa U sCZ1a ^
] ^i)[lZ1a]f}HaalNd1UWa cJcJVYfH^)[]NacfH^)[lZ1a cJV<e dH_maUghfHUWe sj
P = 2s
s2 − A
c = j
s
^[lZ1aX`Vn}Ha^ d1UWf1H_Ya e
c = (52 − 5)/5 = 4 j
stZLV<c3_Ya ]i1c[WftQ
u.v OwJxJy<Iz V }Ha ^R]UWVYXZN[,[\UVY] ^X`_ma Vn[lZR] X`V }Ha ^VY^L[WaXU]_~] UWa ] ]^iR] X`V }Ha ^
VY^L[WaXU]_CdTaUWj)V<e | a`[\aU Z1a ^V<c[lZ1a _Ya ^XE[lZfLhT[lZ1aZoHdTfN[Wa ^Hpcqa] _<c?Af)] ^VY^L[WaXaUlr
P
HfHU [Wf1a]^ VY^L[WaXaU afLp1_Yi _Vma VY^\a VYca?}Ha ^
e c pcl[1aba?}Ha^tZ1a ^la
e
p l
c
[ 1
b
a 2P?
a H
}
a | ^ (P 2VY−
^ \
4A)
a j l
[ 2P
1
Z
a ^ epc\[
P 2
− 4A P
a] ^VY^L[WaXaU ] ^i fLpU\fH^iHVn[WVmfH^V<c,aLp1Vn}L]_ma^L[[\f j P = 2s s
4s | (4s − 4A) 2
⇐=⇒ s | (s2 − A) ⇐=⇒ s|Aj
a^la ]^NoUVmXZN[~[\UWV<]^X`_Ya$ V[lZV<^L[\a XU] _T] UWa ]] ^i V[lZ)]cqa eVYda UVYe a[Wa U.ZLVYJZ
iHV }HVYiac [lZ1a ]UWa]b V_<_CZH]`}Ha]Zo1dfN[\a^Hpc?a Vn[lZ)V<^L[\a Xa Ug_Ya ^XE[lZ
j
Jlq¡ ¢W£W¤ c ¥\¦J¦J§ E¨\©q¨lªJ¡ ¨\©«¨¬¤¬£JW®~¨¬¤¯¡ °±¨\²E³\q°¯¡ ¯¤
`
s2 − A s2 + A
a + b = 2s − = j
s s
fL_n}LVY^XhfHU ]^iclpT1c\[WV[WpH[WV<^XVY^L[Wf[lZ1aa Hp][WVmfH^ aXa[
b ab = 2A
s2 + A
a −a = 2A
s
sa2 − (s2 + A)a + 2As = 0j
HfHU~[lZ1ab[\UVY] ^X`_ma[\faJ VYc\[ l[ Z1aiLVYcqlUWV<eV<^1]^L[gepc\[a^fH^ l^aX][WVn}HaL[lZH][gV<c
(s2 + A)2 − 4(s)(2As) ≥ 0
s + 2As2 + A2 − 8As2
4
≥ 0
s4 − 6As2 + A2 ≥ 0j
Sg_[lZ1fLpTXZ [lZLV<cV<c]^HVm\aUWacJp1_n[ a\] ^ XfhYpU[lZ1aU Vn}LVmiLVY^X[lZHUWfLpTXZR o
]
^
i Y
_
a
[ W
[ <
V
^ X
a 1
f N
W
[
] Y
V ^ j
A2 x = s2 /A
x2 − 6x + 1 ≥ 0 j
fL_n}LVY^X$[lZLV<cLp]NiHU][WVYV<^aLp] _V[±o aXa`[
√ fHU √
x ≥ 3+2 2 x ≤ 3−2 2
ZLVmJZ)VYc,a Hp1V }L] _Ya ^L[[Wf
√ fHU √
s2 ≥ 3+2 2 A s2 ≤ 3−2 2 A
[lZH][gV<c
√ √ Hf U √ √
s ≥ 1+ 2 A s ≤ 2−1 Aj
pH[$a c?Z1fLp1_Yi^fN[hfHUWXa`[[WfJZ1aJ[lZ1aZo1dfN[\a^Hpc?a ZLVYJZR V_<_g\a U¬[W]VY^H_ o'a
] UWa ]_~^Hpe1a U ]cb_YfH^X] c ] ^i ]UWaUWa ]_n HpH[^a aiHc[\f adTfHclV[WV }HatHfHU
a ^a ai 2 A s
A[lZH][$VYc √ a ^\a [lZ1a cqa\fH^ifLh[lZ1a
c > 0
]N1f }HaV<^aLp] _V[WVYa coLVma_miHc,][\UVY] ^X`_ma V[lZUWa] _T_ma Xc LpH[3^a X][WV }HaZoHdTfN[Wa ^Hpcqa
s −A > 0 s > Aj
f:iHVYi)[lZH][ZH]d1dTa^r\$stZ1a Ucl[VY^a Hp]_<Vn[¯o)VYc,\fH^1 cJV<cl[Wa ^L[~ Vn[lZ √ j
stZ1aUWahfHUWa [lZ1 a ?UWVYXZN[[\UWV<]^X`_Ya Vn[lZ] UWa ] s > A j
]^ic?aeV<dTaUWV<ea`[\aU VYc]
[\UVY] ^X` _mabV<ht] ^i fH^H_ oVh s ≥ (1 + √2)√AAj s
@r
...
...
A@
...
...
...
@
...
t .
...
...
@
...
. ...
.. ...
...
...
@
....
....
....
@ rM
....
.....
.....
@
.....
......
.....
......
@
......
A A
......
A
.......
.......
@ y = − 2x +
.........
.........
@
.............
..
.. .
2t t .............
..............
.................
....................
@r
.. .............
-x
.... ....
. .
2t@
f [lZ1a c?aeV<dTaUWV<ea`[\aUfLh[lZ1a]f}Hab[\UVY] ^X`_mabVYc,X`V }Ha ^ o
r ! r
1 A A2 A A2
s = 2t + + 4t2 + 2 = t+ + t2 + j
2 t t 2t 4t2
VY^\aaZH]}Haacl[]NL_<V<c?Z1a iR[lZH][ V<clfH^1c\[W] ^L[hfHUb]_<_clpTJZR[\UWV<]^X`_Ya c aW]^
[lZLVY^ fLh[lZLVYc']c'] iLVAa UWa^L[WVY]HA _Ya`hYp^W[WVmfH^:fLh] cJV<^X`_ma>}L]UVY]H_Ya Z1aUWa
aW] p cqa ] c fHU ]^iclVY^\a t hfHU
0 ] __ < t < ∞ j → ∞ t → 0 t → ∞
V[VYc\_ma]U$[lZH][ epc\[ dfHcqcqa cJc] ^']NHc?fL_pH[\aeVY^HV<esp>
s e 0sCZ1a
t ∈ (0, ∞) s j
eV<^HVYepe }L] _pTaW]^ 1a hfLp^i ocqa[[WV<^X ds Z1a UWa
= 0
dt
A2
ds A 1− 4
= 1− 2 + r 4t j
dt 2t A2
1+ 4
4t
s ZLV<c3_ma]NiHc[\f
t p ]^i \fHU\UWacqdfH^i1c[Wf[lZ1acqda\V<] _CW]cqaZ1aUWab[lZ1aUVmXZN[
t = A/2
[\UWV<]^X`_Ya V<c VYcqfHc?\a_Ya c a[[WV<^X VY^'fLpU$hfHU\ep1_Y] hfHU VY^ [Wa UWe cfLh
j
p
t = A/2 s t
]^iclVYed1_V<hoLVY^X a)f1L[] V<^ √ √ hmUWfHe ZLVYJZ[lZ1alfH^iLV[WVYfH^
smin = 1 + 2 A
√ √ hfL_<_YfcV<e e aiLVY][\a_no
s ≥ 1Sc +]T^21]_A ^fN[\aa VYcqZ [\fe ]aj ] \fH^1^aW[WVYfH^ Vn[lZ> a UWfH^ chfHU\ep1_Y]
ZLVmJZUWa_Y][\ac[lZ1a]UWa] c?aeV<dTaUWV<ea`[\aU ] ^i_Ya ^XE[lZHc fLhH[lZ1acJVYiac
A s
fLht]^] UlLV[\U] U±o)[\UWV<]^X`_Ya]l\fHUWiHV<^X[Wf[lZ1aaJdUWacqclVmfH^ ` 1 ` 2 ` 3
j
p
A = s(s − `1 )(s − `2 )(s − `3 )
^RfLpU3fHUVmX`V<^1] _td1UWf1H_Ya e V[lZ ]^i [lZ1a]f}HaclVYed1_V<Ta c
\[ f A = 5 a[[WV<^sX = P/2 = 5 ] ^i
5 = (5 −V[ `1hfL
)(5 ][ − `3 ) j
−c`[l2ZH)(5
_<_Yf =\a 5 − `1 Y = 5 − `2
XclVY^
Z = 5 − `3 X + Y + Z = 5 l1 + l2 + l3 = P = 10 j
stZLpc a ZH]`}Ha ] ^i 1 ^HhfHUW\VY^X [lZ1a
S XY
^a Hp]_<Vn[¯ooLVma_miHc Z = 5 3
(X + Y + Z) = 35 j
N|
3
X +Y +Z
XY Z ≤
3
ZLVmJZ_Ya ]i1c[Wf ]lfH^L[\U]iHVYW[WVmfH^ a^la
cJpTJZ][\UVY] ^X`_maW]^1^fN[
fLpUa ] UW _VmaUT^iLVY^X
aJ VYc\[ stZLV<c3UWa ] 5UWe ≤c125/27 j
j NpU¬[lZ1a UWefHUWa pclVY^X aUWfH^ chfHUWej p1_<] ]NX ]VY^'hfHU] Xa^a U]_[\UVY] ^X`_ma a
ZH]}Ha
A2 /s = (s − `1 )(s − `2 )(s − `3 ) j
hTa cqa[ ]^i [lZ1a ^a c?a ab[lZH][
X = s − `1 Y = s − `2 Z = s − `3
]^i
X +Y +Z = s XY Z = A2 /s j
SX] V<^ o[lZ1a)S ^a Hp]_<Vn[¯o V[$hfL__mfc$[lZH][]^a lacqcJ]U±o \fH^iHVn[WVmfH^ hfHU
cJpTJZ]b [\UWV<]^X`_Yab[WfaJ | VYc\g[ V<c
3
A2 s
≤
s 3
fHU √ \3aLp] _V[±o f1\\pUcVh3] ^i fH^H_noVh[lZ1a[\UVY] ^X`_maVYc)a Hp1V_Y][\aU] _
]c\[Ws_no2 ≥a 3 dfL3A VY^L[ fLpH[[lZH][[lZLV<cR\fH^iHVn[WVmfH^ ]d1d1_Vmac [\f ]_<_,[\UWV<]^X`_Ya c Z1a UWa]c j
[lZ1a d1UWa?}HVYfLpcJ_ o iaUWV }Hai lfH^iLV[WVYfH^ √ √ ] ddH_<VYa cfH^H_ o[\fRUVmXZN[
s ≥ 1 + 2 A
[\UWV<]^X`_Ya c
j
]^ ~]^i1a U pUWXZ aUWXa Sg_Ya cJcJVYf
a^L[\UWa hfHU iHpTW][WVYfH^VY^ ][lZ1a e][WVY\c ad] U[\e a ^L[fLhSddH_<VYai
] ^i fHe d1pH[WV<^X ][lZ1a e][WVY\c
,^HVn}HaUcJVn[¯o fLh ][Wa U_mf1f ,^HV }Ha UclV[±o fLh ][Wa U_mf1f
][Wa U_mf1f ^L[Wk ] UWVYf ][\aUW_Yf1f ^L[W] UWVYf k
k ] ^1]NiH] | k | iH]
] ^1]N
iwtvande@uwaterloo.ca sdalessio@math.uwaterloo.ca