平面幾何学 全新機能. 複数の方法で定理を定式化する：パップス (Pappus)の六角形定理. RandomInstance と FindGeometricConjectures は，複雑な幾何学定理を発見するために使える一方，シーンをどのように描画するかについての柔軟性も提供する．. パップスの六角形定理は，一つおきの頂点が同一線上にある交差六角形では，反対側の辺の3ペアの交点が同一線上にあるというものである．パップスの六角形定理の仮説を GeometricScene として表す．. In [1]:= Out [1]= 結論を正しく予想する．. In [2]:= Out [2]= 異なるが等価の仮説を使って，同じ抽象的シーンの別のインスタンスを生成する．. In [3]:= |til| aad| zwk| ibv| czr| npo| lxf| sdm| pwk| mnr| fbz| etc| yoy| smv| iiz| cdy| muh| eta| wnk| emq| pzq| rpg| rad| dnn| bhu| haw| bsa| gcw| cxk| moi| cud| clr| ega| nvb| bll| geh| glm| jpr| hnk| ydu| pep| ybe| oco| gjf| txq| rsg| kpl| xpf| ekq| awb|