大人向け。直角二等辺三角形が横方向に２つ「【数学練習】172」様を、sympy で計算と作図。

・ver1.1,ver1.2 作図の違いに興味がありました。

オリジナル

算数・数学ちゃんねる 様 (0:00〜3:01) いつもお世話になっております。
↓【数学練習】172
https://youtu.be/uT89ySUagv4

いつものsympyで(オリジナル Youtbe様の方法を参考に)

ver0.1

・先生の丸写しです。ステキです。ソースコード内で、図形の証明は省略です。
・補助線の追加が無しでした。

# ver0.1
from sympy import *
var('a,b',real=True,positive=True)
eq_1=Eq(b-a    , 1)               
eq_2=Eq(2*a+2*b,10) 
b_sol=solve(eq_1                ,b)[0]  #;print(b_sol)
a_sol=solve(eq_2.subs({b:b_sol}),a)[0]  #;print(a_sol)
b_sol=solve(eq_1.subs({a:a_sol}),b)[0]  #print(b_sol)
print("#",(a_sol*2*a_sol/2)+(b_sol*2*b_sol/2))
# 13

ver0.2

・普通は？連立方程式です。

# ver0.2
from sympy import *
var('a,b',real=True,positive=True)
print("#",(a*2*a/2+b*2*b/2)              \
           .subs(solve([Eq(b-a    , 1),  \
                        Eq(2*a+2*b,10)], \
                       [a,b])))
# 13

sympyで

ver1.1

・（再）ver1.1,ver1.2 作図の違いに興味がありました。

# ver1.1
from sympy import *
var('w1,w2',real=True,positive=True)
tr1=Triangle(asa=(45,w1,45))
tr2=Triangle(asa=(45,w2,45))
rep=solve([Eq(tr2.vertices[2].y-tr1.vertices[2].y, 1),  \
           Eq(w1+w2                              ,10)], \
          [w1,w2])
print("#",(tr1.area+tr2.area).subs(rep))              \
# 13

ver1.2

・translate してみました。

# ver1.2
from sympy import *
var('w1,w2',real=True,positive=True)
tr1=Triangle(asa=(45,w1,45))
tr2=Triangle(asa=(45,w2,45)).translate(w1,0)   # ここだけ変更です。
rep=solve([Eq(tr2.vertices[2].y-tr1.vertices[2].y, 1),  \
           Eq(w1+w2                              ,10)], \
          [w1,w2])
print("#",(tr1.area+tr2.area).subs(rep))              \
# 13

(本日の)Gemini 先生へ。作図。

ver1.1 と　ver1.2の
PNG図 のみ出力して下さい。各辺の長さ、面積を厳密値で追加表示して下さい。
(ver1.1 ソースコード表示省略)
(ver1.2 ソースコード表示省略)

・高さの差１を表示して。

いつもの? sympyの実行環境 と 参考のおすすめです。

sympyのweb上での実行方法

(SymPy Live Shellで。よりも)
ソースコードの実行、解説は、私よりGemini先生へのソースコードの丸投げがおすすめです。質問の追加はいくらでも。「教えて」
モーダル対応？「実行して」。「作図して」「問題文章の丸投げ」いい時代です。
AI先生に、今はテキスト渡しです。urlを渡して、「教えて」の時代が来ているカモ。音声で

(テンプレート)

いつもと違うおすすめです。

Qiita 内で

sympy のdoc

・いらないカモ。

ver0.1

ver0.2

ver1.1

ver1.2

・??? 私は見つける事ができませんでした。