本編のブログでこんな記事を書いていたときに， 平方剰余の第一補充則から二平方定理を導く - tsujimotterのノートブック 平方剰余の第一補充則から二平方定理を導く - tsujimotterのノートブック 途中で以下の不等式が出てきました。記事ではさらっと流して…