ä¸å¹³æ¹ã®å®çã®è¨¼æ
ä¸å¹³æ¹ã®å®ç(ãã¿ã´ã©ã¹ã®å®ç)ã証æããã
ããªãã¡ãä¸å³ã®ãããªç´è§ä¸è§å½¢ãèããã¨ãã
\begin{equation}
a^2+b^2=c^2
\end{equation}
ãæãç«ã¤ãã¨ã示ãã
Â
証æ
 ååãªç´è§ä¸è§å½¢ãä¸å³ã®ããã«4ã¤é
ç½®ããå ´åãèããã
ããã§å¤§ããªåè§å½¢ã¯ãæããã«å辺ã®é·ããã®æ£æ¹å½¢ã§ããã
Â
ã¾ãç½ãå°ããªåè§å½¢ã¯ãå辺ã®é·ãããåé
ã®è§ã
åç´ã§ãªã2è§ã®å
ã§ããã®ã§ããã¯ãæ£æ¹å½¢ã§ããã
Â
ã大ããªæ£æ¹å½¢ã®é¢ç©ãã¯ããå°ããªæ£æ¹å½¢ã®é¢ç©ã¨ç´è§ä¸è§å½¢4ã¤ã®é¢ç©ã®åãã«çããã®ã§ã以ä¸ã®çå¼ãæãç«ã¤ã
\begin{eqnarray}
(a+b)^2=c^2+4\frac{a\cdot b}{2}
\end{eqnarray}
Â
両辺ãæ´çãã¦ããã
\begin{eqnarray} \require{cancel}
a^2+2ab+b^2&=&c^2+2ab\\
a^2+\cancel{2ab}+b^2&=&c^2+\cancel{2ab}\\
a^2+b^2&=&c^2
\end{eqnarray}
両辺ã®ãã¡ããã©æã¡æ¶ãåããä¸å¹³æ¹ã®å®çãå°ãããã