Spoiler alert!

Say the diameter is a segment from A=(a,b) to B=(c,d). A point C=(x,y) on the circle forms a *right* triangle with those two points (Thales!), so the vectors AC and BC are orthogonal, so their slopes are negative reciprocals. That is,

(y-b)/(x-a)=-(x-c)/(y-d).

— Alex Kontorovich (@AlexKontorovich) November 23, 2020

A remarkable result on the ArXiv tonight, due to Kedlaya, Kolpakov, Poonen, and Rubinstein, at https://t.co/YNcWqgZj3M. One of the highlights is that they fully classify tetrahedra (= triangular pyramids) with rational dihedral angles. Here's what they prove… (1/n)

— Marty Weissman (@marty__weissman) December 1, 2020