・私は、いつものワンパターンです。

オリジナル

YUUU0123 様 (0:00〜4:16) いつもお世話になっております。
↓高校入試チャレンジ問題 EC=?
https://youtu.be/EdrnmaiMPL0

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

ver0.1

・先生の丸写しです。図形の証明は省略です。
・相似△APD∽△EBA。補助線1本でした。線分DP。

# ver0.1
from sympy import *
var('x',real=True,positive=True) 
AB,BE=6,2
AE   =sqrt(AB**2+BE**2)              #;print(AE)
PE   =AE*Rational(3,4)               #;print(PE)
DE   =sqrt(x**2+AB**2)               #;print(DE)
x_sol=solve(Eq(PE*sqrt(2),DE),x)[0]  
print("#",x_sol)
# 3

いつもの sympyで

ver1.1

・1点ずつです。

# ver1.1
from sympy import *
AB,BE=6,2
A,B,E=map(Point,[(0,AB),(0,0),(BE,0)])
ln_ED=Line(E,A).rotate(rad(-45),E)                   #;print(ln_ED)  
D    =Line(A,A+Point(1,0)).intersection(ln_ED)[0]    #;print(D)
print("#",D.x-E.x)
# 3

ver1.2

・私の Chromebook で1分ほどで 3 がでます。

# ver1.2
from sympy import *
var('x',real=True,positive=True) 
AB,BE    =6,2
A,B,E,C,D=map(Point,[(0,AB),(0,0),(BE,0),(BE+x,0),(BE+x,AB)])
print("#",solve(Eq(Line(E,D).angle_between(Line(E,A)),pi/4),x)[0])
# 3

(続けて)Gemini先生へ。

下記のPNG図のみ出力して下さい。
(ver1.1 のソースコードの表示を省略)

寸法と　45°を表示して。

・今回あきらめて、matplotpli作図です。
　私の質問はあと一歩でした。

AI先生へ動画作成。

・どなたかチャレンジしてもらうと助かります。

以下の動画を作って。
(ソースコードの表示を省略)

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

sympyのweb上での実行方法

SymPy Live Shellで。
ソースコードの解説は、私よりGemini先生へのソースコードの丸投げがおすすめです。質問の追加はいくらでも。
モーダル対応？「実行して」。「作図して」「問題文章の丸投げ」いい時代です。

(テンプレート)

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

sympy のdoc

・いらないカモ。(再)・私は、いつものワンパターンです。

ver0.1

ver1.1

ver1.2

・angle_between(l2) ＜ Line
https://docs.sympy.org/latest/modules/geometry/lines.html#sympy.geometry.line.LinearEntity.angle_between

後記

GeminiはAIであり、不正確な情報を表示することがあります