Global Index

F

J

K

L

Q

W

X

Y

_

other

(158 entries)

Variable Index

B

D

E

F

G

H

I

J

K

L

M

N

Q

S

U

W

X

Y

_

other

(15 entries)

Library Index

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

Q

R

S

T

U

V

W

X

Y

Z

_

other

(6 entries)

Lemma Index

F

H

J

K

L

N

Q

V

W

X

Y

_

other

(93 entries)

Axiom Index

F

G

I

J

K

L

M

Q

U

W

X

Y

Z

_

other

(32 entries)

Section Index

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

U

V

W

X

Y

Z

_

other

(1 entry)

Definition Index

A

E

F

G

H

J

K

L

N

P

Q

R

T

U

V

W

X

Y

Z

_

other

(11 entries)

Global Index

A

A [axiom, in Angles.point_orthocentre]
abba [lemma, in Angles.point_tangente]
abba [lemma, in Angles.point_cocyclicite]
angle_cons [axiom, in Angles.point_angle]
angle_plat [axiom, in Angles.point_angle]
angle_nul [axiom, in Angles.point_angle]
angle_inscrit [lemma, in Angles.point_tangente]
angle_inscrit [lemma, in Angles.point_cocyclicite]
AV [variable, in Angles.point_angle]

B

B [axiom, in Angles.point_orthocentre]
bissectrice [definition, in Angles.point_napoleon]
bissectrice_droite [lemma, in Angles.point_napoleon]
bissectrice_deux_isoceles [lemma, in Angles.point_napoleon]
bissectrice_hauteur_isocele [lemma, in Angles.point_napoleon]
bissectrice_direction [lemma, in Angles.point_napoleon]
bissectrice_unicite [lemma, in Angles.point_napoleon]
bissectrice_double [lemma, in Angles.point_napoleon]

C

C [axiom, in Angles.point_orthocentre]
calcul [lemma, in Angles.point_angle]
calcul2 [lemma, in Angles.point_angle]
calcul3 [axiom, in Angles.point_angle]
calcul4 [axiom, in Angles.point_angle]
calcul4 [lemma, in Angles.point_tangente]
calcul4 [lemma, in Angles.point_cocyclicite]
calcul5 [lemma, in Angles.point_tangente]
calcul5 [lemma, in Angles.point_cocyclicite]
changement_base_cocyclique_2 [lemma, in Angles.point_cocyclicite]
changement_base_cocyclique [lemma, in Angles.point_cocyclicite]
Chasles [axiom, in Angles.point_angle]
Chasles_2 [lemma, in Angles.point_angle]
circonscrit [definition, in Angles.point_tangente]
circonscrit [definition, in Angles.point_cocyclicite]
circonscrit_3centres [lemma, in Angles.point_napoleon]
cocyclicite_six [axiom, in Angles.point_cocyclicite]
cocyclique [lemma, in Angles.point_tangente]
cocyclique [lemma, in Angles.point_cocyclicite]
colineaire [definition, in Angles.point_angle]
colineaire_transitive [lemma, in Angles.point_napoleon]
colineaire_modulo_pi [lemma, in Angles.point_napoleon]
colineaire_sym [lemma, in Angles.point_napoleon]
colineaire_modulo_pi [lemma, in Angles.point_Simson]
colineaire_sym [lemma, in Angles.point_Simson]
compatible [axiom, in Angles.point_angle]
compatible_croix [lemma, in Angles.point_angle]
concours_3circonscrits [lemma, in Angles.point_napoleon]
cons [variable, in Angles.point_angle]
construction_circonscrit [axiom, in Angles.point_tangente]
construction_circonscrit_vecteur [lemma, in Angles.point_tangente]
construction_isocele_base [lemma, in Angles.point_tangente]
construction_orthogonal [lemma, in Angles.point_tangente]
construction_circonscrit [axiom, in Angles.point_cocyclicite]
construction_circonscrit_vecteur [lemma, in Angles.point_cocyclicite]
construction_isocele_base [lemma, in Angles.point_cocyclicite]
construction_orthogonal [lemma, in Angles.point_cocyclicite]
critere_orthogonal_reciproque [lemma, in Angles.point_napoleon]
critere_orthogonal [lemma, in Angles.point_napoleon]

D

deux_rectangles [lemma, in Angles.point_cocyclicite]
double [definition, in Angles.point_angle]
double_plus [lemma, in Angles.point_angle]
double_permute [lemma, in Angles.point_angle]
double_zero [lemma, in Angles.point_angle]
double_orthogonal [lemma, in Angles.point_napoleon]
double_pisurdeux [axiom, in Angles.point_tangente]
double_pisurdeux [axiom, in Angles.point_cocyclicite]
droite_Simson [lemma, in Angles.point_Simson]

