・AI先生に作図してもらいました。
オリジナル
YUUU0123 様 (0:00〜4:08) いつもお世話になっております。
↓高校入試チャレンジ問題 ED=? なかなかの難問だと思います。
https://youtu.be/Q53M7x5ocxA
sympyで(オリジナル Youtbe様の方法を参考に)
ver0.1
・先生の丸写しです。
・本プログラム内に図形の証明はありません。勉強中です。
# ver0.1
from sympy import *
var('r,x',real=True,positive=True)
print("#",solve(Eq(2*r/(2*sqrt(2)*r),x/(1+x)),x)[0])
# 1 + sqrt(2)
sympyで(いつもの座標の方法で)
ver1.1
・円と直線の交点計算です。
・本プログラム内に図形の証明はありません。勉強中です。
# ver1.1
from sympy import *
var('r,',real=True,positive=True)
AE =1
A,Od,D=map(Point,[(-r*sqrt(2),0),(0,r),(r,r)])
E =Circle(Od,r).intersection(Line(A,D))[1] #;print(E)
r_sol =solve(Eq(A.distance(E),AE),r)[0] #;print(r_sol,float(r_sol))
print("#",radsimp(E.distance(D).subs({r:r_sol}).simplify()))
# 1 + sqrt(2)
(本日の)Gemini先生へ
PNG図のみ作図して下さい。
(ver1.1の表示省略)
．作図間違っています。申し訳ありません。
いつもの? sympyの実行環境 と 参考のおすすめです。
sympyのweb上での実行方法
SymPy Live Shellで。FreeCADのマクロは、以下で実行できません。