Habe im Artikel Dinostratus im Dict. Scient. Biography nachgeschlagen, danach ist der Beweis (ein Widerspruchsbeweis) bei Pappos überliefert. Pappos wies aber auch daraufhin, dass "Dinostratus, Nikomedes und einige spätere Autoren" die Quadratix für die Kreisquadrierung nutzten. Die Reihenfolge Entdeckung durch Hippias, dann Verwendung unter anderem zur Winkeldreiteilung und von Dinostratos zur Kreisquadrierung folgt danach Bretschneider, Die Geometrie und die Geometer von Euklides, Leipzig 1870, was sich nach diesem etablierte.-- Claude J 10:13, 23. Jun. 2020 (CEST)