E

existence_mediatrice_base_isocele [lemma, in Angles.point_napoleon]
existence_milieu [axiom, in Angles.point_napoleon]
exists_opp_angle [lemma, in Angles.point_tangente]
exists_opp_angle [lemma, in Angles.point_cocyclicite]

G

general_Napoleon [lemma, in Angles.point_napoleon]

H

H [axiom, in Angles.point_orthocentre]

I

isocele [definition, in Angles.point_angle]
isocele_permute [lemma, in Angles.point_angle]
isocele_hauteur_bissectrice [lemma, in Angles.point_napoleon]
isocele_bissectrice_hauteur [lemma, in Angles.point_napoleon]
isocele_sym [lemma, in Angles.point_tangente]
isocele_sym [lemma, in Angles.point_cocyclicite]

M

milieu [definition, in Angles.point_napoleon]
milieu_isocele [lemma, in Angles.point_napoleon]

N

non_vide_P [axiom, in Angles.point_angle]
non_vide_V [axiom, in Angles.point_angle]
non_zero_pi [axiom, in Angles.point_cocyclicite]

O

opp [variable, in Angles.point_angle]
oppu_oppv [lemma, in Angles.point_angle]
oppu_v [lemma, in Angles.point_angle]
oppu_u [lemma, in Angles.point_angle]
opp_opp [lemma, in Angles.point_angle]
opp_vect [axiom, in Angles.point_angle]
opp_compatible [axiom, in Angles.point_angle]
orthocentre [definition, in Angles.point_orthocentre]
orthocentre_double [lemma, in Angles.point_orthocentre]
orthogonal [definition, in Angles.point_angle]
orthogonal_sym [lemma, in Angles.point_angle]
orthogonal_bissectrice [lemma, in Angles.point_napoleon]
orthogonal_colineaire [lemma, in Angles.point_napoleon]
orthogonal_opp [lemma, in Angles.point_napoleon]
orthogonal_colineaire [lemma, in Angles.point_Simson]
orthogonal_opp [lemma, in Angles.point_Simson]

P

permute [lemma, in Angles.point_angle]
pi [variable, in Angles.point_angle]
pisurdeux [variable, in Angles.point_tangente]
pisurdeux [variable, in Angles.point_cocyclicite]
pi_plus_zero [lemma, in Angles.point_angle]
pi_plus_pi [lemma, in Angles.point_angle]
plus [variable, in Angles.point_angle]
plus_sym [axiom, in Angles.point_angle]
plus_zero [lemma, in Angles.point_angle]
plus_assoc [lemma, in Angles.point_angle]
PO [variable, in Angles.point_angle]
point_aligne [axiom, in Angles.point_napoleon]
point_tangente [library]
point_napoleon [library]
point_angle [library]
point_orthocentre [library]
point_cocyclicite [library]
point_Simson [library]
projete_ortho_cote [lemma, in Angles.point_Simson]

R

R [variable, in Angles.point_angle]
reciproque_cocyclique [lemma, in Angles.point_tangente]
reciproque_cocyclique [lemma, in Angles.point_cocyclicite]
reflexion [lemma, in Angles.point_angle]
reflexive [axiom, in Angles.point_angle]
regulier [lemma, in Angles.point_angle]
regulier_cons [lemma, in Angles.point_angle]
rotation [lemma, in Angles.point_angle]
R_double [lemma, in Angles.point_angle]
R_permute [lemma, in Angles.point_angle]

S

somme_permute [lemma, in Angles.point_angle]
somme_triangle [lemma, in Angles.point_angle]
somme_pi [lemma, in Angles.point_angle]
sont_cocycliques [definition, in Angles.point_tangente]
sont_cocycliques [definition, in Angles.point_cocyclicite]
symetrique [axiom, in Angles.point_angle]
symetrique_orthocentre_cercle [lemma, in Angles.point_orthocentre]

T

tangente [lemma, in Angles.point_tangente]
tangente_reciproque [lemma, in Angles.point_tangente]
Theoreme [section, in Angles.point_orthocentre]
Theoreme.H_orthocentre [variable, in Angles.point_orthocentre]
Theoreme.triangle [variable, in Angles.point_orthocentre]
transitive [axiom, in Angles.point_angle]
triangle_isocele [lemma, in Angles.point_angle]
triangle_diametre [lemma, in Angles.point_cocyclicite]
triangle_rectangle [lemma, in Angles.point_cocyclicite]

U

unicite_perpendiculaire [lemma, in Angles.point_tangente]
unicite_circonscrit [lemma, in Angles.point_tangente]
unicite_circonscrit [lemma, in Angles.point_cocyclicite]
u_oppv [lemma, in Angles.point_angle]

