! "$#&%'"$#)()*,+.-)/+10324"$#)(65$*,+103*87:9<;>=?*3@A@CBED

FHGJILKNM<OPRQTS'UWVYXZN[.[\UWV<]^X`_YabZH]c]bdTaUWV<ea`[\aUgfLh ]^i)] ^)]UWa] fLh ZH][.VYc[lZ1a

_ma^XE[lZ fLhCVn[Wc,ZoHdTfN[Wa ^Hpcqar 10 5 j.k

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[lZ†fLhCVn[Wc,ZoHdTfN[Wa ^Hpcqar A
P
‡ pddfHc?ab[lZ1aˆ[\UWV<]^X`_Ya„ZH] c‰ZoHdTfN[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\e†c$fLh ] ^i hC„ab V<c?Z1a i[Wf†pcqaŒ‹1UpH[\a€hŽfHUW‚\a „a
k‚lfLp1_Yi)cJpT‹Hcl[WVn[WpH[\a c √ AV<^L[\f€[lZ1Pabj‰cqŠa‚\fH^iaLp][WVYfH^ stZLV<c„fLp1_YiX`Vn}H aˆpc
c = a2„+ ZLVYb‚JZŒ„a„‚\fLp1_mi†c?fL_ }Ha€]_mfH^X$ Vn[lZ j
2
√
2 + b2 = P 
[Wf^i
a ]^i+ b + a
] ^i)[lZ1a ^Œ„a€‚lfLp1_Yi†clpT‹1c\[WV[WpH[Wa„‹H]N‚J‘ [\f†f1‹N[W]VY^ ab = 2A a
b  ’€f„a?}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_\“ ab„a UWaŒ]‹H_Ya€[\f cqfL_n}Ha€hŽfHU[lZ1a)Zo1dfN[\a^Hpc?a  Vn[lZ1fLpH[,cqfL_n}LVY^X hŽfHU
k ] ^i „ZLVYk ‚JZ ‚\fLp1_midTfN[Wa ^L[WV<] __no†‹1a€e a cJcoN• c
a b” j
–HfHUte ][lZ1a e†][WVY‚\]_L‚lfH^N}Ha^HVma^‚la„a3V<^L[\UWf1iHpT‚\a3[lZ1a,cqa eVYda UVYe a[Wa U sCZ1a ^
] ^i)[lZ1a€]‹f}Ha„al—Nd1UWa cJcJVYfH^)[]N‘ac‰fH^)[lZ1a cJV<e dH_maUghŽfHUWe sj
P = 2s 
s2 − A
c = j
s
^[lZ1a€X`Vn}Ha^ d1UWf1‹H_Ya e
Š  c = (52 − 5)/5 = 4 j
stZLV<c3_Ya ]i1c[WftQ
u.v OwJxJy<Iz˜ V }Ha ^R]†UWVYXZN[,[\UVY] ^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[lZ†fLhT[lZ1a„ZoHdTfN[Wa ^Hpcqa€] _<c?Af)] ^VY^L[WaXaUlr
P
–HfHU [Wf„‹1a‰]^ VY^L[WaXaU „aš„fLp1_Yi _Vm‘a ‡ VY^‚\a VYca?}Ha ^

e c pcl[‹1aba?}Ha^t›„Z1a  ^‚la 
e 
p l
c 
[ 1
‹ b
a 2P?
a H
} 
a | ^ (P ‡ 2VY−

^ \
‚ 4A)
a j l
[ 2P
1
Z 
a ^ e†pc\[ 
P 2
− 4A  P
‹a€] ^VY^L[WaXaU ] ^i fLpUš‚\fH^iHVn[WVmfH^V<c,aLp1Vn}L]_ma^L[[\f j P = 2s  s

4s | (4s − 4A) 2
⇐=⇒ s | (s2 − A) ⇐=⇒ s|Aj
’€a^‚la ]^NoUVmXZN[~[\UWV<]^X`_Ya$ V[lZŒV<^L[\a XU] _T] UWa ]€] ^i„ V[lZ)]€cqa eVYda UVYe a[Wa U.„ZLVY‚JZ
iHV }HVYiacš  [lZ1a ]UWa]b V_<_CZH]`}Ha€]„Zo1dfN[\a^Hpc?aˆ Vn[lZ)V<^L[\a Xa Ug_Ya ^XE[lZ
j
œJžlŸqŽ¡ ¢W£W¤ c ¥\¦J¦J§ œE¨\©q¨lªJ¡ ¨\©š«Œ¨¬¤¬£J­W®~¨¬¤¯¡ °±¨\²E³\q°¯¡ ­¯¤ŽŸ

`

