_{{\boldsymbol{w}}_{{{\ifmmode {\mathcal{C}}\else ${\mathcal{C}}$\fi}}_i}} \overline{J_{{{\ifmmode {\mathcal{C}}\else ${\mathcal{C}}$\fi}}_i}}({\boldsymbol{w}}_{{{\ifmmode {\mathcal{C}}\else ${\mathcal{C}}$\fi}}_i},{\boldsymbol{w}}_{-{{\ifmmode {\mathcal{C}}\else ${\mathcal{C}}$\fi}}_i})]_{i=1}^Q$ arranged as a row vector with $\zeta_i>0$. The cost functions $\{\overline{J_{{{\ifmmode {\mathcal{C}}\else ${\mathcal{C}}$\fi}}_i}}({\boldsymbol{w}}_{{{\ifmmode {\mathcal{C}}\else ${\mathcal{C}}$\fi}}_i},{\boldsymbol{w}}_{-{{\ifmmode {\mathcal{C}}\else ${\mathcal{C}}$\fi}}_i})\}_{i=1}^Q$ satisfy the diagonal strict convexity property if ${\boldsymbol{g}}({\boldsymbol{w}},{\boldsymbol{\zeta}})$ is strictly decreasing in ${\boldsymbol{w}}$ for some positive vector ${\boldsymbol{\zeta}}$, that is, $({\boldsymbol{g}}(\hat{\boldsymbol{w}},{\boldsymbol{\zeta}})-{\boldsymbol{g}}({\boldsymbol{w}},{\boldsymbol{\zeta}}))^\top(\hat{\boldsymbol{w}}-{\boldsymbol{w}})<0$ for all nonequal ${\boldsymbol{w}}$, $\hat{\boldsymbol{w}}$.
 ---
abstract: 'In this note, we combine ideas of several previous proofs in order to obtain a quite short proof of Grötzsch theorem.'
author:
- 'Zdeněk Dvořák[^1]'
title: A simplified discharging proof of Grötzsch theorem
---

Grötzsch [@Gro] proved that every planar triangle-free graph is $3$-colorable, using the discharging method. This proof was simplified by Thomassen [@ThoGro] (who also gave a principally different proof [@ThoShortlist]). Dvořák et al. [@DKT] give another variation of the discharging proof. Both of the later arguments were developed in order to obtain more general results (the Thomassen’s proof gives extensions to girth $5$ graphs in the torus and the projective plane, while the proof of Dvořák et al. aims at algorithmic applications), and thus their presentation of the proof of Gr
_ { { \boldsymbol{w}}_{{{\ifmmode { \mathcal{C}}\else $ { \mathcal{C}}$\fi}}_i } } \overline{J_{{{\ifmmode { \mathcal{C}}\else $ { \mathcal{C}}$\fi}}_i}}({\boldsymbol{w}}_{{{\ifmmode { \mathcal{C}}\else $ { \mathcal{C}}$\fi}}_i},{\boldsymbol{w}}_{-{{\ifmmode { \mathcal{C}}\else $ { \mathcal{C}}$\fi}}_i})]_{i=1}^Q$ arranged as a row vector with $ \zeta_i>0$. The cost functions $ \{\overline{J_{{{\ifmmode { \mathcal{C}}\else $ { \mathcal{C}}$\fi}}_i}}({\boldsymbol{w}}_{{{\ifmmode { \mathcal{C}}\else $ { \mathcal{C}}$\fi}}_i},{\boldsymbol{w}}_{-{{\ifmmode { \mathcal{C}}\else $ { \mathcal{C}}$\fi}}_i})\}_{i=1}^Q$ meet the aslant stern convexity property if $ { \boldsymbol{g}}({\boldsymbol{w}},{\boldsymbol{\zeta}})$ is rigorously decreasing in $ { \boldsymbol{w}}$ for some positive vector $ { \boldsymbol{\zeta}}$, that is, $ ({ \boldsymbol{g}}(\hat{\boldsymbol{w}},{\boldsymbol{\zeta}})-{\boldsymbol{g}}({\boldsymbol{w}},{\boldsymbol{\zeta}}))^\top(\hat{\boldsymbol{w}}-{\boldsymbol{w}})<0 $ for all nonequal $ { \boldsymbol{w}}$, $ \hat{\boldsymbol{w}}$. 
  --- 
 abstract:' In this note, we blend ideas of several former proof in order to prevail a quite short proof of Grötzsch theorem.' 
 generator: 
 -' Zdeněk Dvořák[^1 ]' 
 claim: A simplified discharging proof of Grötzsch theorem 
 --- 

 Grötzsch   [ @Gro ] proved that every planar triangle - free graph is $ 3$-colorable, use the discharging method. This proof was simplify by Thomassen   [ @ThoGro ] (who also gave a chiefly different validation   [ @ThoShortlist ]). Dvořák et al.   [ @DKT ] give another variation of the discharging proof. Both of the later arguments were develop in order to obtain more general results (the Thomassen ’s proof move over extensions to girth $ 5 $ graphs in the torus and the projective plane, while the proof of Dvořák et al. aims at algorithmic applications), and thus their presentation of the proof of Gr
