home/categories/astronomy-physics/pjt222-agent-almanac-i18n-ja-skills-prove-geometric-theorem-skill-md
astronomy-physicsresearch
prove-geometric-theorem
幾何学的定理を系統的に証明する。合同・相似による証明、座標幾何学による証明、 ベクトルを用いた証明、変換(回転・平行移動・鏡映)による証明、および背理法を 含む。証明の構造化、補助線の追加戦略、証明の検証方法を扱う。
maintainer
pjt222
Mis à jour 3/17/2026
Étoiles
9
Forks
0
quick start
Installation and usage
幾何学的定理を系統的に証明する。合同・相似による証明、座標幾何学による証明、 ベクトルを用いた証明、変換(回転・平行移動・鏡映)による証明、および背理法を 含む。証明の構造化、補助線の追加戦略、証明の検証方法を扱う。
Installation
$ install --globalskills.sh
Utilisation
Après l'installation, vous pouvez utiliser ce skill en exécutant la commande suivante dans votre terminal :
skills use prove-geometric-theorem