google-deepmind / alphageometry

Apache License 2.0
4.16k stars 466 forks source link

EXO ANGLES #129

Open Josteregg opened 4 months ago

Josteregg commented 4 months ago

Soient A,B,C,D quatre points distincts du plan. Lesquelles de ces affirmations, exprimées en angles orientés, sont toujours vraies ? Cochez chaque proposition correcte.

Si AB et CD sont des droites parallèles distinctes, alors ABCˆ=DCBˆ . Si B∈[AC] , alors DBAˆ+DBCˆ=180∘ . Si ABCˆ+BCDˆ=0∘ , alors les droites AB et CD sont parallèles. Si ABCˆ+BCDˆ=180∘ , alors les droites AB et CD sont parallèles.

Josteregg commented 2 months ago

Si ABCˆ+BCDˆ=0∘ , alors les droites AB et CD sont parallèles. Si ABCˆ+BCDˆ=180∘ , alors les droites AB et CD sont parallèles.