V

V [variable, in Angles.point_angle]
vec [variable, in Angles.point_angle]
vR [variable, in Angles.point_angle]
vR_R_compatible [axiom, in Angles.point_angle]
v_vec [axiom, in Angles.point_angle]
v_trans [axiom, in Angles.point_angle]
v_sym [axiom, in Angles.point_angle]
v_refl [axiom, in Angles.point_angle]

Z

zero [variable, in Angles.point_angle]
zero_plus_a [lemma, in Angles.point_angle]
zero_plus [lemma, in Angles.point_angle]

Variable Index

A

AV [in Angles.point_angle]

C

cons [in Angles.point_angle]

O

opp [in Angles.point_angle]

P

pi [in Angles.point_angle]
pisurdeux [in Angles.point_tangente]
pisurdeux [in Angles.point_cocyclicite]
plus [in Angles.point_angle]
PO [in Angles.point_angle]

R

R [in Angles.point_angle]

T

Theoreme.H_orthocentre [in Angles.point_orthocentre]
Theoreme.triangle [in Angles.point_orthocentre]

V

V [in Angles.point_angle]
vec [in Angles.point_angle]
vR [in Angles.point_angle]

Z

zero [in Angles.point_angle]

Library Index

P

point_tangente
point_napoleon
point_angle
point_orthocentre
point_cocyclicite
point_Simson

Lemma Index

A

abba [in Angles.point_tangente]
abba [in Angles.point_cocyclicite]
angle_inscrit [in Angles.point_tangente]
angle_inscrit [in Angles.point_cocyclicite]

B

bissectrice_droite [in Angles.point_napoleon]
bissectrice_deux_isoceles [in Angles.point_napoleon]
bissectrice_hauteur_isocele [in Angles.point_napoleon]
bissectrice_direction [in Angles.point_napoleon]
bissectrice_unicite [in Angles.point_napoleon]
bissectrice_double [in Angles.point_napoleon]

C

calcul [in Angles.point_angle]
calcul2 [in Angles.point_angle]
calcul4 [in Angles.point_tangente]
calcul4 [in Angles.point_cocyclicite]
calcul5 [in Angles.point_tangente]
calcul5 [in Angles.point_cocyclicite]
changement_base_cocyclique_2 [in Angles.point_cocyclicite]
changement_base_cocyclique [in Angles.point_cocyclicite]
Chasles_2 [in Angles.point_angle]
circonscrit_3centres [in Angles.point_napoleon]
cocyclique [in Angles.point_tangente]
cocyclique [in Angles.point_cocyclicite]
colineaire_transitive [in Angles.point_napoleon]
colineaire_modulo_pi [in Angles.point_napoleon]
colineaire_sym [in Angles.point_napoleon]
colineaire_modulo_pi [in Angles.point_Simson]
colineaire_sym [in Angles.point_Simson]
compatible_croix [in Angles.point_angle]
concours_3circonscrits [in Angles.point_napoleon]
construction_circonscrit_vecteur [in Angles.point_tangente]
construction_isocele_base [in Angles.point_tangente]
construction_orthogonal [in Angles.point_tangente]
construction_circonscrit_vecteur [in Angles.point_cocyclicite]
construction_isocele_base [in Angles.point_cocyclicite]
construction_orthogonal [in Angles.point_cocyclicite]
critere_orthogonal_reciproque [in Angles.point_napoleon]
critere_orthogonal [in Angles.point_napoleon]

D

deux_rectangles [in Angles.point_cocyclicite]
double_plus [in Angles.point_angle]
double_permute [in Angles.point_angle]
double_zero [in Angles.point_angle]
double_orthogonal [in Angles.point_napoleon]
droite_Simson [in Angles.point_Simson]

E

existence_mediatrice_base_isocele [in Angles.point_napoleon]
exists_opp_angle [in Angles.point_tangente]
exists_opp_angle [in Angles.point_cocyclicite]

G

general_Napoleon [in Angles.point_napoleon]

I

isocele_permute [in Angles.point_angle]
isocele_hauteur_bissectrice [in Angles.point_napoleon]
isocele_bissectrice_hauteur [in Angles.point_napoleon]
isocele_sym [in Angles.point_tangente]
isocele_sym [in Angles.point_cocyclicite]

M

milieu_isocele [in Angles.point_napoleon]

O

