双曲線上のパスカルの定理 - DyGeom.m on Mathematica+KETpic

<< ketpic6.m
<< DyGeom.m
g1 = FunctionGraph[Sqrt[0.5*x^2 + 1], {x, -3, 3}, target -> {-1.5, 4}]
g2 = FunctionGraph[-Sqrt[0.5*x^2 + 1], {x, -3, 3}, target -> {-1.5, 4}]
p1 = PointOnFunctionGraph[g1, -2]
p2 = PointOnFunctionGraph[g1, 0.2]
p3 = PointOnFunctionGraph[g1, 1.5]
p4 = PointOnFunctionGraph[g2, -1.8]
p5 = PointOnFunctionGraph[g2, -0.1]
p6 = PointOnFunctionGraph[g2, 2.6]
l1 = 線分[p1, p5]; l2 = 線分[p2, p4]; q1 = 交点[l1, l2]
l3 = 線分[p1, p6]; l4 = 線分[p3, p4]; q2 = 交点[l3, l4]
l5 = 線分[p2, p6]; l6 = 線分[p3, p5]; q3 = 交点[l5, l6]
ll = 直線[q1, q3]
作図[g1, g2, p1, p2, p3, p4, p5, p6, l1, l2, l3, l4, l5, l6, q1, q2, q3, ll]

---