🐶「朝のGM！LEANで数学の定理を証明してみよう、えへへ！」🧮
.
Justin SunがLeanと#JustinSunPrizeについて話しているのを見かけました。
今日はわんこ兄さんが、数学の話をわかりやすく紹介します👇
.
💻 Leanはプログラミング言語であり、数学の証明を支援するツールでもあります。問題や条件、証明を、コンピューターが検証できる言語で書きます。まるで「このステップでは、どんな根拠を使ったの？」といつも尋ねてくる宿題の採点者がいるようです😂
.
簡単な問題を見てみましょう。
「2つの偶数の和は、いつでも偶数である」
.
aとbが整数なら、2つの偶数はそれぞれ2aと2bと表せます。したがって、
.
👉 2a + 2b = 2(a + b)
.
a + bも整数なので、その和は偶数です✅
.
2 + 4や6 + 8を試してみると例はわかりますが、上の証明によって、なぜこの命題があらゆる偶数の組み合わせで成り立つのかが説明できます！
.
🔍

@justinsuntron @trondao @TronDao_THA
#TGF #TronGlobalFriends