oppu_oppv [in Angles.point_angle]
oppu_v [in Angles.point_angle]
oppu_u [in Angles.point_angle]
opp_opp [in Angles.point_angle]
orthocentre_double [in Angles.point_orthocentre]
orthogonal_sym [in Angles.point_angle]
orthogonal_bissectrice [in Angles.point_napoleon]
orthogonal_colineaire [in Angles.point_napoleon]
orthogonal_opp [in Angles.point_napoleon]
orthogonal_colineaire [in Angles.point_Simson]
orthogonal_opp [in Angles.point_Simson]

P

permute [in Angles.point_angle]
pi_plus_zero [in Angles.point_angle]
pi_plus_pi [in Angles.point_angle]
plus_zero [in Angles.point_angle]
plus_assoc [in Angles.point_angle]
projete_ortho_cote [in Angles.point_Simson]

R

reciproque_cocyclique [in Angles.point_tangente]
reciproque_cocyclique [in Angles.point_cocyclicite]
reflexion [in Angles.point_angle]
regulier [in Angles.point_angle]
regulier_cons [in Angles.point_angle]
rotation [in Angles.point_angle]
R_double [in Angles.point_angle]
R_permute [in Angles.point_angle]

S

somme_permute [in Angles.point_angle]
somme_triangle [in Angles.point_angle]
somme_pi [in Angles.point_angle]
symetrique_orthocentre_cercle [in Angles.point_orthocentre]

T

tangente [in Angles.point_tangente]
tangente_reciproque [in Angles.point_tangente]
triangle_isocele [in Angles.point_angle]
triangle_diametre [in Angles.point_cocyclicite]
triangle_rectangle [in Angles.point_cocyclicite]

U

unicite_perpendiculaire [in Angles.point_tangente]
unicite_circonscrit [in Angles.point_tangente]
unicite_circonscrit [in Angles.point_cocyclicite]
u_oppv [in Angles.point_angle]

Z

zero_plus_a [in Angles.point_angle]
zero_plus [in Angles.point_angle]

Axiom Index

A

A [in Angles.point_orthocentre]
angle_cons [in Angles.point_angle]
angle_plat [in Angles.point_angle]
angle_nul [in Angles.point_angle]

B

B [in Angles.point_orthocentre]

C

C [in Angles.point_orthocentre]
calcul3 [in Angles.point_angle]
calcul4 [in Angles.point_angle]
Chasles [in Angles.point_angle]
cocyclicite_six [in Angles.point_cocyclicite]
compatible [in Angles.point_angle]
construction_circonscrit [in Angles.point_tangente]
construction_circonscrit [in Angles.point_cocyclicite]

D

double_pisurdeux [in Angles.point_tangente]
double_pisurdeux [in Angles.point_cocyclicite]

E

existence_milieu [in Angles.point_napoleon]

H

H [in Angles.point_orthocentre]

N

non_vide_P [in Angles.point_angle]
non_vide_V [in Angles.point_angle]
non_zero_pi [in Angles.point_cocyclicite]

O

opp_vect [in Angles.point_angle]
opp_compatible [in Angles.point_angle]

P

plus_sym [in Angles.point_angle]
point_aligne [in Angles.point_napoleon]

R

reflexive [in Angles.point_angle]

S

symetrique [in Angles.point_angle]

T

transitive [in Angles.point_angle]

V

vR_R_compatible [in Angles.point_angle]
v_vec [in Angles.point_angle]
v_trans [in Angles.point_angle]
v_sym [in Angles.point_angle]
v_refl [in Angles.point_angle]

Section Index

T

Theoreme [in Angles.point_orthocentre]

Definition Index

B

bissectrice [in Angles.point_napoleon]

C

circonscrit [in Angles.point_tangente]
circonscrit [in Angles.point_cocyclicite]
colineaire [in Angles.point_angle]

D

double [in Angles.point_angle]

I

isocele [in Angles.point_angle]

M

milieu [in Angles.point_napoleon]

O

orthocentre [in Angles.point_orthocentre]
orthogonal [in Angles.point_angle]

S

sont_cocycliques [in Angles.point_tangente]
sont_cocycliques [in Angles.point_cocyclicite]

Global Index

F

J

K

L

Q

W

X

Y

_

other

(158 entries)

Variable Index

B

D

E

F

G

H

I

J

K

L

M

N

Q

S

U

W

X

Y

_

other

(15 entries)

Library Index

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

Q

R

S

T

U

V

W

X

Y

Z

_

other

(6 entries)

Lemma Index

F

H

J

K

L

N

Q

V

W

X

Y

_

other

(93 entries)

Axiom Index

F

G

I

J

K

L

M

Q

U

W

X

Y

Z

_

other

(32 entries)

Section Index

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

U

V

W

X

Y

Z

_

other

(1 entry)

Definition Index

A

E

F

G

H

J

K

L

N

P

Q

R

T

U

V

W

X

Y

Z

_

other

(11 entries)