google-deepmind / google-deepmind/alphageometry

How to translate problems into alphageometry language

Open
#161 0 comments 0 reactions 0 assignees View on GitHub
Dominant language
Python
Stars
4.9k
Forks
572
PR merge metrics
No merged PRs in 30d

Description

how to translate text from similar:
Two circles G1 and G2 intersect at two points M and N . Let AB be the line tangent
to these circles at A and B, respectively, so that M lies closer to AB than N . Let
CD be the line parallel to AB and passing through the point M , with C on G1 and
D on G2. Lines AC and BD meet at E; lines AN and CD meet at P ; lines BN
and CD meet at Q. Show that EP = EQ.
to this:
a b = segment a b; g1 = on_tline g1 a a b; g2 = on_tline g2 b b a; m = on_circle m g1 a, on_circle m g2 b; n = on_circle n g1 a, on_circle n g2 b; c = on_pline c m a b, on_circle c g1 a; d = on_pline d m a b, on_circle d g2 b; e = on_line e a c, on_line e b d; p = on_line p a n, on_line p c d; q = on_line q b n, on_line q c d ? cong e p e q

I cant find this in instruction.Please,help

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.