{"id":18732685,"url":"https://github.com/pavelzw/7circles","last_synced_at":"2025-04-12T18:31:18.958Z","repository":{"id":44612924,"uuid":"417174224","full_name":"pavelzw/7circles","owner":"pavelzw","description":"The Seven Circles Theorem made with manim","archived":false,"fork":false,"pushed_at":"2024-04-07T00:08:33.000Z","size":821,"stargazers_count":12,"open_issues_count":0,"forks_count":0,"subscribers_count":2,"default_branch":"main","last_synced_at":"2025-03-26T12:51:10.750Z","etag":null,"topics":["animation","geometry","hyperbolic-geometry","manim","maths","video"],"latest_commit_sha":null,"homepage":"https://youtu.be/m9v0h2ibYpo","language":"Python","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/pavelzw.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null}},"created_at":"2021-10-14T15:00:34.000Z","updated_at":"2024-05-27T04:40:06.000Z","dependencies_parsed_at":"2022-08-22T06:00:22.581Z","dependency_job_id":null,"html_url":"https://github.com/pavelzw/7circles","commit_stats":null,"previous_names":[],"tags_count":2,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/pavelzw%2F7circles","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/pavelzw%2F7circles/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/pavelzw%2F7circles/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/pavelzw%2F7circles/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/pavelzw","download_url":"https://codeload.github.com/pavelzw/7circles/tar.gz/refs/heads/main","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":248613347,"owners_count":21133496,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["animation","geometry","hyperbolic-geometry","manim","maths","video"],"created_at":"2024-11-07T15:07:18.581Z","updated_at":"2025-04-12T18:31:18.296Z","avatar_url":"https://github.com/pavelzw.png","language":"Python","funding_links":[],"categories":[],"sub_categories":[],"readme":"# The Seven Circle Theorem\n\nThis repository contains the source code for a video about the proof of the Seven Circle Theorem by [Drach and Schwartz](https://arxiv.org/pdf/1911.00161.pdf).\nThe video was created using [manim](https://github.com/ManimCommunity/manim).\n\nThe video is uploaded to YouTube. The video is available in [English](https://youtu.be/m9v0h2ibYpo) and in [German](https://youtu.be/flR3e5Cc2G4).\n\n## Theorem\n\nFor every chain $H_1, \\ldots, H_6$ of consequently touching circles inscribed in and touching the unit circle, the three main diagonals of the hexagon comprised of the points at which the chain touches the unit circle, intersect at a common point.\n\n[![The Seven Circle Theorem](thumbnail.png)](https://youtu.be/m9v0h2ibYpo)\n\n## Acknowledgments\n\n[`tessellation_klein.png`](tessellation_klein.png) and [`tessellation_poincare.png`](tessellation_poincare.png) are made using the [Hyperbolic Tessellation program](https://dmitrybrant.com/2007/01/24/hyperbolic-tessellations) by [Dmirty Brant](https://github.com/dbrant).\n\n## Development\n\n### Prerequisites\n\nFor development, you need to install [pixi](https://pixi.sh) as well as TeXLive.\n\nOn macOS, you can do this via [Homebrew](https://brew.sh):\n\n```bash\nbrew install pixi\nbrew install mactex-no-gui\n```\n\nOn Ubuntu, you can do this as follows:\n\n```bash\nsudo apt install texlive-full\ncurl -fsSL https://pixi.sh/install.sh | bash\n```\n\nOn Windows, you can use the [TeX Live installer](https://www.tug.org/texlive/windows.html#install)\nand install pixi as follows:\n\n```bash\nwinget install prefix-dev.pixi\n```\n\n### Rendering\n\nTo render the videos, run\n\n```bash\npixi run 4k-render-all\n```\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fpavelzw%2F7circles","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fpavelzw%2F7circles","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fpavelzw%2F7circles/lists"}