_{{\bolfsymbol{w}}_{{{\ifmmode {\mathcal{C}}\tlse ${\mathcal{C}}$\fi}}_i}} \overlinx{J_{{{\ifmmose {\mathcxl{C}}\else ${\mathcal{C}}$\fi}}_i}}({\boldsymbop{w}}_{{{\ufmmoee {\mathcal{C}}\else ${\mathcau{C}}$\fi}}_i},{\bolddymbol{w}}_{-{{\idmmove {\mathcal{C}}\else ${\mathcal{C}}$\nn}}_i})]_{i=1}^Q$ zvrangzd as a row vectpr with $\zeda_i>0$. The cost fgnztnons $\{\overline{J_{{{\ifmmode {\mathcal{C}}\else ${\mwthcal{C}}$\gi}}_l}}({\boldsymbol{w}}_{{{\ifimodt {\mwthczl{C}}\else ${\mathcal{C}}$\fi}}_i},{\boldsymbol{w}}_{-{{\ifmmkde {\matical{C}}\else ${\mathcsl{C}}$\fi}}_i})\}_{i=1}^Q$ satisfy the diagojal dtrict convexity pgoperty if ${\voldftmbol{g}}({\boldsyobol{w}},{\boldsjkbol{\zeta}})$ ia strictly decreasing in ${\boldsyobol{w}}$ for some koaihhve vector ${\uoldsyibol{\zeta}}$, thab is, $({\bondsymbok{g}}(\hat{\boldsymbok{w}},{\bmldwymbol{\zeta}})-{\boldsymbol{g}}({\uoldsymbol{w}},{\boldsymboj{\zeta}}))^\top(\hdt{\yoldsymbol{w}}-{\boldsymbol{q}})<0$ dor anl nmneqjql ${\colssbmbkl{w}}$, $\hah{\bomdsymbol{w}}$.
 ---
zbstract: 'In this note, we combime pceas of sevedal prqvyous proofs in order to obtain a quite vhodt proof of Grötzsch theirem.'
author:
- 'Zdeněk Dvořák[^1]'
jitle: A siiplified discharging proof of Grötzsch theorem
---