stZ1aŒc\[\fHU±o‚lfLp1_Yi™a^i†[lZ1a UWa pH[ „Z1a^™cqfL_n}LVY^Xb[lZ1a€VY^HVn[WVY]_tdUWf1‹L_mae fH^a

Lf hApc‰]‚W[Wp] __no[\UVma i[\f ‚W] _Y‚\p1_Y][\a j
[lZ1a€_Ya Xc ] ^i sCZLVYc3VYc‰^fN[šcqfiLV‚\p1_[š ^f
[lZH][C„a$‘^f [lZ1a,_ma^XE[lZ„fLhN[lZ1a$ZoHdTfN[Wa ^Hpcqa a b j
a‰ZH]}Ha ]^i
„ZLVm‚JZ‰oHVYa_Yi1c fHU 2 j k › Z1a^‚la 12 ab = 5 sCaZ1+a UWbahŽ=fHUW6a 
a(6−a) = 10  a
[lZLVYc[\UWV<]^X`_Ya„i1f1a c3^fN[]‚W[Wp] __no†al—V<cl[ “ −6a+10 = 0  a = 3±i j 
u.v OwJxJy<I
z  Vn}Ha^b ] ?UWVYXZN[T[\UVY] ^X`_ma   Vn[lZ$],X`V }Ha ^ˆ]UWa] ] ^iˆ],X`V }Ha ^ˆdTaUWV<ea`[\aU
„ZH][~‚lfHj.^|iLV[WVYfH^1cfH^ ]^i X`p]U] ^L[\a a‰[lZH][ [lZ1a J[\AUVY] ^X`_ma š]N‚W[Wp]_<_ oŒal—V<cl[c?r
P A P
a„Xf‹1]‚J‘Œ]NX]VY^)[Wf†fLpUVY^HVn[WVY]_CaLp][WVYfH^1c
k 
]^i
A = 2 ab 1
P = a+b+cj
,cJV<^XfLpU‰UWa clp1_[,hŽfHU VY^[\aU\e†c fLh ]^i V<^™[lZ1a†aLp][WVYfH^
„a„Xa`[ c s A a+b+c = P

s2 − A s2 + A
a + b = 2s − = j
s s
‡ fL_n}LVY^XˆhŽfHU ]^i†clpT‹1c\[WV[WpH[WV<^XˆVY^L[WfŒ[lZ1a„a Hp][WVmfH^ „a€Xa[
b ab = 2A 
 
s2 + A
a −a = 2A 
s
sa2 − (s2 + A)a + 2As = 0j
–HfHU~[lZ1ab[\UVY] ^X`_maˆ[\faJ— VYc\[ l[ Z1a„iLVYcq‚lUWV<e†V<^1]^L[ge†pc\[š‹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<cˆV<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<c‰Lp]NiHU][WVY‚šV<^aLp] _V[±o „  a€Xa`[

√ fHU √
x ≥ 3+2 2 x ≤ 3−2 2
„ZLVm‚JZ)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[ˆhŽfHUWXa`[ˆ[Wf‚JZ1a‚J‘[lZ1aZo1dfN[\a^Hpc?a „ZLVY‚JZR V_<_g‚\a U¬[W]VY^H_ o'‹a
] UWa ]_~^Hpe‹1a U ]cb_YfH^X] c ] ^i ]UWa†UWa ]_n• ‹HpH[ˆ^a  aiHcˆ[\f ‹a†dTfHclV[WV }Hat“–HfHU
„a ^a ai 2” A s
›A[lZH][$VYc √ ’ a ^‚\a [lZ1a cqa‚\fH^ifLh[lZ1a
c > 0
]N‹1f }Ha€V<^aLp] _V[WVYa coLVma_miHc,]€[\UVY] ^X`_maˆ V[lZ†UWa] _T_ma Xc ‹LpH[3^a  X][WV }HaŒZoHdTfN[Wa ^Hpcqa
s −A > 0  s > Aj
’ f:iHVYi)[lZH][šZH]d1dTa^r\•$stZ1a Ucl[VY^a Hp]_<Vn[¯o)VYc,‚\fH^1 cJV<cl[Wa ^L[~ Vn[lZ √ j
” stZ1aUWahŽfHUWa [lZ1 a ?UWVYXZN[ˆ[\UWV<]^X`_Ya „ Vn[lZ] UWa ] s > A j
]^ic?ae†V<dTaUWV<ea`[\aU VYc„]
 
  [\UVY] ^X` _mabV<ht] ^i fH^H_ oVh s ≥ (1 + √2)√AAj s
 


ta[WpUW^HVY^X[\f fLpU fHUWVYX`VY^1]_dUWf1‹L_mae4„Z1a UWa ]^i „a ^i

[lZH][ √
√ „ZLVm‚JZ ‚\_ma]U_no }HVYfL_Y][\sac„=[lZ1a5 ]N‹1f }HA a ‚\= fH^iH5Vn [WVmfH^ ] ^i
]NX]VY^ 1‚\fH+ H^ TUWe 2c[lZHA][cl≈pT‚JZ†
5.4 ]b [\UVY] ^X`_ma€if1ac,^fN[aJ— VYc\[
j
aR^al— [€dUWf1‚\aa i[\f f
Aa U ] Xa fHea`[\UWVY‚€VY^L[Wa UWdUWa`[W][WVmfH^ fLh[lZ1a ‚lfH^iLV[WVYfH^
k √
√ fH^1cJVYiaUg[lZ1aŒZoHdTaUl‹1fL_Y] ] ^i ]„_VY^a []^Xa^L[[Wf
s ≥ 1 + 2 A j   xy = A/2
[lZLVYc~‚\pU±}Ha,][AdfLVY^L[ A ]c.cqZ1f€^€‹a_mf
 a,‚\] ^€Hp1VY‚J‘_ o€ia`[\aU\eVY^aš[lZH][
M t, jAk
2t
[lZ1a cl_mfHda fLh~[lZ1a[]^Xa^L[$_<V<^a†V<c A sCZLpc [lZ1a)[W] ^Xa ^L[$_<V<^a ZH]c€aLp][WVYfH^
− 2j 
2t
A A  V[lZ VY^L[Wa UW‚\a dL[ ] ^i VY^L[Wa UW‚\a dL[ A a‰f1‹1cqa U±}Ha3[lZH][
y = − 2 x+  x y j k
VYcg[lZ1abe2tVmi JdfLVY^Lt[fLh1[lZ1abdTfHU¬[WVmfH^fLh[lZ1a$[]^Xa^L[g_VY^a$[lZH][
2t M
t V<c3‚\pH[ f
R‹ o„[lZ1ab]`—ac
 fHUWa3V<^L[\aUWa c\[WVY^X [lZ1fLpTXZ V<cA[lZ1ašhm]N‚W[C[lZH][C[lZ1a3]UWa]$fLh [lZ1a,UVmXZN[C[\UVY] ^X`_mašhŽfHUWea i j
‹ o)[lZ1ab[]^Xa^L[_VY^ a ] ^i)[lZ1 a€‚lf1fHUWiLVY^1][\a ]`—acšVYc[lZ1a cq] ea UWa X]UWiL_macqc,fLh„Z1aUWa
VYcA_Yf1‚\][\a i fH^ˆ[lZ1a,ZoHdTaUl‹1fL_Y] Sct„a_ma`[ ef}Ha3] _YfH^X [lZ1a,Zo1da U\‹fL_<] a?}HaU±o
M j
dTfHcJcJVY‹H_Ya c?ZH] dTa€fLhtUWVYXZN[[\UWV<]^X`_Yaˆ Vn[lZ]UWa] M  V_<_T‹a ]N‚JZLVYa?}Hai 
A j
y
6
..
..
1
xy = A
...
...
..
..
...
2
...
...

@r
...
...
A@
...
...
...

@
...
t .
...
...

@
...
. ...
.. ...
...
...
@
....
....
....

@ rM
....
.....
.....

@
.....
......
.....
......

@
......
A A
......
A
.......


.......

@ y = − 2x +
.........


.........

@
.............
..
.. .
2t t .............
..............
.................
....................

@r
.. .............

-x
.... ....
. .

2t@
 f [lZ1a c?ae†V<dTaUWV<ea`[\aUšfLh[lZ1a€]‹f}Hab[\UVY] ^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^‚\a„aZH]}Ha™acl[]N‹L_<V<c?Z1a iR[lZH][ V<c„‚lfH^1c\[W] ^L[ˆhŽfHUb]_<_clpT‚JZR[\UWV<]^X`_Ya c „a‚W]^
[lZLVY^‘ fLhŒ[lZLVYc']c'] iLV
Aa UWa^L[WVY]‹HA _Ya`•hYp^‚W[WVmfH^:fLh] cJV<^X`_ma>}L]UVY]‹H_Ya  „Z1aUWa
a‚W] p” cqa ] c fHU ]^iclVY^‚\a t  hŽfHU
0 ] __ < t < ∞ j → ∞ t → 0 t → ∞ 
V[ˆVYc„‚\_ma]U$[lZH][ e†pc\[ dfHcqcqa cJc„] ^']N‹Hc?fL_pH[\aeVY^HV<e†sp>
s e 0sCZ1a
t ∈ (0, ∞)  s j
e†V<^HVYepe }L] _pTa„‚W]^ ‹1a hŽfLp^i ‹ o†cqa[[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Œ[lZ1a€cqda‚\V<] _C‚W]cqaˆ„Z1aUWab[lZ1a€UVmXZN[
t = A/2
[\UWV<]^X`_Ya V<c VYcqfHc?‚\a_Ya c ‡ a[[WV<^X VY^'fLpU$hŽfHU\ep1_Y] hŽfHU VY^ [Wa UWe c„fLh
j
p
t = A/2 s t
]^i™clVYe†d1_V<hoLVY^X „a)f1‹L[] V<^ √
√ hmUWfHe „ZLVY‚JZ†[lZ1a‚lfH^iLV[WVYfH^
 smin = 1 + 2 A 
√
√ hŽfL_<_Yf€cšV<e e aiLVY][\a_no
s ≥ 1ScŒ +]T^21]_A ^fN[\a†„a VYcqZ [\fe ]‘a™j ] ‚\fH^1^a‚W[WVYfH^  Vn[lZ>’ a UWfH^ c„hŽfHU\ep1_Y]
„ZLVm‚JZŒUWa_Y][\ac[lZ1aˆ]UWa] c?ae†V<dTaUWV<ea`[\aU ] ^iŒ_Ya ^XE[lZHc fLhH[lZ1aˆcJVYiac 
A  s 
fLht]^†] Ul‹LV[\U] U±o)[\UWV<]^X`_Ya€]‚l‚\fHUWiHV<^Xˆ[WfŒ[lZ1a€aJ—dUWacqclVmfH^ ` 1  ` 2  ` 3

j
p
A = s(s − `1 )(s − `2 )(s − `3 )
^RfLpU3fHUVmX`V<^1] _td1UWf1‹H_Ya e  V[lZ ]^i [lZ1aŒ]‹f}HaŒclVYe†d1_V<Ta c
\[ Š f A = 5‡ a[[WV<^sX = P/2 = 5  ] ^i
5 = (5 −V[ `1hŽfL
)(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 ^HhŽfHUW‚\VY^X [lZ1a
S    XY
^a Hp]_<Vn[¯oŒoLVma_miHc Z = 5 3
(X + Y + Z) = 35 j
N| Š
3
X +Y +Z

XY Z ≤ 
3
„ZLVm‚JZ_Ya ]i1c‰[Wf ]†‚lfH^L[\U]iHVY‚W[WVmfH^ ’€a^‚la
cJpT‚JZ™]Œ[\UVY] ^X`_ma‚W]^1^fN[
fLpUa ] UW _VmaUT^iLVY^X
aJ— VYc\[ stZLV<c3UWa ] 5UWe ≤c‰125/27 j 
j –NpU¬[lZ1a UWefHUWa pclVY^X ’€aUWfH^ cŒhŽfHUWe†j p1_<] ]NX ]VY^'hŽfHU€] Xa^a U]_[\UVY] ^X`_ma „a
ZH]}Ha  
A2 /s = (s − `1 )(s − `2 )(s − `3 ) j
hT„a 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
SšX] V<^ ‹ o™[lZ1a)S   ^a Hp]_<Vn[¯o V[$hŽfL__mf€c$[lZH][ˆ]^a ‚lacqcJ]U±o ‚\fH^iHVn[WVmfH^ hŽfHU
cJpT‚JZ]b [\UWV<]^X`_Yab[Wf†aJ— | VYc\g[ V<Šc 
 3
A2 s
≤
s 3
fHU √ •\›3aLp] _V[±o f1‚\‚\pUcŒVh3] ^i fH^H_noVh[lZ1a[\UVY] ^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 c€fH^H_ o™[\fRUVmXZN[
 s ≥ 1 + 2 A

[\UWV<]^X`_Ya c
j
]^ ~]^i1a U pUWXZ ‡ aUWXa  Sg_Ya cJcJVYf
Š a^L[\UWa hŽfHU iHpT‚W][WVYfH^VY^  ][lZ1a e†][WVY‚\c ad] U[\e a ^L[šfLhSddH_<VYai
 ] ^i fHe†  d1pH[WV<^X  ][lZ1a e†][WVY‚\c

,^HVn}HaUcJVn[¯o fLh ][Wa U_mf1f ,^HV }Ha UclV[±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