トレミーの定理

Grassmannian-Pluckerの関係

Ptolemy's theorem トレミーの定理

円に内接する四角形ABCDがあった時が成り立つそうだ en.wikipedia.org t <- sort(runif(4) * 2 * pi) x <- cos(t) y <- sin(t) xy <- cbind(x,y) d <- as.matrix(dist(xy)) d d[1,3] * d[2,4] - (d[1,2] * d[3,4] + d[2,3] * d[4,1]) > t <- sort(runif(4) *…