Grötzvch [@Grk] privcd tfqt every planar triangle-free graph is $3$-colorable, hsonn the discharginn method. This proog aax simplified bi Thomasseh [@ThoGro] (who also gwve a ptincipqlly difftrent proof [@ThoShortlist]). Dvořák et ql. [@DKT] give auotyer variation of tke dischargiug propf. Boyh of the later argumencs wers developed in order go obtain more gdnegal sesults (ufe Thomassen’s projf gives xxtenxions tu gitth $5$ grwphs in thf tormv and the projectige plcne, wvile the pgoof of Dvořák et al. aims at algocmthmic applicsthonv), and thbs thelr presentation of the proof pf Gr
_{{\boldsymbol{w}}_{{{\ifmmode {\mathcal{C}}\else ${\mathcal{C}}$\fi}}_i}} \overline{J_{{{\ifmmode {\mathcal{C}}\else ${\mathcal{C}}$\fi}}_i}}({\boldsymbol{w}}_{{{\ifmmode {\mathcal{C}}\else ${\mathcal{C}}$\fi}}_i})]_{i=1}^Q$ as a vector with $\zeta_i>0$. ${\mathcal{C}}$\fi}}_i}}({\boldsymbol{w}}_{{{\ifmmode ${\mathcal{C}}$\fi}}_i},{\boldsymbol{w}}_{-{{\ifmmode {\mathcal{C}}\else ${\mathcal{C}}$\fi}}_i})\}_{i=1}^Q$ the diagonal strict property if ${\boldsymbol{g}}({\boldsymbol{w}},{\boldsymbol{\zeta}})$ is strictly decreasing ${\boldsymbol{w}}$ for some positive vector ${\boldsymbol{\zeta}}$, that is, $({\boldsymbol{g}}(\hat{\boldsymbol{w}},{\boldsymbol{\zeta}})-{\boldsymbol{g}}({\boldsymbol{w}},{\boldsymbol{\zeta}}))^\top(\hat{\boldsymbol{w}}-{\boldsymbol{w}})<0$ for all nonequal ${\boldsymbol{w}}$, --- abstract: 'In this note, we combine ideas of several previous proofs in to a short of Grötzsch theorem.' author: - 'Zdeněk Dvořák[^1]' title: A simplified discharging proof of Grötzsch theorem --- [@Gro] proved that every planar triangle-free graph is using the discharging method. proof was simplified by Thomassen (who gave a different [@ThoShortlist]). et al. [@DKT] another variation of the discharging proof. Both of the later arguments were developed in order to obtain general results proof gives to $5$ in the torus projective plane, while the proof of aims at algorithmic applications), and thus their presentation the proof Gr
_{{\boldsymbol{w}}_{{{\ifmmode {\mathcal{c}}\else ${\mathcAl{C}}$\fi}}_I}} \ovErlInE{J_{{{\ifMmodE {\mathcal{C}}\else ${\mAThcaL{C}}$\fi}}_i}}({\boldsymbol{w}}_{{{\ifmmodE {\mathCaL{c}}\elsE ${\MaThcal{c}}$\fi}}_i},{\bolDSyMBOl{w}}_{-{{\IfMmOde {\MaTHcAl{C}}\elSe ${\mAthcal{C}}$\Fi}}_i})]_{i=1}^Q$ arranGed As A row vector wiTH $\zEta_i>0$. The cosT fuNctions $\{\overlIne{j_{{{\ifmmoDe {\MatHCal{C}}\eLse ${\MathcAl{C}}$\fi}}_i}}({\BOldsymBol{w}}_{{{\ifmmoDe {\MAthcal{c}}\Else ${\matHCAl{c}}$\fi}}_i},{\Boldsymbol{w}}_{-{{\ifmmodE {\MaTHcal{C}}\else ${\mathcAl{C}}$\fi}}_i})\}_{I=1}^Q$ SAtISFy tHe dIagonal strIcT convEXity proPErTY IF ${\boLDsymbol{g}}({\boldsYmbol{w}},{\boldsYMboL{\zeta}})$ iS sTriCTly decReasiNg IN ${\boLdsymbol{w}}$ foR somE positive Vector ${\BOldsymbOL{\zeta}}$, thAt is, $({\boLdsYmbOl{g}}(\hAT{\bOlDsyMbOL{w}},{\bOLdSymBOl{\zEta}})-{\boldsYmBoL{g}}({\bolDsymBOL{W}},{\BoldSymBol{\zEta}}))^\toP(\hat{\boldsymboL{w}}-{\bOldsYMboL{w}})<0$ for All noNequAl ${\BoldsYmbol{w}}$, $\Hat{\boLdSymbol{w}}$.
 ---
abstract: 'in thIs note, we cOmbInE idEaS of seVEral prEviOus Proofs iN order tO ObtAiN A QUiTe short proof of GrötZsCH ThEorem.'
autHor:
- 'ZdeNĚk dvOŘák[^1]'
title: a sImpLifiED DischArgiNG pRoof of GrÖtzsch THeOrEm
---

GrötzScH [@Gro] prOvEd tHat Every PLanaR trianGle-free gRaph iS $3$-Colorable, using THe discharging MEtHOD. THIs prOof Was simplifiEd by tHomaSsen [@tHogro] (WHo alsO gave A pRInCIpally different prooF [@THoShorTlist]). dvořák et al. [@DKT] Give anotheR VARiation oF the DIsCHarging proof. BoTh of tHe later argUMents werE deveLoped in oRder to obtAIN more genEraL reSulTs (tHE thOmassen’s proof GIVes eXtEnsions To gIrth $5$ graPhs In tHe tOruS aNd the projEctive plAnE, wHiLe The Proof OF Dvořák eT aL. aiMs At aLgoriTHmic apPlicaTionS), aNd THus Their prESeNTAtioN oF tHe prOof Of gr
_{{\boldsymbol{w}}_{{{\ifm mode {\mat hcal{ C}} \el se  ${\ math cal{C}}$\fi}}_ i }} \ overline{J_{{{\ifmmode  {\ma th c al{C } }\ else${\math c al { C }}$ \f i} }_i }} ( {\ bolds ymb ol{w}}_ {{{\ifmmod e { \m athcal{C}}\e l se  ${\mathca l{C }}$\fi}}_i}, {\b oldsym bo l{w } }_{-{ {\i fmmod e {\ma t hcal{C }}\else $ {\ m athcal { C}}$\fi } } _i })]_ {i=1}^Q$ arranged as a row vector w ith $\ ze t a_ i > 0$.  Th e cost fun ct ions$ \{\over l in e { J _{{ { \ifmmode {\ma thcal{C}}\e l se${\mat hc al{ C }}$\fi }}_i} }( { \bo ldsymbol{w} }_{{ {\ifmmode  {\mat h cal{C}} \ else ${ \mathc al{ C}} $\fi } }_ i} ,{\ bo l dsy m bo l{w } }_{ -{{\ifmm od e{\mat hcal { C } } \els e $ {\ma thcal {C}}$\fi}}_i} )\} _{i= 1 }^Q $ sat isfythedi agona l stri ct co nv exity propertyif $ {\boldsym bol {g }}( {\ bolds y mbol{w }}, {\b oldsymb ol{\zet a }}) $i s st rictly decreasingin $ {\ boldsymb ol{w}} $  f or some pos it ive  vec t o r ${\ bold s ym bol{\zet a}}$,t ha tis, $({ \b oldsym bo l{g }}( \hat{ \ bold symbol {w}},{\b oldsy m bol{\zeta}})-{ \ boldsymbol{g} } ({ \ b ol d symb ol{ w}},{\bolds ymbo l {\ze ta}} ) )^ \to p (\hat {\bol ds y mb o l{w}}-{\boldsymbol{ w} })<0$for a ll nonequal $ {\boldsymb o l { w}}$, $\ hat{ \ bo l dsymbol{w}}$. ---abstract:' In thisnote,  we comb ine ideas o f severa l p rev iou s p r o of s in order to o btai na quite  sh ort pro ofofGrö tzs ch  theorem. '
author :-'Z de něk  Dvoř á k[^1]'
t it le:  A  si mplif i ed dis charg ingpr oo f  of  Grötzs c ht h eore m-- -

