ã€æŸç¾¤ã€‘"ベン図ã£ã½ã„ç‰å¼"ã‚’ã‚‚ã¤æ•°å¦çš„æ§‹é€ ã¨ã¯ï¼Ÿ - Corollaryã¯å¿…然ã«ã€‚ã“ã®è¨˜äº‹ã¯æ—¥æ›œæ•°å¦ Advent Calendar 2020ã®14日目ã®è¨˜äº‹ã§ã™ã€‚13日目ã¯satoã•ã‚“ã®ã€çœŸç†ã®æ£®ã®æ•°å¦ã‚»ãƒŸãƒŠãƒ¼ã€‘SS：原始ピタゴラス数ã®ãŠè©±ã§ã—ãŸã€‚フェルマーã®æœ€çµ‚定ç†ã¨åŽŸå§‹ãƒ”タゴラス数ã«ã¤ã„ã¦å¯¾è©±å½¢å¼ã§æ›¸ã‹ã‚Œã¦ã„ã¦æ¥½ã—ãèªã‚る記事ã§ã—ãŸã€‚ çªç„¶ã§ã™ãŒã€è‡ªç„¶æ•°ï¼Œã«å¯¾ã—㦠\begin{equation} mn = \gcd(m,n)\operatorname{lcm}(m,n)\label{1} \end{equation}ãŒæˆã‚Šç«‹ã¡ã¾ã™ã€‚ 一方ã€å®Ÿæ•°ï¼Œã«å¯¾ã—㦠\begin{equation} x+y=\min\{x, y\} + \max\{x, y\}\label{2} \end{equation}ãŒæˆã‚Šç«‹ã¡ã¾ã™ã€‚ ã¾ãŸã€é›†åˆã®éƒ¨åˆ†é›†åˆï¼Œã«å¯¾ã—㦠\begin{equation} \#(A+B) = \#( (A\cap B) + (A\cup B) ) \lab
{{#tags}}- {{label}}
{{/tags}}