This repository was archived by the owner on Jul 24, 2024. It is now read-only.
Commit 6d0adfa
committed
feat(geometry/euclidean/angle/sphere): law of sines, converse of inscribed angles (#17992)
Add some (oriented angle) versions of the law of sines / sine rule, and of the converse of angles in the same segment / opposite angles of a cyclic quadrilateral.
As with previous lemmas in this area, more versions would be appropriate to add in future, including unoriented angle versions and versions of the law of sines that don't involve the circumradius and so can be applied even in the degenerate case of collinear points, but this seems a reasonable starting point.1 parent d3e8e0a commit 6d0adfa
1 file changed
Lines changed: 317 additions & 4 deletions
0 commit comments