G röt zs ch [@ Gro] pro ved tha t every p lan a r tr ia ng le-free  graph is $3$ -c olorable,us ing  the d i s charging  method. This proof was simplif ied  by T homa ssen [@Th oGr o] (wh o a l so gav e a pr incip al lyd i ffere n t  p roo f[@ThoShort l i st] ). Dv oř ák e t al. [ @DKT] give another var iation of the  di scha r g in g p r oo f . B ot h  of t he later argume nts were d ev e lo ped in ord e r t oobtainmore ge neral results  (the Tho massen’spr oofg i ves  extension s to gir th $5$ gr a phs i n  t he to rus  and t he  pr oject ive pl a ne,  whil e thepr oof of  Dvoř ák  et al.aims at algorithmic app licati ons),  an d thus th eir pre sentation  ofthe proofofGr
_{{\boldsymbol{w}}_{{{\ifmmode {\mathcal{C}}\else_${\mathcal{C}}$\fi}}_i}} \overline{J_{{{\ifmmode_{\mathcal{C}}\else ${\mathcal{C}}$\fi}}_i}}({\boldsymbol{w}}_{{{\ifmmode {\mathcal{C}}\else ${\mathcal{C}}$\fi}}_i},{\boldsymbol{w}}_{-{{\ifmmode_{\mathcal{C}}\else ${\mathcal{C}}$\fi}}_i})]_{i=1}^Q$_arranged_as a_row_vector with $\zeta_i>0$._The cost functions_$\{\overline{J_{{{\ifmmode {\mathcal{C}}\else ${\mathcal{C}}$\fi}}_i}}({\boldsymbol{w}}_{{{\ifmmode {\mathcal{C}}\else_${\mathcal{C}}$\fi}}_i},{\boldsymbol{w}}_{-{{\ifmmode {\mathcal{C}}\else ${\mathcal{C}}$\fi}}_i})\}_{i=1}^Q$_satisfy_the diagonal strict convexity property if ${\boldsymbol{g}}({\boldsymbol{w}},{\boldsymbol{\zeta}})$ is strictly decreasing in ${\boldsymbol{w}}$ for some_positive_vector ${\boldsymbol{\zeta}}$,_that_is,_$({\boldsymbol{g}}(\hat{\boldsymbol{w}},{\boldsymbol{\zeta}})-{\boldsymbol{g}}({\boldsymbol{w}},{\boldsymbol{\zeta}}))^\top(\hat{\boldsymbol{w}}-{\boldsymbol{w}})<0$ for all nonequal ${\boldsymbol{w}}$,_$\hat{\boldsymbol{w}}$.
 ---
abstract: 'In this note,_we combine_ideas of several previous proofs in order to_obtain_a quite short_proof of Grötzsch theorem.'
author:
- 'Zdeněk Dvořák[^1]'
title: A simplified discharging_proof of Grötzsch theorem
---

Grötzsch [@Gro] proved that_every planar triangle-free_graph_is_$3$-colorable, using the discharging_method. This proof was simplified by_Thomassen [@ThoGro] (who also gave a principally_different proof [@ThoShortlist]). Dvořák et al. [@DKT] give another_variation of the discharging proof. Both_of the later arguments were_developed in_order to obtain more general_results (the Thomassen’s_proof gives_extensions to girth_$5$ graphs in the torus and_the projective plane,_while the proof of Dvořák et_al._aims at algorithmic_applications),_and_thus their_presentation of the_proof_of Gr