| Global Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (1404 entries) |
| Variable Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (5 entries) |
| Library Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (64 entries) |
| Lemma Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (1050 entries) |
| Axiom Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (233 entries) |
| Definition Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (52 entries) |
Global Index
A
a [axiom, in HighSchoolGeometry.complexes_transformations]abscisse [axiom, in HighSchoolGeometry.repere_plan]
abscisse_def [axiom, in HighSchoolGeometry.repere_plan]
absvec [axiom, in HighSchoolGeometry.repere_plan]
absvec_ordvec_affixe [lemma, in HighSchoolGeometry.formes_complexes]
absvec_abscisse [lemma, in HighSchoolGeometry.repere_plan]
absvec_def [axiom, in HighSchoolGeometry.repere_plan]
abs_module [lemma, in HighSchoolGeometry.formes_complexes]
AD [axiom, in HighSchoolGeometry.angles_droites]
add_PP_reg_gauche [lemma, in HighSchoolGeometry.Field_affine]
add_PP_regulier [lemma, in HighSchoolGeometry.Field_affine]
add_PP_assoc [lemma, in HighSchoolGeometry.Field_affine]
add_PP_sym [lemma, in HighSchoolGeometry.Field_affine]
add_PP_A [lemma, in HighSchoolGeometry.Field_affine]
add_PP_zero [lemma, in HighSchoolGeometry.Field_affine]
add_PP [axiom, in HighSchoolGeometry.Field_affine]
add_mes_compatible [axiom, in HighSchoolGeometry.angles_vecteurs]
add_PP_alignes [lemma, in HighSchoolGeometry.alignement]
add_PP_concours [lemma, in HighSchoolGeometry.parallelisme_concours]
add_opp_vec [lemma, in HighSchoolGeometry.vecteur]
add_PP_vec_reg [lemma, in HighSchoolGeometry.vecteur]
add_PP_assoc_permute [lemma, in HighSchoolGeometry.vecteur]
add_PP_vecteur_opp [lemma, in HighSchoolGeometry.vecteur]
add_PP_vecteur_rec [lemma, in HighSchoolGeometry.vecteur]
add_PP_vecteur [lemma, in HighSchoolGeometry.vecteur]
add_PP_barycentre [axiom, in HighSchoolGeometry.barycentre]
add_PP_milieu_permute [lemma, in HighSchoolGeometry.milieu]
add_PP_milieu_asso [lemma, in HighSchoolGeometry.milieu]
add_PP_milieu [lemma, in HighSchoolGeometry.milieu]
affine_classiques [library]
affixe [axiom, in HighSchoolGeometry.complexes]
affixe_image_vecteur [lemma, in HighSchoolGeometry.complexes]
affixe_vecteur_point [axiom, in HighSchoolGeometry.complexes]
affixe_point_vecteur [axiom, in HighSchoolGeometry.complexes]
affixe_image [axiom, in HighSchoolGeometry.complexes]
affixe_vec [axiom, in HighSchoolGeometry.complexes]
affixe_origine [lemma, in HighSchoolGeometry.formes_complexes]
affixe_transforme [lemma, in HighSchoolGeometry.complexes_transformations]
affixe_image [lemma, in HighSchoolGeometry.complexes_transformations]
affixe_projete_orthogonal [lemma, in HighSchoolGeometry.complexes_conjugaison]
affixe_vec_AB_affixes [lemma, in HighSchoolGeometry.operations_complexes]
affixe_vec_AB [lemma, in HighSchoolGeometry.operations_complexes]
aire [axiom, in HighSchoolGeometry.aire_signee]
aire_triangle_projete [lemma, in HighSchoolGeometry.aire_signee]
aire_avec_projete [lemma, in HighSchoolGeometry.aire_signee]
aire_triangle_ordre_cycle [lemma, in HighSchoolGeometry.aire_signee]
aire_triangle_ordre_permute [lemma, in HighSchoolGeometry.aire_signee]
aire_triangle [definition, in HighSchoolGeometry.aire_signee]
aire_ordre_cycle2 [lemma, in HighSchoolGeometry.aire_signee]
aire_ordre_cycle [lemma, in HighSchoolGeometry.aire_signee]
aire_distrib_r [lemma, in HighSchoolGeometry.aire_signee]
aire_distrib_l [axiom, in HighSchoolGeometry.aire_signee]
aire_orthogonal [lemma, in HighSchoolGeometry.aire_signee]
aire_orthogonal_indirect [lemma, in HighSchoolGeometry.aire_signee]
aire_orthogonal_direct [lemma, in HighSchoolGeometry.aire_signee]
aire_nulle_colineaires [lemma, in HighSchoolGeometry.aire_signee]
aire_colineaire_r [lemma, in HighSchoolGeometry.aire_signee]
aire_colineaire_l [lemma, in HighSchoolGeometry.aire_signee]
aire_colinearite [lemma, in HighSchoolGeometry.aire_signee]
aire_alignement [lemma, in HighSchoolGeometry.aire_signee]
aire_vecteur_nul_l [lemma, in HighSchoolGeometry.aire_signee]
aire_vecteur_nul_r [lemma, in HighSchoolGeometry.aire_signee]
aire_AB_oppAB [lemma, in HighSchoolGeometry.aire_signee]
aire_ABAB [lemma, in HighSchoolGeometry.aire_signee]
aire_anti_symetrique [lemma, in HighSchoolGeometry.aire_signee]
aire_coordonnees [lemma, in HighSchoolGeometry.determinant]
aire_signee [library]
algebrique_zeroC [lemma, in HighSchoolGeometry.formes_complexes]
algebrique_operations [lemma, in HighSchoolGeometry.operations_complexes]
alignement [library]
alignement_triangle [lemma, in HighSchoolGeometry.angles_droites]
alignement_et_angles [lemma, in HighSchoolGeometry.angles_droites]
alignement_determinant [lemma, in HighSchoolGeometry.determinant]
alignes [definition, in HighSchoolGeometry.alignement]
alignes_mediatrice_milieu [lemma, in HighSchoolGeometry.mediatrice]
alignes_coplanaires [lemma, in HighSchoolGeometry.coplanarite]
alignes_equation_cartesienne [lemma, in HighSchoolGeometry.equations_droites]
alignes_unitaire [lemma, in HighSchoolGeometry.orthogonalite]
alignes_non_orthogonal [lemma, in HighSchoolGeometry.orthogonalite]
alignes_distance_negatif_colineaire [lemma, in HighSchoolGeometry.angles_vecteurs]
alignes_distance_positif_colineaire [lemma, in HighSchoolGeometry.angles_vecteurs]
alignes_non_alignes_trans4 [lemma, in HighSchoolGeometry.alignement]
alignes_non_alignes_trans3 [lemma, in HighSchoolGeometry.alignement]
alignes_non_alignes_trans2 [lemma, in HighSchoolGeometry.alignement]
alignes_non_alignes_trans [lemma, in HighSchoolGeometry.alignement]
alignes_trans2 [lemma, in HighSchoolGeometry.alignement]
alignes_trans [lemma, in HighSchoolGeometry.alignement]
alignes_ordre_cycle3 [lemma, in HighSchoolGeometry.alignement]
alignes_ordre_cycle2 [lemma, in HighSchoolGeometry.alignement]
alignes_ordre_permute [lemma, in HighSchoolGeometry.alignement]
alignes_ordre_cycle [lemma, in HighSchoolGeometry.alignement]
alignes_trivial3 [lemma, in HighSchoolGeometry.alignement]
alignes_trivial2 [lemma, in HighSchoolGeometry.alignement]
alignes_trivial [lemma, in HighSchoolGeometry.alignement]
alignes_paralleles_confondus [lemma, in HighSchoolGeometry.parallelisme_concours]
alignes_paralleles [lemma, in HighSchoolGeometry.parallelisme_concours]
alignes_droite2 [lemma, in HighSchoolGeometry.parallelisme_concours]
alignes_droite [axiom, in HighSchoolGeometry.parallelisme_concours]
alignes_angle [lemma, in HighSchoolGeometry.angles_droites]
alignes_barycentre [lemma, in HighSchoolGeometry.barycentre]
alignes_milieu [lemma, in HighSchoolGeometry.milieu]
alignes_representant_unitaire [lemma, in HighSchoolGeometry.representant_unitaire]
alignes_diametre [lemma, in HighSchoolGeometry.cercle]
alignes1 [definition, in HighSchoolGeometry.alignement]
alignes1_colineaire [lemma, in HighSchoolGeometry.alignement]
Al_Kashi [lemma, in HighSchoolGeometry.metrique_triangle]
Al_Kashi_Cos [lemma, in HighSchoolGeometry.metrique_triangle]
AM [axiom, in HighSchoolGeometry.Field_affine]
AMField [lemma, in HighSchoolGeometry.Field_affine]
AM_theory [axiom, in HighSchoolGeometry.Field_affine]
angles_milieu2 [lemma, in HighSchoolGeometry.angles_vecteurs]
angles_milieu [lemma, in HighSchoolGeometry.angles_vecteurs]
angles_complementaires_triangle_rectangle [lemma, in HighSchoolGeometry.angles_vecteurs]
angles_representants_unitaires [axiom, in HighSchoolGeometry.angles_vecteurs]
angles_orthogonal [axiom, in HighSchoolGeometry.cocyclicite]
angles_droites_droites_orthogonales [lemma, in HighSchoolGeometry.angles_droites]
angles_droites_orthogonales [lemma, in HighSchoolGeometry.angles_droites]
angles_orthogonal [lemma, in HighSchoolGeometry.angles_droites]
angles_droites_paralleles [lemma, in HighSchoolGeometry.angles_droites]
angles_et_paralleles [lemma, in HighSchoolGeometry.angles_droites]
angles_et_colinearite [lemma, in HighSchoolGeometry.angles_droites]
angles_droites_colinearite [lemma, in HighSchoolGeometry.angles_droites]
angles_egaux_triangle_indirect [axiom, in HighSchoolGeometry.metrique_triangle]
angles_egaux_triangle [axiom, in HighSchoolGeometry.metrique_triangle]
angles_vecteurs [library]
angles_droites [library]
angle_vecteurs_arguments [lemma, in HighSchoolGeometry.complexes_similitudes]
angle_argument [lemma, in HighSchoolGeometry.complexes_dilatations]
angle_pi_negatif_colineaire [lemma, in HighSchoolGeometry.angles_vecteurs]
angle_nul_positif_colineaire [lemma, in HighSchoolGeometry.angles_vecteurs]
angle_produit_positif_l [lemma, in HighSchoolGeometry.angles_vecteurs]
angle_produit_positif_r2 [lemma, in HighSchoolGeometry.angles_vecteurs]
angle_produit_negatif_l [lemma, in HighSchoolGeometry.angles_vecteurs]
angle_produit_negatif_r2 [lemma, in HighSchoolGeometry.angles_vecteurs]
angle_produit_negatif_r [lemma, in HighSchoolGeometry.angles_vecteurs]
angle_produit_positif_r [lemma, in HighSchoolGeometry.angles_vecteurs]
angle_triangle [lemma, in HighSchoolGeometry.angles_vecteurs]
angle_oppu_oppv [lemma, in HighSchoolGeometry.angles_vecteurs]
angle_nul [lemma, in HighSchoolGeometry.angles_vecteurs]
angle_plat [axiom, in HighSchoolGeometry.angles_vecteurs]
angle_inscrit2 [lemma, in HighSchoolGeometry.cocyclicite]
angle_inscrit [lemma, in HighSchoolGeometry.cocyclicite]
angle_non_alignes [lemma, in HighSchoolGeometry.angles_droites]
angle_non_paralleles [lemma, in HighSchoolGeometry.angles_droites]
angle_droites_paralleles [lemma, in HighSchoolGeometry.angles_droites]
angle_alignes [lemma, in HighSchoolGeometry.angles_droites]
applications_cocyclicite [library]
argument [axiom, in HighSchoolGeometry.formes_complexes]
argument_affixe_produit_negatif_vecteur [lemma, in HighSchoolGeometry.complexes_dilatations]
argument_affixe_produit_positif_vecteur [lemma, in HighSchoolGeometry.complexes_dilatations]
argument_affixe_produit_negatif_vecteur_OM [lemma, in HighSchoolGeometry.complexes_dilatations]
argument_affixe_produit_positif_vecteur_OM [lemma, in HighSchoolGeometry.complexes_dilatations]
argument_reel_neg [lemma, in HighSchoolGeometry.formes_complexes]
argument_reel_pos [lemma, in HighSchoolGeometry.formes_complexes]
argument_opp_un [lemma, in HighSchoolGeometry.formes_complexes]
argument_i [lemma, in HighSchoolGeometry.formes_complexes]
argument_oneC [lemma, in HighSchoolGeometry.formes_complexes]
argument_def2 [lemma, in HighSchoolGeometry.formes_complexes]
argument_def [axiom, in HighSchoolGeometry.formes_complexes]
argument_Conj2 [lemma, in HighSchoolGeometry.complexes_conjugaison]
argument_Conj [lemma, in HighSchoolGeometry.complexes_conjugaison]
argument_affixe_inversion_positif_conjugue [lemma, in HighSchoolGeometry.complexes_inversion]
argument_affixe_inversion_pole_negatif [lemma, in HighSchoolGeometry.complexes_inversion]
argument_affixe_inversion_pole_positif [lemma, in HighSchoolGeometry.complexes_inversion]
argument_quotient [lemma, in HighSchoolGeometry.operations_complexes]
argument_difference [lemma, in HighSchoolGeometry.operations_complexes]
argument_module_un [lemma, in HighSchoolGeometry.operations_complexes]
auto_cercles_tangents [lemma, in HighSchoolGeometry.contact]
aux [lemma, in HighSchoolGeometry.orthocentre]
aux_negatif [lemma, in HighSchoolGeometry.complexes_inversion]
aux_positif [lemma, in HighSchoolGeometry.complexes_inversion]
aux_Rpos [lemma, in HighSchoolGeometry.contact]
AV [axiom, in HighSchoolGeometry.angles_vecteurs]
AV_vers_AD [axiom, in HighSchoolGeometry.angles_droites]
AV0 [axiom, in HighSchoolGeometry.angles_vecteurs]
AV0_zero [axiom, in HighSchoolGeometry.angles_vecteurs]
axe_reflexion_bissectrice [lemma, in HighSchoolGeometry.reflexion_plane]
axe_reflexion_droite [lemma, in HighSchoolGeometry.reflexion_plane]
a_oneC_translation [lemma, in HighSchoolGeometry.complexes_transformations]
B
b [axiom, in HighSchoolGeometry.complexes_transformations]barycentre [axiom, in HighSchoolGeometry.barycentre]
barycentre [library]
barycentre_mes_alg [lemma, in HighSchoolGeometry.mesure_algebrique]
barycentre_concours [lemma, in HighSchoolGeometry.parallelisme_concours]
barycentre_alignes [lemma, in HighSchoolGeometry.barycentre]
barycentre_zero [lemma, in HighSchoolGeometry.barycentre]
bary_assoc [lemma, in HighSchoolGeometry.barycentre]
C
C [axiom, in HighSchoolGeometry.complexes]calcul [lemma, in HighSchoolGeometry.vecteur]
calcul_Cos_Sin [lemma, in HighSchoolGeometry.trigo]
calcul_cos_sin [lemma, in HighSchoolGeometry.trigo]
calcul_distance_droite [lemma, in HighSchoolGeometry.determinant]
caracterisation_cercle_diametre [lemma, in HighSchoolGeometry.complements_cercle]
caract_milieu_parallelogramme [lemma, in HighSchoolGeometry.affine_classiques]
caract_representant_unitaire [lemma, in HighSchoolGeometry.distance_euclidienne]
carre [definition, in HighSchoolGeometry.exercice_espace]
carre_scalaire_1_distance [lemma, in HighSchoolGeometry.distance_euclidienne]
carre_scalaire_egalite_distance [lemma, in HighSchoolGeometry.distance_euclidienne]
carre_egalite_distance [lemma, in HighSchoolGeometry.distance_euclidienne]
carre_scalaire_distance [lemma, in HighSchoolGeometry.distance_euclidienne]
carre_scalaire_somme [lemma, in HighSchoolGeometry.euclidien_classiques]
carre_module [lemma, in HighSchoolGeometry.complexes_inversion]
cartvec_AB [lemma, in HighSchoolGeometry.repere_plan]
cartvec_def [axiom, in HighSchoolGeometry.repere_plan]
cart_point_complexe2 [lemma, in HighSchoolGeometry.complexes]
cart_point_complexe [axiom, in HighSchoolGeometry.complexes]
cart_def [axiom, in HighSchoolGeometry.repere_plan]
car_image_forme_algebrique [lemma, in HighSchoolGeometry.formes_complexes]
cas_degenere_alignes1 [lemma, in HighSchoolGeometry.alignement]
cas_general_deplacement_similitude [lemma, in HighSchoolGeometry.complexes_transformations]
cas_a_nonzero_nonone [lemma, in HighSchoolGeometry.complexes_transformations]
cas_a_reel_homothetie [lemma, in HighSchoolGeometry.complexes_transformations]
cas_egalite_triangle_indirect [lemma, in HighSchoolGeometry.metrique_triangle]
cas_egalite_triangle [lemma, in HighSchoolGeometry.metrique_triangle]
Cdiv [axiom, in HighSchoolGeometry.operations_complexes]
Cdiv_argument [lemma, in HighSchoolGeometry.operations_complexes]
Cdiv_module [lemma, in HighSchoolGeometry.operations_complexes]
Cdiv_def [axiom, in HighSchoolGeometry.operations_complexes]
centre_gravite_prop_vecteur [lemma, in HighSchoolGeometry.droite_Euler]
centre_circonscrit_triangle_homothetique [lemma, in HighSchoolGeometry.homoth_Euler]
centre_gravite_intersection_trois_medianes [lemma, in HighSchoolGeometry.parallelisme_concours]
centre_gravite_intersection_medianes [lemma, in HighSchoolGeometry.parallelisme_concours]
centre_circonscrit_rectangle_milieu [lemma, in HighSchoolGeometry.applications_cocyclicite]
centre_gravite_coplanaire [lemma, in HighSchoolGeometry.exercice_espace]
centre_gravite_mediane_vecteur [lemma, in HighSchoolGeometry.milieu]
centre_gravite_ordre_permute [lemma, in HighSchoolGeometry.milieu]
centre_gravite_ordre_cycle2 [lemma, in HighSchoolGeometry.milieu]
centre_gravite_ordre_cycle [lemma, in HighSchoolGeometry.milieu]
centre_gravite [definition, in HighSchoolGeometry.milieu]
centre_gravite_homothetie [lemma, in HighSchoolGeometry.homothetie_plane]
cercle [definition, in HighSchoolGeometry.cercle]
cercle [library]
cercles_tangents_contact_unique [lemma, in HighSchoolGeometry.contact]
cercles_tangents_tangente_commune [lemma, in HighSchoolGeometry.contact]
cercles_concentriques_tangents_egaux [lemma, in HighSchoolGeometry.contact]
cercles_tangents [definition, in HighSchoolGeometry.contact]
cercle_diametre_equation [lemma, in HighSchoolGeometry.equations_cercles]
cercle_equation [lemma, in HighSchoolGeometry.equations_cercles]
cercle_neuf_points [lemma, in HighSchoolGeometry.homoth_Euler]
cercle_tangente_inversion_homothetie [lemma, in HighSchoolGeometry.inversion]
cercle_inversion_homothetie [lemma, in HighSchoolGeometry.inversion]
cercle_diametre_degenere [lemma, in HighSchoolGeometry.cercle]
cercle_trivial [lemma, in HighSchoolGeometry.cercle]
cercle_diametre_trivial2 [lemma, in HighSchoolGeometry.cercle]
cercle_diametre_trivial [lemma, in HighSchoolGeometry.cercle]
cercle_diametre_permute [lemma, in HighSchoolGeometry.cercle]
cercle_diametre [definition, in HighSchoolGeometry.cercle]
cercle_rayon [definition, in HighSchoolGeometry.cercle]
cercle_isocele [lemma, in HighSchoolGeometry.cercle]
changement_diametre [lemma, in HighSchoolGeometry.complements_cercle]
Chasles [axiom, in HighSchoolGeometry.angles_vecteurs]
Chasles_mes_alg [lemma, in HighSchoolGeometry.mesure_algebrique]
Chasles_diff [lemma, in HighSchoolGeometry.angles_vecteurs]
Chasles_vec [lemma, in HighSchoolGeometry.vecteur]
Cintegre [lemma, in HighSchoolGeometry.operations_complexes]
Cinv [axiom, in HighSchoolGeometry.operations_complexes]
Cinv_algebrique [lemma, in HighSchoolGeometry.complexes_inversion]
Cinv_Conj [lemma, in HighSchoolGeometry.complexes_inversion]
Cinv_Cmult [lemma, in HighSchoolGeometry.complexes_inversion]
Cinv_Copp [lemma, in HighSchoolGeometry.complexes_inversion]
Cinv_argument [lemma, in HighSchoolGeometry.operations_complexes]
Cinv_module [lemma, in HighSchoolGeometry.operations_complexes]
Cinv_l [lemma, in HighSchoolGeometry.operations_complexes]
Cinv_def2 [axiom, in HighSchoolGeometry.operations_complexes]
Cinv_def [axiom, in HighSchoolGeometry.operations_complexes]
circonscrit [definition, in HighSchoolGeometry.cercle]
circonscrit_ordre_permute [lemma, in HighSchoolGeometry.applications_cocyclicite]
circonscrit_trans [lemma, in HighSchoolGeometry.applications_cocyclicite]
circonscrit_mediatrice [lemma, in HighSchoolGeometry.cocyclicite]
circonscrit_triangle_non_point [lemma, in HighSchoolGeometry.cocyclicite]
circonscrit_diametre [lemma, in HighSchoolGeometry.cercle]
circonscrit_distinct3 [lemma, in HighSchoolGeometry.cercle]
circonscrit_distinct2 [lemma, in HighSchoolGeometry.cercle]
circonscrit_distinct1 [lemma, in HighSchoolGeometry.cercle]
circonscrit_permute [lemma, in HighSchoolGeometry.cercle]
circonscrit_isocele [lemma, in HighSchoolGeometry.cercle]
Cminus [definition, in HighSchoolGeometry.operations_complexes]
Cmult [axiom, in HighSchoolGeometry.operations_complexes]
Cmult_Rinj_algebrique [lemma, in HighSchoolGeometry.complexes_inversion]
Cmult_distributive_r [lemma, in HighSchoolGeometry.operations_complexes]
Cmult_oneC_z [lemma, in HighSchoolGeometry.operations_complexes]
Cmult_distributive [lemma, in HighSchoolGeometry.operations_complexes]
Cmult_algebrique [lemma, in HighSchoolGeometry.operations_complexes]
Cmult_z_oneC [lemma, in HighSchoolGeometry.operations_complexes]
Cmult_associative [lemma, in HighSchoolGeometry.operations_complexes]
Cmult_commutative [lemma, in HighSchoolGeometry.operations_complexes]
Cmult_z_z' [lemma, in HighSchoolGeometry.operations_complexes]
Cmult_z_zeroC [lemma, in HighSchoolGeometry.operations_complexes]
Cmult_zeroC_z [lemma, in HighSchoolGeometry.operations_complexes]
Cmult_argument [axiom, in HighSchoolGeometry.operations_complexes]
Cmult_module [axiom, in HighSchoolGeometry.operations_complexes]
cocyclicite [lemma, in HighSchoolGeometry.cocyclicite]
cocyclicite [library]
cocyclicite_cercle_diametre [lemma, in HighSchoolGeometry.complements_cercle]
cocyclicite2 [lemma, in HighSchoolGeometry.applications_cocyclicite]
cocyclicite3 [lemma, in HighSchoolGeometry.applications_cocyclicite]
cocyclicite4 [lemma, in HighSchoolGeometry.applications_cocyclicite]
cocyclicite5 [lemma, in HighSchoolGeometry.applications_cocyclicite]
cocyclicite6 [lemma, in HighSchoolGeometry.applications_cocyclicite]
cocycliques_ordre_permute [lemma, in HighSchoolGeometry.applications_cocyclicite]
cocycliques_ordre_cycle2 [lemma, in HighSchoolGeometry.applications_cocyclicite]
cocycliques_ordre_cycle [lemma, in HighSchoolGeometry.applications_cocyclicite]
cocycliques_trivial [lemma, in HighSchoolGeometry.cocyclicite]
cocycliques_existence_diametre [lemma, in HighSchoolGeometry.complements_cercle]
colineaires_paralleles [lemma, in HighSchoolGeometry.parallelisme_concours]
colineaire_mes_alg_conf [lemma, in HighSchoolGeometry.mesure_algebrique]
colineaire_alignes [lemma, in HighSchoolGeometry.alignement]
colineaire_alignes1 [lemma, in HighSchoolGeometry.alignement]
colineaire_barycentre [lemma, in HighSchoolGeometry.barycentre]
colinearite_distance [lemma, in HighSchoolGeometry.distance_euclidienne]
col_vec [definition, in HighSchoolGeometry.alignement]
complements_cercle [library]
complexes [library]
complexes_analytique [library]
complexes_dilatations [library]
complexes_exercice [library]
complexes_similitudes [library]
complexes_conjugaison [library]
complexes_transformations [library]
complexes_inversion [library]
complexe_similitude [lemma, in HighSchoolGeometry.complexes_similitudes]
complexe_rotation [lemma, in HighSchoolGeometry.complexes_similitudes]
complexe_rotation_centre_origine [lemma, in HighSchoolGeometry.complexes_similitudes]
complexe_homothetie [lemma, in HighSchoolGeometry.complexes_dilatations]
complexe_translation [lemma, in HighSchoolGeometry.complexes_dilatations]
complexe_cart_point2 [lemma, in HighSchoolGeometry.complexes]
complexe_cart_point [axiom, in HighSchoolGeometry.complexes]
complexe_pol_argument [lemma, in HighSchoolGeometry.formes_complexes]
complexe_pol_module [lemma, in HighSchoolGeometry.formes_complexes]
complexe_polaire_argument [axiom, in HighSchoolGeometry.formes_complexes]
complexe_polaire_module [axiom, in HighSchoolGeometry.formes_complexes]
complexe_iso_rec_dir [lemma, in HighSchoolGeometry.complexes_exercice]
complexe_inversion [lemma, in HighSchoolGeometry.complexes_inversion]
complexe_inversion_pole_origine [lemma, in HighSchoolGeometry.complexes_inversion]
composantes_vecAB [lemma, in HighSchoolGeometry.repere_plan]
composantes_vecteur [lemma, in HighSchoolGeometry.repere_plan]
composantes_projete_orthogonal [lemma, in HighSchoolGeometry.complexes_conjugaison]
composee_rotation_translation [lemma, in HighSchoolGeometry.composee_translation_rotation]
composee_translation_rotation [lemma, in HighSchoolGeometry.composee_translation_rotation]
composee_reflexions_axes_secants [lemma, in HighSchoolGeometry.composee_reflexions]
composee_reflexions_axes_paralleles [lemma, in HighSchoolGeometry.composee_reflexions]
composee_rotations_meme_centre [lemma, in HighSchoolGeometry.rotation_plane]
composee_homothetie_pos_rotation [lemma, in HighSchoolGeometry.similitudes_directes]
composee_rotation_homothetie_pos [lemma, in HighSchoolGeometry.similitudes_directes]
composee_translation_homothetie_exists [lemma, in HighSchoolGeometry.composee_dilatations]
composee_translation_homothetie [lemma, in HighSchoolGeometry.composee_dilatations]
composee_homothetie_translation_exists [lemma, in HighSchoolGeometry.composee_dilatations]
composee_homothetie_translation [lemma, in HighSchoolGeometry.composee_dilatations]
composee_rotation_IJ_rotation [lemma, in HighSchoolGeometry.composee_transformations]
composee_rotation_IJ_translation [lemma, in HighSchoolGeometry.composee_transformations]
composee_translation_rotation [library]
composee_reflexions [library]
composee_dilatations [library]
composee_transformations [library]
composition_translation [lemma, in HighSchoolGeometry.composee_dilatations]
compo_homothetie_IJ_non1_exists [lemma, in HighSchoolGeometry.composee_dilatations]
compo_homothetie_IJ_non1 [lemma, in HighSchoolGeometry.composee_dilatations]
compo_homothetie_IJ_1_exists [lemma, in HighSchoolGeometry.composee_dilatations]
compo_homothetie_IJ_1 [lemma, in HighSchoolGeometry.composee_dilatations]
compo_homothetie_IJ [lemma, in HighSchoolGeometry.composee_dilatations]
compo_homothetie_I [lemma, in HighSchoolGeometry.composee_dilatations]
compo_transl [lemma, in HighSchoolGeometry.composee_dilatations]
concours [axiom, in HighSchoolGeometry.parallelisme_concours]
concours_3_barycentre [lemma, in HighSchoolGeometry.parallelisme_concours]
concours_3_mediane [lemma, in HighSchoolGeometry.parallelisme_concours]
concours_3 [definition, in HighSchoolGeometry.parallelisme_concours]
concours_mediane [lemma, in HighSchoolGeometry.parallelisme_concours]
concours_barycentre [lemma, in HighSchoolGeometry.parallelisme_concours]
concours_non_paralleles [lemma, in HighSchoolGeometry.parallelisme_concours]
concours_unique [lemma, in HighSchoolGeometry.barycentre]
concours_sym [lemma, in HighSchoolGeometry.Droite_espace]
concours_coplanaires [lemma, in HighSchoolGeometry.Droite_espace]
confondus [axiom, in HighSchoolGeometry.Plan_espace]
Conj [axiom, in HighSchoolGeometry.complexes_conjugaison]
conjugaison_reflexion [lemma, in HighSchoolGeometry.complexes_conjugaison]
Conj_Cdiv [lemma, in HighSchoolGeometry.complexes_conjugaison]
Conj_Cinv [lemma, in HighSchoolGeometry.complexes_conjugaison]
Conj_i [lemma, in HighSchoolGeometry.complexes_conjugaison]
Conj_reel [lemma, in HighSchoolGeometry.complexes_conjugaison]
Conj_oneC [lemma, in HighSchoolGeometry.complexes_conjugaison]
Conj_zeroC [lemma, in HighSchoolGeometry.complexes_conjugaison]
Conj_produit [lemma, in HighSchoolGeometry.complexes_conjugaison]
Conj_somme [lemma, in HighSchoolGeometry.complexes_conjugaison]
Conj_Conj [lemma, in HighSchoolGeometry.complexes_conjugaison]
Conj_algebrique [lemma, in HighSchoolGeometry.complexes_conjugaison]
Conj_def [axiom, in HighSchoolGeometry.complexes_conjugaison]
Conj_Cinv [lemma, in HighSchoolGeometry.complexes_inversion]
Conj_Copp [lemma, in HighSchoolGeometry.complexes_inversion]
cons [axiom, in HighSchoolGeometry.Field_affine]
cons_cart [axiom, in HighSchoolGeometry.complexes]
cons_inj [axiom, in HighSchoolGeometry.Field_affine]
cons_comp [lemma, in HighSchoolGeometry.Field_affine]
cons_AV [axiom, in HighSchoolGeometry.angles_vecteurs]
cons_pol [axiom, in HighSchoolGeometry.formes_complexes]
cons_AD [axiom, in HighSchoolGeometry.angles_droites]
contact [axiom, in HighSchoolGeometry.Droite_plan_espace]
contact [library]
conversion_PP [lemma, in HighSchoolGeometry.vecteur]
coordonnees_scalaire_base [lemma, in HighSchoolGeometry.repere_ortho_plan]
coordonnees_affixe [lemma, in HighSchoolGeometry.formes_complexes]
coordonnees_Cos_Sin [lemma, in HighSchoolGeometry.trigo]
coordonnees_polaires_cartesiennes [lemma, in HighSchoolGeometry.trigo]
coordonnees_cos_sin [lemma, in HighSchoolGeometry.trigo]
coplanaires [definition, in HighSchoolGeometry.coplanarite]
coplanaires_trivial3 [lemma, in HighSchoolGeometry.coplanarite]
coplanaires_trivial2 [lemma, in HighSchoolGeometry.coplanarite]
coplanaires_trivial [lemma, in HighSchoolGeometry.coplanarite]
coplanaires1 [definition, in HighSchoolGeometry.coplanarite]
coplanaires1_vecteur_def [lemma, in HighSchoolGeometry.coplanarite]
coplanaire_trans [lemma, in HighSchoolGeometry.coplanarite]
coplanaire_ordre_cycle [lemma, in HighSchoolGeometry.coplanarite]
coplanaire_ordre_permute [lemma, in HighSchoolGeometry.coplanarite]
coplanaire_trans3 [axiom, in HighSchoolGeometry.Droite_plan_espace]
coplanarite [library]
Copp [axiom, in HighSchoolGeometry.operations_complexes]
Copp_non_zeroC [lemma, in HighSchoolGeometry.complexes_inversion]
Copp_Cmult [lemma, in HighSchoolGeometry.complexes_inversion]
Copp_algebrique [lemma, in HighSchoolGeometry.operations_complexes]
Copp_def [axiom, in HighSchoolGeometry.operations_complexes]
Cos [axiom, in HighSchoolGeometry.trigo]
cos [axiom, in HighSchoolGeometry.trigo]
cos_som [lemma, in HighSchoolGeometry.trigo]
cos_diff [lemma, in HighSchoolGeometry.trigo]
cos_pi [lemma, in HighSchoolGeometry.trigo]
cos_pisurdeux [lemma, in HighSchoolGeometry.trigo]
cos_zero [lemma, in HighSchoolGeometry.trigo]
cos_sin_pisurdeux_moins_x [lemma, in HighSchoolGeometry.trigo]
cos_periodique [lemma, in HighSchoolGeometry.trigo]
cos_paire [lemma, in HighSchoolGeometry.trigo]
cos_deux_mes [lemma, in HighSchoolGeometry.trigo]
couple_vecteurs_coplanaires [lemma, in HighSchoolGeometry.Plans_paralleles]
couple_colineaires_parallelogramme [lemma, in HighSchoolGeometry.barycentre]
Cplus [axiom, in HighSchoolGeometry.operations_complexes]
Cplus_zeroC_z [lemma, in HighSchoolGeometry.operations_complexes]
Cplus_z_oppz [lemma, in HighSchoolGeometry.operations_complexes]
Cplus_associative [lemma, in HighSchoolGeometry.operations_complexes]
Cplus_z_zeroC [lemma, in HighSchoolGeometry.operations_complexes]
Cplus_commutative [lemma, in HighSchoolGeometry.operations_complexes]
Cplus_algebrique [lemma, in HighSchoolGeometry.operations_complexes]
Cplus_def [axiom, in HighSchoolGeometry.operations_complexes]
Csqr [definition, in HighSchoolGeometry.operations_complexes]
CTheory [lemma, in HighSchoolGeometry.operations_complexes]
cube [definition, in HighSchoolGeometry.exercice_espace]
D
definition_inversion [lemma, in HighSchoolGeometry.inversion]def_orthogonaux2 [axiom, in HighSchoolGeometry.orthogonalite_espace]
def_orthogonaux [axiom, in HighSchoolGeometry.orthogonalite_espace]
def_perpendiculaires2 [axiom, in HighSchoolGeometry.orthogonalite_espace]
def_perpendiculaires [axiom, in HighSchoolGeometry.orthogonalite_espace]
def_orthogonales2 [axiom, in HighSchoolGeometry.orthogonalite_espace]
def_orthogonales [axiom, in HighSchoolGeometry.orthogonalite_espace]
def_mes_alg2 [axiom, in HighSchoolGeometry.mesure_algebrique]
def_mes_alg [axiom, in HighSchoolGeometry.mesure_algebrique]
def_orthogonal2 [axiom, in HighSchoolGeometry.orthogonalite]
def_orthogonal [axiom, in HighSchoolGeometry.orthogonalite]
def_zero [lemma, in HighSchoolGeometry.Field_affine]
def_mult_PP [lemma, in HighSchoolGeometry.Field_affine]
def_aire [axiom, in HighSchoolGeometry.aire_signee]
def_aire_0 [axiom, in HighSchoolGeometry.aire_signee]
def_opp [axiom, in HighSchoolGeometry.angles_vecteurs]
def_projete_orthogonal2 [axiom, in HighSchoolGeometry.projection_orthogonale]
def_projete_orthogonal [axiom, in HighSchoolGeometry.projection_orthogonale]
def_pt_intersection2 [axiom, in HighSchoolGeometry.parallelisme_concours]
def_pt_intersection [axiom, in HighSchoolGeometry.parallelisme_concours]
def_concours2 [axiom, in HighSchoolGeometry.parallelisme_concours]
def_concours [axiom, in HighSchoolGeometry.parallelisme_concours]
def_paralleles2 [axiom, in HighSchoolGeometry.parallelisme_concours]
def_paralleles [axiom, in HighSchoolGeometry.parallelisme_concours]
def_para_plan_plan2 [axiom, in HighSchoolGeometry.Plans_paralleles]
def_para_plan_plan [axiom, in HighSchoolGeometry.Plans_paralleles]
def_contact2 [axiom, in HighSchoolGeometry.Droite_plan_espace]
def_contact [axiom, in HighSchoolGeometry.Droite_plan_espace]
def_para_plan_dr2 [axiom, in HighSchoolGeometry.Droite_plan_espace]
def_para_plan_dr [axiom, in HighSchoolGeometry.Droite_plan_espace]
def_confondus2 [axiom, in HighSchoolGeometry.Plan_espace]
def_confondus [axiom, in HighSchoolGeometry.Plan_espace]
def_disjoints2 [axiom, in HighSchoolGeometry.Plan_espace]
def_disjoints [axiom, in HighSchoolGeometry.Plan_espace]
def_secants2 [axiom, in HighSchoolGeometry.Plan_espace]
def_secants [axiom, in HighSchoolGeometry.Plan_espace]
def_Sin [axiom, in HighSchoolGeometry.trigo]
def_Cos [axiom, in HighSchoolGeometry.trigo]
def_sin [axiom, in HighSchoolGeometry.trigo]
def_cos [axiom, in HighSchoolGeometry.trigo]
def_vecteur_bary_rec [lemma, in HighSchoolGeometry.barycentre]
def_vecteur_bary [lemma, in HighSchoolGeometry.barycentre]
def_representant_unitaire2 [axiom, in HighSchoolGeometry.representant_unitaire]
def_representant_unitaire [axiom, in HighSchoolGeometry.representant_unitaire]
def_sqrt [lemma, in HighSchoolGeometry.Rutile]
demi_longueur [lemma, in HighSchoolGeometry.euclidien_classiques]
Desargues [lemma, in HighSchoolGeometry.affine_classiques]
det [axiom, in HighSchoolGeometry.determinant]
determinant [library]
determinant_aire_triangle [lemma, in HighSchoolGeometry.determinant]
determinant_ordre_cycle [lemma, in HighSchoolGeometry.determinant]
determinant_distrib_l [lemma, in HighSchoolGeometry.determinant]
determinant_colineaire_l [lemma, in HighSchoolGeometry.determinant]
determinant_nul_alignement [lemma, in HighSchoolGeometry.determinant]
determinant_nul_colinearite [lemma, in HighSchoolGeometry.determinant]
determinant_colinearite [lemma, in HighSchoolGeometry.determinant]
determinant_antisymetrique [lemma, in HighSchoolGeometry.determinant]
determinant_aire [lemma, in HighSchoolGeometry.determinant]
determinant_def [axiom, in HighSchoolGeometry.determinant]
deuxpi [definition, in HighSchoolGeometry.angles_vecteurs]
deux_hauteurs_trois [lemma, in HighSchoolGeometry.orthocentre]
deux_mes_angle_rotation [lemma, in HighSchoolGeometry.rotation_plane]
deux_milieux_tetraedre [lemma, in HighSchoolGeometry.exercice_espace]
deux_isocele_rectangle_direct [lemma, in HighSchoolGeometry.complexes_exercice]
deux_iso_rec_dir_complexe [lemma, in HighSchoolGeometry.complexes_exercice]
deux_milieux_distincts [lemma, in HighSchoolGeometry.milieu]
deux_demi_a [lemma, in HighSchoolGeometry.Rutile]
deux_demi [lemma, in HighSchoolGeometry.Rutile]
diagonales_carre [lemma, in HighSchoolGeometry.exercice_espace]
diametre_rectangle [lemma, in HighSchoolGeometry.isocele]
diametre_circonscrit_centre [lemma, in HighSchoolGeometry.complements_cercle]
diametre_circonscrit [definition, in HighSchoolGeometry.complements_cercle]
difference_Pythagore [lemma, in HighSchoolGeometry.euclidien_classiques]
diff_nonzero [lemma, in HighSchoolGeometry.operations_complexes]
dilatations [library]
disjoints [axiom, in HighSchoolGeometry.Plan_espace]
distance [definition, in HighSchoolGeometry.distance_euclidienne]
distance_nulle [lemma, in HighSchoolGeometry.produit_scalaire]
distance_non_nulle [lemma, in HighSchoolGeometry.produit_scalaire]
distance_coordonnees [lemma, in HighSchoolGeometry.repere_ortho_plan]
distance_1_carre_scalaire [lemma, in HighSchoolGeometry.distance_euclidienne]
distance_1_representant [lemma, in HighSchoolGeometry.distance_euclidienne]
distance_carre [lemma, in HighSchoolGeometry.distance_euclidienne]
distance_vecteur [lemma, in HighSchoolGeometry.distance_euclidienne]
distance_refl2 [lemma, in HighSchoolGeometry.distance_euclidienne]
distance_refl1 [lemma, in HighSchoolGeometry.distance_euclidienne]
distance_refl [lemma, in HighSchoolGeometry.distance_euclidienne]
distance_sym [lemma, in HighSchoolGeometry.distance_euclidienne]
distance_pos [lemma, in HighSchoolGeometry.distance_euclidienne]
distance_droite_def [axiom, in HighSchoolGeometry.euclidien_classiques]
distance_droite [axiom, in HighSchoolGeometry.euclidien_classiques]
distance_similitude [lemma, in HighSchoolGeometry.similitudes_directes]
distance_homothetie [lemma, in HighSchoolGeometry.homothetie_plane]
distance_euclidienne [library]
distincts_dist_non_nulle [lemma, in HighSchoolGeometry.distance_euclidienne]
distinct_col_nonun [lemma, in HighSchoolGeometry.vecteur]
distinct_col_nonzero [lemma, in HighSchoolGeometry.vecteur]
distinct_egalite_vecteur [lemma, in HighSchoolGeometry.vecteur]
distinct_produit_vecteur [lemma, in HighSchoolGeometry.vecteur]
distinct_mult_vecteur [lemma, in HighSchoolGeometry.barycentre]
distrib_mult_cons [lemma, in HighSchoolGeometry.Field_affine]
distrib_mult_PP [lemma, in HighSchoolGeometry.Field_affine]
distrib_mult_vec [lemma, in HighSchoolGeometry.vecteur]
dist_non_nulle [lemma, in HighSchoolGeometry.distance_euclidienne]
divAM [definition, in HighSchoolGeometry.Field_affine]
double_opp [lemma, in HighSchoolGeometry.angles_droites]
double_Chasles [lemma, in HighSchoolGeometry.angles_droites]
double_AV [definition, in HighSchoolGeometry.angles_droites]
double_zero [lemma, in HighSchoolGeometry.Rutile]
DR [axiom, in HighSchoolGeometry.parallelisme_concours]
droite [axiom, in HighSchoolGeometry.parallelisme_concours]
droites_coplanaires [lemma, in HighSchoolGeometry.Droite_plan_espace]
droites_paralleles_angle [axiom, in HighSchoolGeometry.angles_droites]
droites_non_paralleles [lemma, in HighSchoolGeometry.Droite_espace]
droite_Euler [lemma, in HighSchoolGeometry.droite_Euler]
droite_Euler_fort [lemma, in HighSchoolGeometry.droite_Euler]
droite_permute [axiom, in HighSchoolGeometry.parallelisme_concours]
droite_Simson [lemma, in HighSchoolGeometry.applications_cocyclicite]
droite_incluse_plan2 [axiom, in HighSchoolGeometry.Droite_plan_espace]
droite_incluse_plan [axiom, in HighSchoolGeometry.Droite_plan_espace]
droite_perpendiculaire [definition, in HighSchoolGeometry.inversion]
droite_milieu [lemma, in HighSchoolGeometry.milieu]
Droite_plan_espace [library]
Droite_espace [library]
droite_Euler [library]
droit_direct_ou_indirect [axiom, in HighSchoolGeometry.angles_vecteurs]
duplication_sin [lemma, in HighSchoolGeometry.trigo]
duplication_cos2 [lemma, in HighSchoolGeometry.trigo]
duplication_cos [lemma, in HighSchoolGeometry.trigo]
E
ecriture_complexe_inversion [lemma, in HighSchoolGeometry.complexes_inversion]ecriture_complexe_inversion_pole_origine [lemma, in HighSchoolGeometry.complexes_inversion]
egalite_point_zeroC [lemma, in HighSchoolGeometry.complexes_dilatations]
egalite_affixe_vecteur [lemma, in HighSchoolGeometry.complexes_dilatations]
egalite_affixe_vecteur_OM [lemma, in HighSchoolGeometry.complexes_dilatations]
egalite_vecteur_image [lemma, in HighSchoolGeometry.complexes_dilatations]
egalite_vecteur_OM_image [lemma, in HighSchoolGeometry.complexes_dilatations]
egalite_affixe [lemma, in HighSchoolGeometry.complexes]
egalite_affixe_point [lemma, in HighSchoolGeometry.complexes]
egalite_point_image [lemma, in HighSchoolGeometry.complexes]
egalite_scalaire_alignes [lemma, in HighSchoolGeometry.produit_scalaire]
egalite_cart_pol [lemma, in HighSchoolGeometry.formes_complexes]
egalite_forme_polaire [lemma, in HighSchoolGeometry.formes_complexes]
egalite_vecteur_distance [lemma, in HighSchoolGeometry.distance_euclidienne]
egalite_angles_droites [lemma, in HighSchoolGeometry.angles_droites]
egalite_angle_trigo [axiom, in HighSchoolGeometry.trigo]
egalite_sin_Sin [lemma, in HighSchoolGeometry.trigo]
egalite_cos_Cos [lemma, in HighSchoolGeometry.trigo]
egalite_scalaire_deux_projetes [lemma, in HighSchoolGeometry.euclidien_classiques]
egalite_vecteur_point [lemma, in HighSchoolGeometry.vecteur]
egalite_vecteur [lemma, in HighSchoolGeometry.vecteur]
egalite_puissance_cocycliques [lemma, in HighSchoolGeometry.puissance_cercle]
egalite_vecteur_milieu [lemma, in HighSchoolGeometry.milieu]
egalite_representant_unitaire [lemma, in HighSchoolGeometry.representant_unitaire]
equations_droites [library]
equations_cercles [library]
equation_k_cercle [lemma, in HighSchoolGeometry.equations_cercles]
equation_cercle_diametre [lemma, in HighSchoolGeometry.equations_cercles]
equation_tangente_cercle [lemma, in HighSchoolGeometry.equations_cercles]
equation_generale_cercle [lemma, in HighSchoolGeometry.equations_cercles]
equation_cartesienne_cercle [lemma, in HighSchoolGeometry.equations_cercles]
equation_cartesienne_orthogonal [lemma, in HighSchoolGeometry.equations_droites]
equation_droite_orthogonal [lemma, in HighSchoolGeometry.equations_droites]
equation_cartesienne_alignes [lemma, in HighSchoolGeometry.equations_droites]
equation_droite_parallele [lemma, in HighSchoolGeometry.equations_droites]
equation_solution [lemma, in HighSchoolGeometry.complexes_transformations]
equation_equiv2 [lemma, in HighSchoolGeometry.complexes_transformations]
equation_equiv [lemma, in HighSchoolGeometry.complexes_transformations]
equilateral_non_alignes [lemma, in HighSchoolGeometry.exercice_espace]
euclidien_classiques [library]
exercice [lemma, in HighSchoolGeometry.exercice_espace]
exercice_cube [lemma, in HighSchoolGeometry.exercice_espace]
exercice_espace [library]
existence_mediatrice [lemma, in HighSchoolGeometry.mediatrice]
existence_parties_relles_imaginaires [lemma, in HighSchoolGeometry.complexes]
existence_affixe_vecteur_point [lemma, in HighSchoolGeometry.complexes]
existence_image_vecteur_complexe [lemma, in HighSchoolGeometry.complexes]
existence_affixe_point [axiom, in HighSchoolGeometry.complexes]
existence_image_complexe [axiom, in HighSchoolGeometry.complexes]
existence_intersection_deux_hauteurs_triangle [lemma, in HighSchoolGeometry.orthocentre]
existence_reflexion_AB [lemma, in HighSchoolGeometry.reflexion_plane]
existence_mes_algebrique [lemma, in HighSchoolGeometry.mesure_algebrique]
existence_vec_normal [lemma, in HighSchoolGeometry.equations_droites]
existence_vec_directeur [lemma, in HighSchoolGeometry.equations_droites]
existence_representant_angle [lemma, in HighSchoolGeometry.angles_vecteurs]
existence_representant_cons [axiom, in HighSchoolGeometry.angles_vecteurs]
existence_AB_unitaire [axiom, in HighSchoolGeometry.angles_vecteurs]
existence_point_droite [lemma, in HighSchoolGeometry.alignement]
existence_rotation_Ia [lemma, in HighSchoolGeometry.rotation_plane]
existence_perpendiculaire [lemma, in HighSchoolGeometry.projection_orthogonale]
existence_projete_orthogonal [lemma, in HighSchoolGeometry.projection_orthogonale]
existence_forme_polaire [lemma, in HighSchoolGeometry.formes_complexes]
existence_argument [lemma, in HighSchoolGeometry.formes_complexes]
existence_module [lemma, in HighSchoolGeometry.formes_complexes]
existence_coordonnees [lemma, in HighSchoolGeometry.repere_plan]
existence_pt_intersection [lemma, in HighSchoolGeometry.parallelisme_concours]
existence_cercle_circonscrit_diametre [lemma, in HighSchoolGeometry.cocyclicite]
existence_cercle_circonscrit [lemma, in HighSchoolGeometry.cocyclicite]
existence_symetrique_milieu [lemma, in HighSchoolGeometry.dilatations]
existence_symetrique [lemma, in HighSchoolGeometry.dilatations]
existence_homothetique [lemma, in HighSchoolGeometry.dilatations]
existence_point_fixe_g [lemma, in HighSchoolGeometry.complexes_transformations]
existence_point_fixe_complexe [lemma, in HighSchoolGeometry.complexes_transformations]
existence_solution_equation [lemma, in HighSchoolGeometry.complexes_transformations]
existence_inversion [lemma, in HighSchoolGeometry.inversion]
existence_orthogonal [lemma, in HighSchoolGeometry.angles_droites]
existence_ROND_AB [lemma, in HighSchoolGeometry.trigo]
existence_distance_droite [lemma, in HighSchoolGeometry.euclidien_classiques]
existence_similitude_Ika [lemma, in HighSchoolGeometry.similitudes_directes]
existence_representant_comb_lin_vecteur [lemma, in HighSchoolGeometry.barycentre]
existence_representant_som_vecteur [lemma, in HighSchoolGeometry.barycentre]
existence_representant_mult_vecteur [lemma, in HighSchoolGeometry.barycentre]
existence_representant_vecteur [lemma, in HighSchoolGeometry.barycentre]
existence_intersection_droite_cercle_centre [lemma, in HighSchoolGeometry.contact]
existence_milieu [lemma, in HighSchoolGeometry.milieu]
existence_representant_unitaire [lemma, in HighSchoolGeometry.representant_unitaire]
existence_unitaire [lemma, in HighSchoolGeometry.representant_unitaire]
existence_point_cercle [lemma, in HighSchoolGeometry.cercle]
existence_rayon_diametre [lemma, in HighSchoolGeometry.cercle]
existence_rayon [lemma, in HighSchoolGeometry.cercle]
existence_inverse [lemma, in HighSchoolGeometry.operations_complexes]
explicitation [lemma, in HighSchoolGeometry.complexes_transformations]
F
f [axiom, in HighSchoolGeometry.complexes_transformations]fadd [axiom, in HighSchoolGeometry.Field_affine]
fcons [variable, in HighSchoolGeometry.Field_affine]
Field_affine [library]
fmult [axiom, in HighSchoolGeometry.Field_affine]
formes_complexes [library]
forme_pol_reel_neg [lemma, in HighSchoolGeometry.formes_complexes]
forme_pol_reel_pos [lemma, in HighSchoolGeometry.formes_complexes]
forme_polaire_opp_un [lemma, in HighSchoolGeometry.formes_complexes]
forme_polaire_i [lemma, in HighSchoolGeometry.formes_complexes]
forme_polaire_oneC [lemma, in HighSchoolGeometry.formes_complexes]
forme_polaire_def [axiom, in HighSchoolGeometry.formes_complexes]
forme_algebrique_def [axiom, in HighSchoolGeometry.formes_complexes]
forme_polaire_Conj [lemma, in HighSchoolGeometry.complexes_conjugaison]
fPO [axiom, in HighSchoolGeometry.Field_affine]
fPP [axiom, in HighSchoolGeometry.Field_affine]
fPP_inj [axiom, in HighSchoolGeometry.Field_affine]
fR [axiom, in HighSchoolGeometry.Field_affine]
fRadd [axiom, in HighSchoolGeometry.Field_affine]
fRinv [axiom, in HighSchoolGeometry.Field_affine]
fRmult [axiom, in HighSchoolGeometry.Field_affine]
fRopp [axiom, in HighSchoolGeometry.Field_affine]
fR0 [axiom, in HighSchoolGeometry.Field_affine]
fR1 [axiom, in HighSchoolGeometry.Field_affine]
fzeroPP [axiom, in HighSchoolGeometry.Field_affine]
f_def [variable, in HighSchoolGeometry.complexes_transformations]
f_fonction_transforme [lemma, in HighSchoolGeometry.complexes_transformations]
G
g [axiom, in HighSchoolGeometry.complexes_transformations]geometrie_plane [axiom, in HighSchoolGeometry.repere_plan]
g_def [variable, in HighSchoolGeometry.complexes_transformations]
H
hauteur_isocele_mediane [lemma, in HighSchoolGeometry.isocele]homogene_barycentre [lemma, in HighSchoolGeometry.barycentre]
homothetie [definition, in HighSchoolGeometry.dilatations]
homothetie_intersection [lemma, in HighSchoolGeometry.dilatations]
homothetie_paralleles [lemma, in HighSchoolGeometry.dilatations]
homothetie_alignement [lemma, in HighSchoolGeometry.dilatations]
homothetie_inverse [lemma, in HighSchoolGeometry.dilatations]
homothetie_droite [lemma, in HighSchoolGeometry.dilatations]
homothetie_milieu [lemma, in HighSchoolGeometry.dilatations]
homothetie_bipoint [lemma, in HighSchoolGeometry.dilatations]
homothetie_vecteur [lemma, in HighSchoolGeometry.dilatations]
homothetie_centre [lemma, in HighSchoolGeometry.dilatations]
homothetie_identite [lemma, in HighSchoolGeometry.dilatations]
homothetie_analytique [lemma, in HighSchoolGeometry.complexes_analytique]
homothetie_conserve_contact_cercle_cercle [lemma, in HighSchoolGeometry.transformations_contact]
homothetie_conserve_contact_cercle_droite [lemma, in HighSchoolGeometry.transformations_contact]
homothetie_conserve_orthogonalite [lemma, in HighSchoolGeometry.transformations_contact]
homothetie_inversion [lemma, in HighSchoolGeometry.inversion]
homothetie_cercle_diametre [lemma, in HighSchoolGeometry.complements_cercle]
homothetie_neg2 [lemma, in HighSchoolGeometry.similitudes_directes]
homothetie_neg [lemma, in HighSchoolGeometry.similitudes_directes]
homothetie_cercle [lemma, in HighSchoolGeometry.homothetie_plane]
homothetie_mediatrice_hauteur [lemma, in HighSchoolGeometry.homothetie_plane]
homothetie_conserve_angle [lemma, in HighSchoolGeometry.homothetie_plane]
homothetie_plane [library]
homothetique_centre_circonscrit [lemma, in HighSchoolGeometry.homoth_Euler]
homothetique_orthocentre [lemma, in HighSchoolGeometry.homoth_Euler]
homoth_Euler [library]
I
I [axiom, in HighSchoolGeometry.complexes]i [definition, in HighSchoolGeometry.formes_complexes]
I [axiom, in HighSchoolGeometry.determinant]
IJ_distincts [lemma, in HighSchoolGeometry.complexes]
IJ_distincts [lemma, in HighSchoolGeometry.determinant]
image [axiom, in HighSchoolGeometry.complexes]
image_affixe_vecteur [lemma, in HighSchoolGeometry.complexes]
image_vecteur_point [axiom, in HighSchoolGeometry.complexes]
image_point_vecteur [axiom, in HighSchoolGeometry.complexes]
image_affixe [axiom, in HighSchoolGeometry.complexes]
image_vec [axiom, in HighSchoolGeometry.complexes]
image_angle [axiom, in HighSchoolGeometry.angles_vecteurs]
image_bipoint_distinct [lemma, in HighSchoolGeometry.rotation_plane]
image_distinct_centre [lemma, in HighSchoolGeometry.rotation_plane]
image_forme_polaire [lemma, in HighSchoolGeometry.formes_complexes]
image_nonzero_nonorigine [lemma, in HighSchoolGeometry.formes_complexes]
image_zeroC [lemma, in HighSchoolGeometry.formes_complexes]
image_homothetie_distincts [lemma, in HighSchoolGeometry.dilatations]
image_translation_distincts [lemma, in HighSchoolGeometry.dilatations]
image_affixe [lemma, in HighSchoolGeometry.complexes_transformations]
image_distinct_pole [lemma, in HighSchoolGeometry.inversion]
image_sim_distinct_centre [lemma, in HighSchoolGeometry.similitudes_directes]
incluse [axiom, in HighSchoolGeometry.Droite_plan_espace]
integre_not [lemma, in HighSchoolGeometry.Rutile]
intersection_deux_hauteurs_orthocentre_triangle [lemma, in HighSchoolGeometry.orthocentre]
intersection_cercle_droite [lemma, in HighSchoolGeometry.contact]
intersection_homothetie [lemma, in HighSchoolGeometry.homothetie_plane]
intersection2_cercle_droite [lemma, in HighSchoolGeometry.contact]
invAM [axiom, in HighSchoolGeometry.Field_affine]
invAM_l [axiom, in HighSchoolGeometry.Field_affine]
inversion [axiom, in HighSchoolGeometry.inversion]
inversion [library]
inversion_kPP [lemma, in HighSchoolGeometry.Field_affine]
inversion_pole_origine_analytique [lemma, in HighSchoolGeometry.complexes_analytique]
inversion_cercle_non_pole [lemma, in HighSchoolGeometry.inversion]
inversion_droite_non_pole [lemma, in HighSchoolGeometry.inversion]
inversion_cercle_diametre_pole [lemma, in HighSchoolGeometry.inversion]
inversion_cocyclicite [lemma, in HighSchoolGeometry.inversion]
inversion_oppose_puissance [lemma, in HighSchoolGeometry.inversion]
inversion_pole_vecteur [lemma, in HighSchoolGeometry.inversion]
inversion_est_homothetie [lemma, in HighSchoolGeometry.inversion]
inversion_homothetie [lemma, in HighSchoolGeometry.inversion]
inversion_droite_pole [lemma, in HighSchoolGeometry.inversion]
inversion_involution [lemma, in HighSchoolGeometry.inversion]
inversion_def2 [axiom, in HighSchoolGeometry.inversion]
inversion_def [axiom, in HighSchoolGeometry.inversion]
inversion_complexe [lemma, in HighSchoolGeometry.complexes_inversion]
inversion_pole_origine_complexe [lemma, in HighSchoolGeometry.complexes_inversion]
inversion_negatif_complexe [lemma, in HighSchoolGeometry.complexes_inversion]
inversion_positif_complexe [lemma, in HighSchoolGeometry.complexes_inversion]
inversion_origine_module [lemma, in HighSchoolGeometry.complexes_inversion]
inversion_colineaire [lemma, in HighSchoolGeometry.vecteur]
inversion_sqr [lemma, in HighSchoolGeometry.Rutile]
inv_nonzero [lemma, in HighSchoolGeometry.operations_complexes]
isocele [definition, in HighSchoolGeometry.isocele]
isocele [library]
isocele_angles_base [lemma, in HighSchoolGeometry.isocele]
isocele_mediane_bissectrice [lemma, in HighSchoolGeometry.isocele]
isocele_mediatrice [lemma, in HighSchoolGeometry.isocele]
isocele_permute [lemma, in HighSchoolGeometry.isocele]
isocele_rectangle_direct [definition, in HighSchoolGeometry.complexes_exercice]
isocele_cercle [lemma, in HighSchoolGeometry.cercle]
isometrie_egalite_module [lemma, in HighSchoolGeometry.complexes_similitudes]
isometrie_distinct [lemma, in HighSchoolGeometry.distance_euclidienne]
iso_rec_dir_complexe [lemma, in HighSchoolGeometry.complexes_exercice]
iso_rec_dir_distinct [lemma, in HighSchoolGeometry.complexes_exercice]
i_nonzero [lemma, in HighSchoolGeometry.formes_complexes]
i_carre [lemma, in HighSchoolGeometry.operations_complexes]
J
J [axiom, in HighSchoolGeometry.complexes]J [axiom, in HighSchoolGeometry.determinant]
K
k_positif_distance_centres [lemma, in HighSchoolGeometry.contact]k_positif_vecteur_centres [lemma, in HighSchoolGeometry.contact]
k_negatif_distance_centres [lemma, in HighSchoolGeometry.contact]
k_negatif_barycentre [lemma, in HighSchoolGeometry.contact]
L
ligne_niveau_MAMB_k [lemma, in HighSchoolGeometry.complements_cercle]ligne_niveau_MAMB_O [lemma, in HighSchoolGeometry.complements_cercle]
longueur_mediane [lemma, in HighSchoolGeometry.euclidien_classiques]
lR14 [axiom, in HighSchoolGeometry.Rutile]
lR15 [lemma, in HighSchoolGeometry.Rutile]
lR20 [lemma, in HighSchoolGeometry.Rutile]
l1 [lemma, in HighSchoolGeometry.Field_affine]
l2 [lemma, in HighSchoolGeometry.Field_affine]
M
mediane [lemma, in HighSchoolGeometry.euclidien_classiques]mediane_isocele_hauteur [lemma, in HighSchoolGeometry.isocele]
mediane_hauteur_isocele [lemma, in HighSchoolGeometry.isocele]
mediatrice [definition, in HighSchoolGeometry.mediatrice]
mediatrice [library]
mediatrices_triangle_concours [lemma, in HighSchoolGeometry.mediatrice]
mediatrices_reflexion [lemma, in HighSchoolGeometry.reflexion_plane]
mediatrice_droite [lemma, in HighSchoolGeometry.mediatrice]
mediatrice_milieu_angles [lemma, in HighSchoolGeometry.mediatrice]
mediatrice_distinct_extremite [lemma, in HighSchoolGeometry.mediatrice]
mediatrice_orthogonale_segment [lemma, in HighSchoolGeometry.mediatrice]
mediatrice_orthogonale_segment_milieu [lemma, in HighSchoolGeometry.mediatrice]
mediatrice_projete_milieu [lemma, in HighSchoolGeometry.mediatrice]
mediatrice_projete_orthogonal [lemma, in HighSchoolGeometry.mediatrice]
mediatrice_permute [lemma, in HighSchoolGeometry.mediatrice]
mediatrice_isocele [lemma, in HighSchoolGeometry.isocele]
mesure_mod_deuxpi [lemma, in HighSchoolGeometry.angles_vecteurs]
mesure_algebrique [library]
mes_alg_conf [lemma, in HighSchoolGeometry.mesure_algebrique]
mes_alg_nulle [lemma, in HighSchoolGeometry.mesure_algebrique]
mes_alg_BA [lemma, in HighSchoolGeometry.mesure_algebrique]
mes_alg [axiom, in HighSchoolGeometry.mesure_algebrique]
mes_opp_opp [lemma, in HighSchoolGeometry.angles_vecteurs]
mes_oppx [lemma, in HighSchoolGeometry.angles_vecteurs]
mes_opp [axiom, in HighSchoolGeometry.angles_vecteurs]
metrique_triangle [library]
milieu [definition, in HighSchoolGeometry.milieu]
milieu [library]
milieu_mediatrice [lemma, in HighSchoolGeometry.mediatrice]
milieu_sommet_orthocentre_cercle [lemma, in HighSchoolGeometry.homoth_Euler]
milieu_angles_orthogonaux [axiom, in HighSchoolGeometry.angles_vecteurs]
milieu_angles [lemma, in HighSchoolGeometry.angles_vecteurs]
milieu_centrecirconscrit_orthogonal_segment [lemma, in HighSchoolGeometry.cocyclicite]
milieu_symetrie [lemma, in HighSchoolGeometry.dilatations]
milieu_parallelogrammme_rec [lemma, in HighSchoolGeometry.affine_classiques]
milieu_parallelogrammme [lemma, in HighSchoolGeometry.affine_classiques]
milieu_distance [lemma, in HighSchoolGeometry.distance_euclidienne]
milieu_distinct2 [lemma, in HighSchoolGeometry.milieu]
milieu_distinct [lemma, in HighSchoolGeometry.milieu]
milieu_vecteur_double [lemma, in HighSchoolGeometry.milieu]
milieu_vecteur [lemma, in HighSchoolGeometry.milieu]
milieu_vecteur2 [lemma, in HighSchoolGeometry.milieu]
milieu_trivial [lemma, in HighSchoolGeometry.milieu]
milieu_permute [lemma, in HighSchoolGeometry.milieu]
minusAM [axiom, in HighSchoolGeometry.Field_affine]
Miquel [lemma, in HighSchoolGeometry.applications_cocyclicite]
module [axiom, in HighSchoolGeometry.formes_complexes]
module_affixe_produit_vecteur [lemma, in HighSchoolGeometry.complexes_dilatations]
module_affixe_produit_vecteur_OM [lemma, in HighSchoolGeometry.complexes_dilatations]
module_stric_pos [lemma, in HighSchoolGeometry.formes_complexes]
module_pos [lemma, in HighSchoolGeometry.formes_complexes]
module_reel_neg [lemma, in HighSchoolGeometry.formes_complexes]
module_reel_pos [lemma, in HighSchoolGeometry.formes_complexes]
module_reel [lemma, in HighSchoolGeometry.formes_complexes]
module_opp_un [lemma, in HighSchoolGeometry.formes_complexes]
module_i [lemma, in HighSchoolGeometry.formes_complexes]
module_oneC [lemma, in HighSchoolGeometry.formes_complexes]
module_non_zero [lemma, in HighSchoolGeometry.formes_complexes]
module_nul_zeroC [lemma, in HighSchoolGeometry.formes_complexes]
module_zeroC [lemma, in HighSchoolGeometry.formes_complexes]
module_def2 [lemma, in HighSchoolGeometry.formes_complexes]
module_def [axiom, in HighSchoolGeometry.formes_complexes]
module_Conj [lemma, in HighSchoolGeometry.complexes_conjugaison]
module_quotient [lemma, in HighSchoolGeometry.operations_complexes]
module_difference [lemma, in HighSchoolGeometry.operations_complexes]
module_un_trivial [lemma, in HighSchoolGeometry.operations_complexes]
module_un_nonzero [lemma, in HighSchoolGeometry.operations_complexes]
multAM [axiom, in HighSchoolGeometry.Field_affine]
mult_PP_regulier [lemma, in HighSchoolGeometry.Field_affine]
mult_PP_0 [lemma, in HighSchoolGeometry.Field_affine]
mult_PP_1 [lemma, in HighSchoolGeometry.Field_affine]
mult_PP [axiom, in HighSchoolGeometry.Field_affine]
mult_mult_vec [lemma, in HighSchoolGeometry.vecteur]
mult_1_vec [lemma, in HighSchoolGeometry.vecteur]
N
nonorigine_image_nonzero [lemma, in HighSchoolGeometry.formes_complexes]nonzeroAM [axiom, in HighSchoolGeometry.Field_affine]
nonzero_diff [lemma, in HighSchoolGeometry.complexes_similitudes]
nonzero_module [lemma, in HighSchoolGeometry.formes_complexes]
nonzero_amoins_un [lemma, in HighSchoolGeometry.complexes_transformations]
nonzero_oppinvdeux [lemma, in HighSchoolGeometry.Rutile]
nonzero_oppinvtrois [lemma, in HighSchoolGeometry.Rutile]
nonzero_invtrois [lemma, in HighSchoolGeometry.Rutile]
nonzero_opptrois [lemma, in HighSchoolGeometry.Rutile]
nonzero_trois [lemma, in HighSchoolGeometry.Rutile]
nonzero_invdeux [lemma, in HighSchoolGeometry.Rutile]
nonzero_oppdeux [lemma, in HighSchoolGeometry.Rutile]
nonzero_deux [lemma, in HighSchoolGeometry.Rutile]
nonzero_oppun [lemma, in HighSchoolGeometry.Rutile]
nonzero_un [lemma, in HighSchoolGeometry.Rutile]
nonzero_produit [lemma, in HighSchoolGeometry.operations_complexes]
non_coplanaires_expl [lemma, in HighSchoolGeometry.coplanarite]
non_axe_image_non_axe [lemma, in HighSchoolGeometry.reflexion_plane]
non_orthogonal_def [lemma, in HighSchoolGeometry.orthogonalite]
non_alignes_ordre_cycle3 [lemma, in HighSchoolGeometry.alignement]
non_alignes_ordre_cycle2 [lemma, in HighSchoolGeometry.alignement]
non_alignes_ordre_cycle [lemma, in HighSchoolGeometry.alignement]
non_alignes_ordre_permute [lemma, in HighSchoolGeometry.alignement]
non_alignes_permute [lemma, in HighSchoolGeometry.alignement]
non_alignes_distincts3 [lemma, in HighSchoolGeometry.alignement]
non_alignes_distincts2 [lemma, in HighSchoolGeometry.alignement]
non_alignes_distincts [lemma, in HighSchoolGeometry.alignement]
non_alignes_expl [lemma, in HighSchoolGeometry.alignement]
non_paralleles_trans [lemma, in HighSchoolGeometry.parallelisme_concours]
non_zero_Conj [lemma, in HighSchoolGeometry.complexes_conjugaison]
non_disjoints_exists [lemma, in HighSchoolGeometry.Plan_espace]
non_alignes_angle [lemma, in HighSchoolGeometry.angles_droites]
non_produit_un [lemma, in HighSchoolGeometry.Rutile]
non_sqrt_zero [lemma, in HighSchoolGeometry.Rutile]
O
O [axiom, in HighSchoolGeometry.complexes]O [axiom, in HighSchoolGeometry.determinant]
OIJ [variable, in HighSchoolGeometry.complexes]
OIJ [variable, in HighSchoolGeometry.determinant]
OIJ_repere [lemma, in HighSchoolGeometry.complexes]
OIJ_repere_ortho [lemma, in HighSchoolGeometry.complexes]
OIJ_repere [lemma, in HighSchoolGeometry.determinant]
OIJ_repere_ortho [lemma, in HighSchoolGeometry.determinant]
OI_distincts [lemma, in HighSchoolGeometry.complexes]
OI_distincts [lemma, in HighSchoolGeometry.determinant]
OJ_distincts [lemma, in HighSchoolGeometry.complexes]
OJ_distincts [lemma, in HighSchoolGeometry.determinant]
oneC [definition, in HighSchoolGeometry.formes_complexes]
oneC_nonzero [lemma, in HighSchoolGeometry.formes_complexes]
operations_complexes [library]
opp [axiom, in HighSchoolGeometry.angles_vecteurs]
oppAM [axiom, in HighSchoolGeometry.Field_affine]
oppose_representant_unitaire [lemma, in HighSchoolGeometry.representant_unitaire]
opp_orthogonal6 [lemma, in HighSchoolGeometry.orthogonalite]
opp_orthogonal5 [lemma, in HighSchoolGeometry.orthogonalite]
opp_orthogonal4 [lemma, in HighSchoolGeometry.orthogonalite]
opp_orthogonal3 [lemma, in HighSchoolGeometry.orthogonalite]
opp_orthogonal2 [lemma, in HighSchoolGeometry.orthogonalite]
opp_orthogonal [lemma, in HighSchoolGeometry.orthogonalite]
opp_plus_plus_opp [lemma, in HighSchoolGeometry.angles_vecteurs]
opp_angle [lemma, in HighSchoolGeometry.angles_vecteurs]
opp_un_nonzero [lemma, in HighSchoolGeometry.formes_complexes]
opp_vecteur [lemma, in HighSchoolGeometry.vecteur]
opp_unite_aire [lemma, in HighSchoolGeometry.determinant]
opp_inv_demi_nonzero [lemma, in HighSchoolGeometry.Rutile]
ordonnee [axiom, in HighSchoolGeometry.repere_plan]
ordonnee_def [axiom, in HighSchoolGeometry.repere_plan]
ordre_alignement_4points [lemma, in HighSchoolGeometry.parallelisme_concours]
ordvec [axiom, in HighSchoolGeometry.repere_plan]
ordvec_ordonnee [lemma, in HighSchoolGeometry.repere_plan]
ordvec_def [axiom, in HighSchoolGeometry.repere_plan]
orthocentre [axiom, in HighSchoolGeometry.orthocentre]
orthocentre [library]
orthocentre_intersection_hauteurs [lemma, in HighSchoolGeometry.orthocentre]
orthocentre_triangle_rectangle [lemma, in HighSchoolGeometry.orthocentre]
orthocentre_permute [lemma, in HighSchoolGeometry.orthocentre]
orthocentre_ordre [lemma, in HighSchoolGeometry.orthocentre]
orthocentre_def2 [axiom, in HighSchoolGeometry.orthocentre]
orthocentre_def [axiom, in HighSchoolGeometry.orthocentre]
orthocentre_double [lemma, in HighSchoolGeometry.applications_cocyclicite]
orthogonal [axiom, in HighSchoolGeometry.orthogonalite]
orthogonales [axiom, in HighSchoolGeometry.orthogonalite_espace]
orthogonales_toute_droite_orthogonaux [lemma, in HighSchoolGeometry.orthogonalite_espace]
orthogonales_2droites_secantes [lemma, in HighSchoolGeometry.orthogonalite_espace]
orthogonale_segment_milieu_mediatrice [lemma, in HighSchoolGeometry.mediatrice]
orthogonalite [library]
orthogonalite_espace [library]
orthogonal_equation_cartesienne [lemma, in HighSchoolGeometry.equations_droites]
orthogonal_alignement2 [lemma, in HighSchoolGeometry.orthogonalite]
orthogonal_alignement [lemma, in HighSchoolGeometry.orthogonalite]
orthogonal_non_alignes [lemma, in HighSchoolGeometry.orthogonalite]
orthogonal_segment_milieu [lemma, in HighSchoolGeometry.orthogonalite]
orthogonal_milieu [lemma, in HighSchoolGeometry.orthogonalite]
orthogonal_colineaires [lemma, in HighSchoolGeometry.repere_ortho_plan]
orthogonal_paralleles [lemma, in HighSchoolGeometry.repere_ortho_plan]
orthogonal_pisurdeux_or [lemma, in HighSchoolGeometry.angles_vecteurs]
orthogonal_diametre_cercle [lemma, in HighSchoolGeometry.applications_cocyclicite]
orthogonal_angles [lemma, in HighSchoolGeometry.angles_droites]
orthogonal_distincts [lemma, in HighSchoolGeometry.metrique_triangle]
orthogonaux [axiom, in HighSchoolGeometry.orthogonalite_espace]
orthogonaux_perce [lemma, in HighSchoolGeometry.orthogonalite_espace]
orthogonaux_orthogonales_toute_droite [lemma, in HighSchoolGeometry.orthogonalite_espace]
orthonormal_non_alignes [lemma, in HighSchoolGeometry.repere_ortho_plan]
orthonormal_repere [lemma, in HighSchoolGeometry.repere_ortho_plan]
orthonormal_orthogonal [lemma, in HighSchoolGeometry.repere_ortho_plan]
ortho_sym [lemma, in HighSchoolGeometry.orthogonalite]
ortho_mult [lemma, in HighSchoolGeometry.orthogonalite]
ortho_combinaison_lineaire [lemma, in HighSchoolGeometry.orthogonalite]
ortho_somme [lemma, in HighSchoolGeometry.orthogonalite]
P
parallelepipede [definition, in HighSchoolGeometry.exercice_espace]parallelepipede_parallelogramme [lemma, in HighSchoolGeometry.exercice_espace]
parallelepipede_rectangle [definition, in HighSchoolGeometry.exercice_espace]
paralleles [axiom, in HighSchoolGeometry.parallelisme_concours]
paralleles_r_vec_normal [lemma, in HighSchoolGeometry.equations_droites]
paralleles_l_vec_normal [lemma, in HighSchoolGeometry.equations_droites]
paralleles_vec_directeur [lemma, in HighSchoolGeometry.equations_droites]
paralleles_orthogonal [lemma, in HighSchoolGeometry.orthogonalite]
paralleles_non_concours [lemma, in HighSchoolGeometry.parallelisme_concours]
paralleles_alignes3 [lemma, in HighSchoolGeometry.parallelisme_concours]
paralleles_alignes2 [lemma, in HighSchoolGeometry.parallelisme_concours]
paralleles_alignes1 [lemma, in HighSchoolGeometry.parallelisme_concours]
paralleles_alignes [lemma, in HighSchoolGeometry.parallelisme_concours]
paralleles_ABBA [lemma, in HighSchoolGeometry.parallelisme_concours]
paralleles_vecteur [lemma, in HighSchoolGeometry.parallelisme_concours]
paralleles_trans [lemma, in HighSchoolGeometry.parallelisme_concours]
paralleles_sym [lemma, in HighSchoolGeometry.parallelisme_concours]
paralleles_refl [lemma, in HighSchoolGeometry.parallelisme_concours]
paralleles_droites_plan_trans [lemma, in HighSchoolGeometry.Plans_paralleles]
paralleles_dilatations [lemma, in HighSchoolGeometry.dilatations]
paralleles_plan_droite_non_secants [lemma, in HighSchoolGeometry.Droite_plan_espace]
paralleles_droite_plan_coplanaires_incluse [lemma, in HighSchoolGeometry.Droite_plan_espace]
paralleles_droite_incluse [lemma, in HighSchoolGeometry.Droite_plan_espace]
paralleles_droites_plan [lemma, in HighSchoolGeometry.Droite_plan_espace]
paralleles_coplanaires [lemma, in HighSchoolGeometry.Droite_espace]
paralleles_homothetie [lemma, in HighSchoolGeometry.homothetie_plane]
parallelisme_concours [library]
parallelogramme [definition, in HighSchoolGeometry.vecteur]
parallelogramme_ordre_permute [lemma, in HighSchoolGeometry.vecteur]
parallelogramme_ordre_cycle [lemma, in HighSchoolGeometry.vecteur]
parallelogramme_non_concours [lemma, in HighSchoolGeometry.barycentre]
para_plan_trans [lemma, in HighSchoolGeometry.Plans_paralleles]
para_plan_sym [lemma, in HighSchoolGeometry.Plans_paralleles]
para_plan_refl [lemma, in HighSchoolGeometry.Plans_paralleles]
para_plan_plan [axiom, in HighSchoolGeometry.Plans_paralleles]
para_plan_dr_vecteur [lemma, in HighSchoolGeometry.Droite_plan_espace]
para_plan_dr [axiom, in HighSchoolGeometry.Droite_plan_espace]
partie_imaginaire_def [axiom, in HighSchoolGeometry.formes_complexes]
partie_reelle_def [axiom, in HighSchoolGeometry.formes_complexes]
partie_imaginaire [axiom, in HighSchoolGeometry.formes_complexes]
partie_reelle [axiom, in HighSchoolGeometry.formes_complexes]
passage_algebrique_argument [lemma, in HighSchoolGeometry.formes_complexes]
passage_algebrique_module [lemma, in HighSchoolGeometry.formes_complexes]
passage_polaire_algebrique [lemma, in HighSchoolGeometry.formes_complexes]
perce [definition, in HighSchoolGeometry.Droite_plan_espace]
permute_angles [lemma, in HighSchoolGeometry.angles_vecteurs]
permute_ordre_triangle [lemma, in HighSchoolGeometry.alignement]
permute_alignes [lemma, in HighSchoolGeometry.alignement]
permute_barycentre [lemma, in HighSchoolGeometry.barycentre]
perpendiculaires [axiom, in HighSchoolGeometry.orthogonalite_espace]
perpendiculaires_orthogonales [lemma, in HighSchoolGeometry.orthogonalite_espace]
pi [definition, in HighSchoolGeometry.angles_vecteurs]
pied_hauteur_cercle [lemma, in HighSchoolGeometry.homoth_Euler]
pisurdeux [axiom, in HighSchoolGeometry.angles_vecteurs]
pisurdeux_scalaire_nul [lemma, in HighSchoolGeometry.angles_vecteurs]
pisurdeux_droit [axiom, in HighSchoolGeometry.angles_vecteurs]
pisurdeux_plus_x [lemma, in HighSchoolGeometry.trigo]
pi_plus_pi [lemma, in HighSchoolGeometry.angles_vecteurs]
pi_plus_x [lemma, in HighSchoolGeometry.trigo]
pi_moins_x [lemma, in HighSchoolGeometry.trigo]
PL [axiom, in HighSchoolGeometry.Droite_plan_espace]
plan [axiom, in HighSchoolGeometry.Droite_plan_espace]
plans_paralleles_ou_droite_incluse2 [lemma, in HighSchoolGeometry.Plans_paralleles]
plans_paralleles_vecteurs [lemma, in HighSchoolGeometry.Plans_paralleles]
plans_paralleles_secants_droites_paralleles [lemma, in HighSchoolGeometry.Plan_espace]
plans_paralleles_droite [lemma, in HighSchoolGeometry.Plan_espace]
Plans_paralleles [library]
Plan_espace [library]
plus [axiom, in HighSchoolGeometry.angles_vecteurs]
plusAM [axiom, in HighSchoolGeometry.Field_affine]
plus_angle_oppose [lemma, in HighSchoolGeometry.angles_vecteurs]
plus_associative [lemma, in HighSchoolGeometry.angles_vecteurs]
plus_angle_zero [lemma, in HighSchoolGeometry.angles_vecteurs]
plus_commutative [lemma, in HighSchoolGeometry.angles_vecteurs]
PO [axiom, in HighSchoolGeometry.Field_affine]
points_distincts_non_zeroC [lemma, in HighSchoolGeometry.complexes_dilatations]
points_plan_espace [lemma, in HighSchoolGeometry.Droite_plan_espace]
point_fixe_gf [lemma, in HighSchoolGeometry.complexes_transformations]
point_contact_cercles_tangents [lemma, in HighSchoolGeometry.contact]
point_contact_k_negatif [lemma, in HighSchoolGeometry.contact]
point_contact_k_positif [lemma, in HighSchoolGeometry.contact]
polaire_calcul_algebrique [lemma, in HighSchoolGeometry.formes_complexes]
polaire_non_nul [lemma, in HighSchoolGeometry.formes_complexes]
polaire_produit [lemma, in HighSchoolGeometry.operations_complexes]
pol_complexe_argument [lemma, in HighSchoolGeometry.formes_complexes]
pol_complexe_module [lemma, in HighSchoolGeometry.formes_complexes]
position_relative_droite_plan [lemma, in HighSchoolGeometry.Droite_plan_espace]
position_relative_plan_droite_paralleles [lemma, in HighSchoolGeometry.Droite_plan_espace]
position_relative_plans_non_disjoints [lemma, in HighSchoolGeometry.Plan_espace]
position_relative_plans_general [lemma, in HighSchoolGeometry.Plan_espace]
position_relative_plans_paralleles [lemma, in HighSchoolGeometry.Plan_espace]
position_relative_plans [lemma, in HighSchoolGeometry.Plan_espace]
position_relative_droites_coplanaires [lemma, in HighSchoolGeometry.Droite_espace]
position_relative_droites_espace [lemma, in HighSchoolGeometry.Droite_espace]
PP [axiom, in HighSchoolGeometry.Field_affine]
PP_0 [lemma, in HighSchoolGeometry.Field_affine]
produit_reel_affixe_vecteur [lemma, in HighSchoolGeometry.complexes_dilatations]
produit_reel_affixe_vecteur_OM [lemma, in HighSchoolGeometry.complexes_dilatations]
produit_vecteur_image [lemma, in HighSchoolGeometry.complexes_dilatations]
produit_longueur_absolu_Sin2 [lemma, in HighSchoolGeometry.aire_signee]
produit_longueur_absolu_Sin [lemma, in HighSchoolGeometry.aire_signee]
produit_distance_distinct [lemma, in HighSchoolGeometry.transformations_contact]
produit_scalaire_cosinus [lemma, in HighSchoolGeometry.metrique_triangle]
produit_scalaire_Cosinus [lemma, in HighSchoolGeometry.metrique_triangle]
produit_Conj_module [lemma, in HighSchoolGeometry.complexes_inversion]
produit_zero_conf [lemma, in HighSchoolGeometry.vecteur]
produit_vecteur_nul [lemma, in HighSchoolGeometry.vecteur]
produit_negatif_representant_unitaire [lemma, in HighSchoolGeometry.representant_unitaire]
produit_positif_representant_unitaire [lemma, in HighSchoolGeometry.representant_unitaire]
produit_scalaire [library]
projection_orthogonale [library]
projete_orthogonal_image [lemma, in HighSchoolGeometry.reflexion_plane]
projete_sinus [lemma, in HighSchoolGeometry.aire_signee]
projete_Sinus [lemma, in HighSchoolGeometry.aire_signee]
projete_non_axe [lemma, in HighSchoolGeometry.projection_orthogonale]
projete_axe [lemma, in HighSchoolGeometry.projection_orthogonale]
projete_orthogonal [axiom, in HighSchoolGeometry.projection_orthogonale]
projete_ortho_cote [lemma, in HighSchoolGeometry.applications_cocyclicite]
projete_distance_Rlt [lemma, in HighSchoolGeometry.euclidien_classiques]
projete_absolu_Cos [lemma, in HighSchoolGeometry.metrique_triangle]
projete_absolu_Sin [lemma, in HighSchoolGeometry.metrique_triangle]
projete_absolu_sin [lemma, in HighSchoolGeometry.metrique_triangle]
projete_absolu_cos [lemma, in HighSchoolGeometry.metrique_triangle]
projete_negatif_cos [lemma, in HighSchoolGeometry.metrique_triangle]
prop_vecteur_bary_rec [lemma, in HighSchoolGeometry.barycentre]
prop_vecteur_bary [lemma, in HighSchoolGeometry.barycentre]
prop_vecteur_milieu [lemma, in HighSchoolGeometry.milieu]
pt_intersection_commute [lemma, in HighSchoolGeometry.parallelisme_concours]
pt_intersection [axiom, in HighSchoolGeometry.parallelisme_concours]
puissance_point_cercle [definition, in HighSchoolGeometry.puissance_cercle]
puissance_cercle_tangente_rec [lemma, in HighSchoolGeometry.puissance_cercle]
puissance_cercle_tangente [lemma, in HighSchoolGeometry.puissance_cercle]
puissance_cercle [lemma, in HighSchoolGeometry.puissance_cercle]
puissance_cercle [library]
Pythagore [lemma, in HighSchoolGeometry.euclidien_classiques]
Pythagore_projete_orthogonal [lemma, in HighSchoolGeometry.euclidien_classiques]
Q
quotient_mes_algebrique_vecteur [lemma, in HighSchoolGeometry.mesure_algebrique]R
reciproque_cocyclicite [lemma, in HighSchoolGeometry.cocyclicite]reciproque_droite_milieu [lemma, in HighSchoolGeometry.affine_classiques]
reciproque_Thales_expl [lemma, in HighSchoolGeometry.affine_classiques]
reciproque_Thales_PP [lemma, in HighSchoolGeometry.affine_classiques]
rectangle_Pythagore [lemma, in HighSchoolGeometry.euclidien_classiques]
rec_complexe_homothetie [lemma, in HighSchoolGeometry.complexes_dilatations]
rec_complexe_translation [lemma, in HighSchoolGeometry.complexes_dilatations]
rec_translation_vecteur [lemma, in HighSchoolGeometry.dilatations]
reel_non_nul [lemma, in HighSchoolGeometry.formes_complexes]
reflexion [axiom, in HighSchoolGeometry.reflexion_plane]
reflexion_anti_deplacement [lemma, in HighSchoolGeometry.reflexion_plane]
reflexion_inverse_AMN [lemma, in HighSchoolGeometry.reflexion_plane]
reflexion_isometrie [lemma, in HighSchoolGeometry.reflexion_plane]
reflexion_inverse_angle [lemma, in HighSchoolGeometry.reflexion_plane]
reflexion_isocele2 [lemma, in HighSchoolGeometry.reflexion_plane]
reflexion_isocele [lemma, in HighSchoolGeometry.reflexion_plane]
reflexion_symetrie [lemma, in HighSchoolGeometry.reflexion_plane]
reflexion_axe_orthogonal_segment [lemma, in HighSchoolGeometry.reflexion_plane]
reflexion_mediatrice [lemma, in HighSchoolGeometry.reflexion_plane]
reflexion_image_distinct [lemma, in HighSchoolGeometry.reflexion_plane]
reflexion_projete_orthogonal_milieu [lemma, in HighSchoolGeometry.reflexion_plane]
reflexion_axe [lemma, in HighSchoolGeometry.reflexion_plane]
reflexion_def2 [axiom, in HighSchoolGeometry.reflexion_plane]
reflexion_def [axiom, in HighSchoolGeometry.reflexion_plane]
reflexion_conserve_contact_cercle_cercle [lemma, in HighSchoolGeometry.transformations_contact]
reflexion_conserve_contact_cercle_droite [lemma, in HighSchoolGeometry.transformations_contact]
reflexion_conserve_orthogonalite [lemma, in HighSchoolGeometry.transformations_contact]
reflexion_conjugaison [lemma, in HighSchoolGeometry.complexes_conjugaison]
reflexion_plane [library]
repere [definition, in HighSchoolGeometry.repere_plan]
repere_espace [axiom, in HighSchoolGeometry.coplanarite]
repere_orthonormal [definition, in HighSchoolGeometry.repere_ortho_plan]
repere_orthogonal [definition, in HighSchoolGeometry.repere_ortho_plan]
repere_orthonormal_indirect [definition, in HighSchoolGeometry.trigo]
repere_orthonormal_direct [definition, in HighSchoolGeometry.trigo]
repere_ortho_plan [library]
repere_plan [library]
representant_unitaire_bis [lemma, in HighSchoolGeometry.representant_unitaire]
representant_unitaire [axiom, in HighSchoolGeometry.representant_unitaire]
representant_unitaire [library]
resolution [lemma, in HighSchoolGeometry.Rutile]
resolution2 [lemma, in HighSchoolGeometry.Rutile]
Rgt_inv [lemma, in HighSchoolGeometry.Rutile]
Rinj [definition, in HighSchoolGeometry.formes_complexes]
Rinj_un [lemma, in HighSchoolGeometry.formes_complexes]
Rinj_zero [lemma, in HighSchoolGeometry.formes_complexes]
Rinj_Cinv [lemma, in HighSchoolGeometry.complexes_inversion]
Rinj_Cmult [lemma, in HighSchoolGeometry.complexes_inversion]
Rinj_opp [lemma, in HighSchoolGeometry.complexes_inversion]
Rinv_sqrt_pos [lemma, in HighSchoolGeometry.Rutile]
Rinv_le_pos [lemma, in HighSchoolGeometry.Rutile]
Rinv_calcul [lemma, in HighSchoolGeometry.operations_complexes]
Rmult_pos [lemma, in HighSchoolGeometry.Rutile]
ROND_new [lemma, in HighSchoolGeometry.trigo]
ROND_RONI [lemma, in HighSchoolGeometry.trigo]
ROND_RON [lemma, in HighSchoolGeometry.trigo]
rotation [axiom, in HighSchoolGeometry.rotation_plane]
rotation_complexe [lemma, in HighSchoolGeometry.complexes_similitudes]
rotation_centre_origine_complexe [lemma, in HighSchoolGeometry.complexes_similitudes]
rotation_image_bipoint [lemma, in HighSchoolGeometry.rotation_plane]
rotation_conserve_angle [lemma, in HighSchoolGeometry.rotation_plane]
rotation_IAB [lemma, in HighSchoolGeometry.rotation_plane]
rotation_isometrie [lemma, in HighSchoolGeometry.rotation_plane]
rotation_inverse [lemma, in HighSchoolGeometry.rotation_plane]
rotation_angle_nul [lemma, in HighSchoolGeometry.rotation_plane]
rotation_def2 [axiom, in HighSchoolGeometry.rotation_plane]
rotation_def_centre [axiom, in HighSchoolGeometry.rotation_plane]
rotation_def [axiom, in HighSchoolGeometry.rotation_plane]
rotation_analytique [lemma, in HighSchoolGeometry.complexes_analytique]
rotation_conserve_contact_cercle_cercle [lemma, in HighSchoolGeometry.transformations_contact]
rotation_conserve_contact_cercle_droite [lemma, in HighSchoolGeometry.transformations_contact]
rotation_conserve_orthogonalite [lemma, in HighSchoolGeometry.transformations_contact]
rotation_homothetie_I_commutent [lemma, in HighSchoolGeometry.similitudes_directes]
rotation_homothetie_pos_I_commutent [lemma, in HighSchoolGeometry.similitudes_directes]
rotation_symetrie [lemma, in HighSchoolGeometry.homothetie_plane]
rotation_plane [library]
Rutile [library]
R2 [definition, in HighSchoolGeometry.Rutile]
R4 [definition, in HighSchoolGeometry.Rutile]
S
scalaire [axiom, in HighSchoolGeometry.produit_scalaire]scalaire_somme_d [lemma, in HighSchoolGeometry.produit_scalaire]
scalaire_mult_d [lemma, in HighSchoolGeometry.produit_scalaire]
scalaire_mult_mult [lemma, in HighSchoolGeometry.produit_scalaire]
scalaire_bilineaire [lemma, in HighSchoolGeometry.produit_scalaire]
scalaire_lineaire_d [lemma, in HighSchoolGeometry.produit_scalaire]
scalaire_lineaire_g [lemma, in HighSchoolGeometry.produit_scalaire]
scalaire_mult_g [axiom, in HighSchoolGeometry.produit_scalaire]
scalaire_somme_g [axiom, in HighSchoolGeometry.produit_scalaire]
scalaire_sym [axiom, in HighSchoolGeometry.produit_scalaire]
scalaire_non_degenere [axiom, in HighSchoolGeometry.produit_scalaire]
scalaire_positif [axiom, in HighSchoolGeometry.produit_scalaire]
scalaire_alignes [lemma, in HighSchoolGeometry.orthogonalite]
scalaire_avec_projete [lemma, in HighSchoolGeometry.orthogonalite]
scalaire_composantes_ABCD [lemma, in HighSchoolGeometry.repere_ortho_plan]
scalaire_coordonnees [lemma, in HighSchoolGeometry.repere_ortho_plan]
scalaire_deux_projetes [lemma, in HighSchoolGeometry.projection_orthogonale]
scalaire_difference_carre [lemma, in HighSchoolGeometry.euclidien_classiques]
scalaire_diametre [lemma, in HighSchoolGeometry.puissance_cercle]
scalaire_non_nul [lemma, in HighSchoolGeometry.representant_unitaire]
secants [axiom, in HighSchoolGeometry.Plan_espace]
similitude [axiom, in HighSchoolGeometry.similitudes_directes]
similitudes_meme_centre_commutent [lemma, in HighSchoolGeometry.similitudes_directes]
similitudes_directes [library]
similitude_complexe [lemma, in HighSchoolGeometry.complexes_similitudes]
similitude_analytique [lemma, in HighSchoolGeometry.complexes_analytique]
similitude_conserve_contact_cercle_cercle [lemma, in HighSchoolGeometry.transformations_contact]
similitude_conserve_contact_cercle_droite [lemma, in HighSchoolGeometry.transformations_contact]
similitude_conserve_orthogonalite [lemma, in HighSchoolGeometry.transformations_contact]
similitude_conserve_angle [lemma, in HighSchoolGeometry.similitudes_directes]
similitude_decomposition [lemma, in HighSchoolGeometry.similitudes_directes]
similitude_identite [lemma, in HighSchoolGeometry.similitudes_directes]
similitude_angle_nul [lemma, in HighSchoolGeometry.similitudes_directes]
similitude_rapport_un [lemma, in HighSchoolGeometry.similitudes_directes]
similitude_def2 [axiom, in HighSchoolGeometry.similitudes_directes]
similitude_def_centre [axiom, in HighSchoolGeometry.similitudes_directes]
similitude_def [axiom, in HighSchoolGeometry.similitudes_directes]
Sin [axiom, in HighSchoolGeometry.trigo]
sin [axiom, in HighSchoolGeometry.trigo]
sinA_sur_a_aire [lemma, in HighSchoolGeometry.aire_signee]
sinA_sur_a [lemma, in HighSchoolGeometry.aire_signee]
Sin_angles_alignes [lemma, in HighSchoolGeometry.aire_signee]
Sin_opp [lemma, in HighSchoolGeometry.aire_signee]
sin_diff [lemma, in HighSchoolGeometry.trigo]
sin_som [lemma, in HighSchoolGeometry.trigo]
sin_impaire [lemma, in HighSchoolGeometry.trigo]
sin_pi [lemma, in HighSchoolGeometry.trigo]
sin_pisurdeux [lemma, in HighSchoolGeometry.trigo]
sin_zero [lemma, in HighSchoolGeometry.trigo]
sin_cos_pisurdeux_moins_x [lemma, in HighSchoolGeometry.trigo]
sin_periodique [lemma, in HighSchoolGeometry.trigo]
sin_deux_mes [lemma, in HighSchoolGeometry.trigo]
somme_triangle [lemma, in HighSchoolGeometry.angles_vecteurs]
sont_cocycliques [definition, in HighSchoolGeometry.cercle]
sqrt_Rinv [lemma, in HighSchoolGeometry.Rutile]
sqrt_pos [lemma, in HighSchoolGeometry.Rutile]
symetrie [definition, in HighSchoolGeometry.dilatations]
symetrie_involution [lemma, in HighSchoolGeometry.dilatations]
symetrie_milieu [lemma, in HighSchoolGeometry.dilatations]
symetrie_rotation [lemma, in HighSchoolGeometry.homothetie_plane]
symetrique_milieu_milieu [lemma, in HighSchoolGeometry.homoth_Euler]
symetrique_milieu_cercle [lemma, in HighSchoolGeometry.homoth_Euler]
symetrique_orthocentre [lemma, in HighSchoolGeometry.applications_cocyclicite]
T
tangente [lemma, in HighSchoolGeometry.cocyclicite]tangente_cercle_equation [lemma, in HighSchoolGeometry.equations_cercles]
tangente_reciproque [lemma, in HighSchoolGeometry.cocyclicite]
tangente_commune_cercles_tangents [lemma, in HighSchoolGeometry.contact]
tangente_cercle_contact_unique [lemma, in HighSchoolGeometry.contact]
tangente_cercle [definition, in HighSchoolGeometry.cercle]
tetraedre [definition, in HighSchoolGeometry.exercice_espace]
tetraedre_non_alignes [lemma, in HighSchoolGeometry.exercice_espace]
Thales_concours [lemma, in HighSchoolGeometry.affine_classiques]
Thales_expl [lemma, in HighSchoolGeometry.affine_classiques]
Thales_PP [lemma, in HighSchoolGeometry.affine_classiques]
the_cube [lemma, in HighSchoolGeometry.exercice_espace]
toit [lemma, in HighSchoolGeometry.Plan_espace]
tout_angle_mesure [lemma, in HighSchoolGeometry.angles_vecteurs]
tout_angle_a_une_mesure [axiom, in HighSchoolGeometry.angles_vecteurs]
transformations_contact [library]
transforme [axiom, in HighSchoolGeometry.complexes_transformations]
transforme_image [lemma, in HighSchoolGeometry.complexes_transformations]
transforme_def [axiom, in HighSchoolGeometry.complexes_transformations]
translation [definition, in HighSchoolGeometry.dilatations]
translation_paralleles [lemma, in HighSchoolGeometry.dilatations]
translation_intersection [lemma, in HighSchoolGeometry.dilatations]
translation_inverse [lemma, in HighSchoolGeometry.dilatations]
translation_alignement [lemma, in HighSchoolGeometry.dilatations]
translation_milieu [lemma, in HighSchoolGeometry.dilatations]
translation_droite [lemma, in HighSchoolGeometry.dilatations]
translation_trans [lemma, in HighSchoolGeometry.dilatations]
translation_bipoint [lemma, in HighSchoolGeometry.dilatations]
translation_trivial [lemma, in HighSchoolGeometry.dilatations]
translation_identite [lemma, in HighSchoolGeometry.dilatations]
translation_vecteur [lemma, in HighSchoolGeometry.dilatations]
translation_analytique [lemma, in HighSchoolGeometry.complexes_analytique]
translation_conserve_contact_cercle_cercle [lemma, in HighSchoolGeometry.transformations_contact]
translation_conserve_contact_cercle_droite [lemma, in HighSchoolGeometry.transformations_contact]
translation_conserve_orthogonalite [lemma, in HighSchoolGeometry.transformations_contact]
translation_isometrie [lemma, in HighSchoolGeometry.transformations_contact]
translation_reflexion_axe_parallele_commutent [lemma, in HighSchoolGeometry.composee_transformations]
trapeze_complet_expl2 [lemma, in HighSchoolGeometry.affine_classiques]
trapeze_complet_expl [lemma, in HighSchoolGeometry.affine_classiques]
trapeze_complet_PP [lemma, in HighSchoolGeometry.affine_classiques]
triangle [definition, in HighSchoolGeometry.alignement]
triangles_meme_hypotenuse [lemma, in HighSchoolGeometry.applications_cocyclicite]
triangles_isometriques_indirects [lemma, in HighSchoolGeometry.metrique_triangle]
triangles_isometriques [lemma, in HighSchoolGeometry.metrique_triangle]
triangle_hauteurs_secantes [lemma, in HighSchoolGeometry.orthocentre]
triangle_distincts_pied_hauteur [lemma, in HighSchoolGeometry.orthocentre]
triangle_rectangle_une_fois [lemma, in HighSchoolGeometry.orthocentre]
triangle_rectangle_repere [lemma, in HighSchoolGeometry.repere_ortho_plan]
triangle_ordre_cycle3 [lemma, in HighSchoolGeometry.alignement]
triangle_ordre_cycle2 [lemma, in HighSchoolGeometry.alignement]
triangle_ordre_permute [lemma, in HighSchoolGeometry.alignement]
triangle_ordre_cycle [lemma, in HighSchoolGeometry.alignement]
triangle_ortho_cote2 [lemma, in HighSchoolGeometry.applications_cocyclicite]
triangle_ortho_cote [lemma, in HighSchoolGeometry.applications_cocyclicite]
triangle_intersection_mediatrices [lemma, in HighSchoolGeometry.cocyclicite]
triangle_droite_milieu_paralleles [lemma, in HighSchoolGeometry.affine_classiques]
triangle_rectangle_cercle_diametre [lemma, in HighSchoolGeometry.complements_cercle]
triangle_diametre [lemma, in HighSchoolGeometry.complements_cercle]
triangle_demi_cercle_rectangle [lemma, in HighSchoolGeometry.complements_cercle]
triangle_rectangle_demi_cercle [lemma, in HighSchoolGeometry.complements_cercle]
triangle_Pythagore [lemma, in HighSchoolGeometry.euclidien_classiques]
triangle_rectangle_absolu_Sin [lemma, in HighSchoolGeometry.metrique_triangle]
triangle_rectangle_indirect_Sin [lemma, in HighSchoolGeometry.metrique_triangle]
triangle_rectangle_direct_Sin [lemma, in HighSchoolGeometry.metrique_triangle]
triangle_rectangle_absolu_sinus [lemma, in HighSchoolGeometry.metrique_triangle]
triangle_rectangle_indirect_sinus [lemma, in HighSchoolGeometry.metrique_triangle]
triangle_rectangle_direct_sinus [lemma, in HighSchoolGeometry.metrique_triangle]
triangle_rectangle_absolu_cos [lemma, in HighSchoolGeometry.metrique_triangle]
triangle_rectangle_cos [lemma, in HighSchoolGeometry.metrique_triangle]
triangle_rectangle_Cos [lemma, in HighSchoolGeometry.metrique_triangle]
triangle_medianes_triangle [lemma, in HighSchoolGeometry.milieu]
triangle_triangle_milieux [lemma, in HighSchoolGeometry.milieu]
triangle_milieu_distinct [lemma, in HighSchoolGeometry.milieu]
trigo [library]
trigo_Pythagore [lemma, in HighSchoolGeometry.trigo]
trivial_sin_Sin [lemma, in HighSchoolGeometry.trigo]
trivial_cos_Cos [lemma, in HighSchoolGeometry.trigo]
U
unAM [axiom, in HighSchoolGeometry.Field_affine]unicite_parties_relles_imaginaires [lemma, in HighSchoolGeometry.complexes]
unicite_projete_orthogonal [lemma, in HighSchoolGeometry.orthogonalite]
unicite_representant_angle_nul [axiom, in HighSchoolGeometry.angles_vecteurs]
unicite_forme_polaire_nonzero [lemma, in HighSchoolGeometry.formes_complexes]
unicite_composantes_vecteur [lemma, in HighSchoolGeometry.repere_plan]
unicite_coordonnees [lemma, in HighSchoolGeometry.repere_plan]
unicite_circonscrit_triangle [lemma, in HighSchoolGeometry.cocyclicite]
unicite_symetrique [lemma, in HighSchoolGeometry.dilatations]
unicite_solution_equation [lemma, in HighSchoolGeometry.complexes_transformations]
unicite_coor_bar2 [lemma, in HighSchoolGeometry.barycentre]
unicite_coor_bar_aux [lemma, in HighSchoolGeometry.barycentre]
unicite_coef_bar [lemma, in HighSchoolGeometry.barycentre]
unicite_coor_bar [lemma, in HighSchoolGeometry.barycentre]
unicite_contact_cercle_droite_tangente [lemma, in HighSchoolGeometry.contact]
unicite_representant_unitaire [lemma, in HighSchoolGeometry.representant_unitaire]
unicite_inverse [lemma, in HighSchoolGeometry.operations_complexes]
unitaire_distincts [lemma, in HighSchoolGeometry.produit_scalaire]
unitaire_distincts2 [lemma, in HighSchoolGeometry.distance_euclidienne]
unite_aire [lemma, in HighSchoolGeometry.determinant]
un_module_a_deplacement [lemma, in HighSchoolGeometry.complexes_transformations]
un_module_a_rotation [lemma, in HighSchoolGeometry.complexes_transformations]
V
vec [definition, in HighSchoolGeometry.vecteur]vecteur [library]
vecteurs_orthogonaux_rec [lemma, in HighSchoolGeometry.orthogonalite_espace]
vecteurs_orthogonaux [lemma, in HighSchoolGeometry.orthogonalite_espace]
vecteurs_para_plan_dr [lemma, in HighSchoolGeometry.Droite_plan_espace]
vecteur_def_coplanaires [lemma, in HighSchoolGeometry.coplanarite]
vecteur_def_coplanaires1 [lemma, in HighSchoolGeometry.coplanarite]
vecteur_quotient_mes_algebrique [lemma, in HighSchoolGeometry.mesure_algebrique]
vecteur_homothetie [lemma, in HighSchoolGeometry.dilatations]
vecteur_nul_conf [lemma, in HighSchoolGeometry.vecteur]
vecteur_egalite_point [lemma, in HighSchoolGeometry.vecteur]
vecteur_nul [lemma, in HighSchoolGeometry.vecteur]
vecteur_milieu [lemma, in HighSchoolGeometry.milieu]
vec_OAplusOBplusOC_orthocentre [lemma, in HighSchoolGeometry.droite_Euler]
vec_OAplusOBplusOC_orthogonal [lemma, in HighSchoolGeometry.droite_Euler]
vec_normal_calcul [lemma, in HighSchoolGeometry.equations_droites]
vec_normal_paralleles_r [lemma, in HighSchoolGeometry.equations_droites]
vec_normal_paralleles_l [lemma, in HighSchoolGeometry.equations_droites]
vec_directeur_orthogonal_normal [lemma, in HighSchoolGeometry.equations_droites]
vec_normal_orthogonal_directeur [lemma, in HighSchoolGeometry.equations_droites]
vec_normal_directeur_orthogonaux [lemma, in HighSchoolGeometry.equations_droites]
vec_normal_permute [lemma, in HighSchoolGeometry.equations_droites]
vec_normal_def2 [axiom, in HighSchoolGeometry.equations_droites]
vec_normal_def [axiom, in HighSchoolGeometry.equations_droites]
vec_normal [axiom, in HighSchoolGeometry.equations_droites]
vec_directeur_calcul [lemma, in HighSchoolGeometry.equations_droites]
vec_directeur_paralleles [lemma, in HighSchoolGeometry.equations_droites]
vec_directeur_permute [lemma, in HighSchoolGeometry.equations_droites]
vec_directeur_trivial [lemma, in HighSchoolGeometry.equations_droites]
vec_directeur_def2 [axiom, in HighSchoolGeometry.equations_droites]
vec_directeur_def [axiom, in HighSchoolGeometry.equations_droites]
vec_directeur [axiom, in HighSchoolGeometry.equations_droites]
Z
zero [axiom, in HighSchoolGeometry.Field_affine]zeroAM [axiom, in HighSchoolGeometry.Field_affine]
zeroC [definition, in HighSchoolGeometry.formes_complexes]
zero_ortho_tout2 [lemma, in HighSchoolGeometry.orthogonalite]
zero_ortho_tout [lemma, in HighSchoolGeometry.orthogonalite]
zero_add_PP [lemma, in HighSchoolGeometry.Field_affine]
zero_plus_double [lemma, in HighSchoolGeometry.angles_droites]
zero_double [lemma, in HighSchoolGeometry.Rutile]
Variable Index
F
fcons [in HighSchoolGeometry.Field_affine]f_def [in HighSchoolGeometry.complexes_transformations]
G
g_def [in HighSchoolGeometry.complexes_transformations]O
OIJ [in HighSchoolGeometry.complexes]OIJ [in HighSchoolGeometry.determinant]
Library Index
A
affine_classiquesaire_signee
alignement
angles_vecteurs
angles_droites
applications_cocyclicite
B
barycentreC
cerclecocyclicite
complements_cercle
complexes
complexes_analytique
complexes_dilatations
complexes_exercice
complexes_similitudes
complexes_conjugaison
complexes_transformations
complexes_inversion
composee_translation_rotation
composee_reflexions
composee_dilatations
composee_transformations
contact
coplanarite
D
determinantdilatations
distance_euclidienne
Droite_plan_espace
Droite_espace
droite_Euler
E
equations_droitesequations_cercles
euclidien_classiques
exercice_espace
F
Field_affineformes_complexes
H
homothetie_planehomoth_Euler
I
inversionisocele
M
mediatricemesure_algebrique
metrique_triangle
milieu
O
operations_complexesorthocentre
orthogonalite
orthogonalite_espace
P
parallelisme_concoursPlans_paralleles
Plan_espace
produit_scalaire
projection_orthogonale
puissance_cercle
R
reflexion_planerepere_ortho_plan
repere_plan
representant_unitaire
rotation_plane
Rutile
S
similitudes_directesT
transformations_contacttrigo
V
vecteurLemma Index
A
absvec_ordvec_affixe [in HighSchoolGeometry.formes_complexes]absvec_abscisse [in HighSchoolGeometry.repere_plan]
abs_module [in HighSchoolGeometry.formes_complexes]
add_PP_reg_gauche [in HighSchoolGeometry.Field_affine]
add_PP_regulier [in HighSchoolGeometry.Field_affine]
add_PP_assoc [in HighSchoolGeometry.Field_affine]
add_PP_sym [in HighSchoolGeometry.Field_affine]
add_PP_A [in HighSchoolGeometry.Field_affine]
add_PP_zero [in HighSchoolGeometry.Field_affine]
add_PP_alignes [in HighSchoolGeometry.alignement]
add_PP_concours [in HighSchoolGeometry.parallelisme_concours]
add_opp_vec [in HighSchoolGeometry.vecteur]
add_PP_vec_reg [in HighSchoolGeometry.vecteur]
add_PP_assoc_permute [in HighSchoolGeometry.vecteur]
add_PP_vecteur_opp [in HighSchoolGeometry.vecteur]
add_PP_vecteur_rec [in HighSchoolGeometry.vecteur]
add_PP_vecteur [in HighSchoolGeometry.vecteur]
add_PP_milieu_permute [in HighSchoolGeometry.milieu]
add_PP_milieu_asso [in HighSchoolGeometry.milieu]
add_PP_milieu [in HighSchoolGeometry.milieu]
affixe_image_vecteur [in HighSchoolGeometry.complexes]
affixe_origine [in HighSchoolGeometry.formes_complexes]
affixe_transforme [in HighSchoolGeometry.complexes_transformations]
affixe_image [in HighSchoolGeometry.complexes_transformations]
affixe_projete_orthogonal [in HighSchoolGeometry.complexes_conjugaison]
affixe_vec_AB_affixes [in HighSchoolGeometry.operations_complexes]
affixe_vec_AB [in HighSchoolGeometry.operations_complexes]
aire_triangle_projete [in HighSchoolGeometry.aire_signee]
aire_avec_projete [in HighSchoolGeometry.aire_signee]
aire_triangle_ordre_cycle [in HighSchoolGeometry.aire_signee]
aire_triangle_ordre_permute [in HighSchoolGeometry.aire_signee]
aire_ordre_cycle2 [in HighSchoolGeometry.aire_signee]
aire_ordre_cycle [in HighSchoolGeometry.aire_signee]
aire_distrib_r [in HighSchoolGeometry.aire_signee]
aire_orthogonal [in HighSchoolGeometry.aire_signee]
aire_orthogonal_indirect [in HighSchoolGeometry.aire_signee]
aire_orthogonal_direct [in HighSchoolGeometry.aire_signee]
aire_nulle_colineaires [in HighSchoolGeometry.aire_signee]
aire_colineaire_r [in HighSchoolGeometry.aire_signee]
aire_colineaire_l [in HighSchoolGeometry.aire_signee]
aire_colinearite [in HighSchoolGeometry.aire_signee]
aire_alignement [in HighSchoolGeometry.aire_signee]
aire_vecteur_nul_l [in HighSchoolGeometry.aire_signee]
aire_vecteur_nul_r [in HighSchoolGeometry.aire_signee]
aire_AB_oppAB [in HighSchoolGeometry.aire_signee]
aire_ABAB [in HighSchoolGeometry.aire_signee]
aire_anti_symetrique [in HighSchoolGeometry.aire_signee]
aire_coordonnees [in HighSchoolGeometry.determinant]
algebrique_zeroC [in HighSchoolGeometry.formes_complexes]
algebrique_operations [in HighSchoolGeometry.operations_complexes]
alignement_triangle [in HighSchoolGeometry.angles_droites]
alignement_et_angles [in HighSchoolGeometry.angles_droites]
alignement_determinant [in HighSchoolGeometry.determinant]
alignes_mediatrice_milieu [in HighSchoolGeometry.mediatrice]
alignes_coplanaires [in HighSchoolGeometry.coplanarite]
alignes_equation_cartesienne [in HighSchoolGeometry.equations_droites]
alignes_unitaire [in HighSchoolGeometry.orthogonalite]
alignes_non_orthogonal [in HighSchoolGeometry.orthogonalite]
alignes_distance_negatif_colineaire [in HighSchoolGeometry.angles_vecteurs]
alignes_distance_positif_colineaire [in HighSchoolGeometry.angles_vecteurs]
alignes_non_alignes_trans4 [in HighSchoolGeometry.alignement]
alignes_non_alignes_trans3 [in HighSchoolGeometry.alignement]
alignes_non_alignes_trans2 [in HighSchoolGeometry.alignement]
alignes_non_alignes_trans [in HighSchoolGeometry.alignement]
alignes_trans2 [in HighSchoolGeometry.alignement]
alignes_trans [in HighSchoolGeometry.alignement]
alignes_ordre_cycle3 [in HighSchoolGeometry.alignement]
alignes_ordre_cycle2 [in HighSchoolGeometry.alignement]
alignes_ordre_permute [in HighSchoolGeometry.alignement]
alignes_ordre_cycle [in HighSchoolGeometry.alignement]
alignes_trivial3 [in HighSchoolGeometry.alignement]
alignes_trivial2 [in HighSchoolGeometry.alignement]
alignes_trivial [in HighSchoolGeometry.alignement]
alignes_paralleles_confondus [in HighSchoolGeometry.parallelisme_concours]
alignes_paralleles [in HighSchoolGeometry.parallelisme_concours]
alignes_droite2 [in HighSchoolGeometry.parallelisme_concours]
alignes_angle [in HighSchoolGeometry.angles_droites]
alignes_barycentre [in HighSchoolGeometry.barycentre]
alignes_milieu [in HighSchoolGeometry.milieu]
alignes_representant_unitaire [in HighSchoolGeometry.representant_unitaire]
alignes_diametre [in HighSchoolGeometry.cercle]
alignes1_colineaire [in HighSchoolGeometry.alignement]
Al_Kashi [in HighSchoolGeometry.metrique_triangle]
Al_Kashi_Cos [in HighSchoolGeometry.metrique_triangle]
AMField [in HighSchoolGeometry.Field_affine]
angles_milieu2 [in HighSchoolGeometry.angles_vecteurs]
angles_milieu [in HighSchoolGeometry.angles_vecteurs]
angles_complementaires_triangle_rectangle [in HighSchoolGeometry.angles_vecteurs]
angles_droites_droites_orthogonales [in HighSchoolGeometry.angles_droites]
angles_droites_orthogonales [in HighSchoolGeometry.angles_droites]
angles_orthogonal [in HighSchoolGeometry.angles_droites]
angles_droites_paralleles [in HighSchoolGeometry.angles_droites]
angles_et_paralleles [in HighSchoolGeometry.angles_droites]
angles_et_colinearite [in HighSchoolGeometry.angles_droites]
angles_droites_colinearite [in HighSchoolGeometry.angles_droites]
angle_vecteurs_arguments [in HighSchoolGeometry.complexes_similitudes]
angle_argument [in HighSchoolGeometry.complexes_dilatations]
angle_pi_negatif_colineaire [in HighSchoolGeometry.angles_vecteurs]
angle_nul_positif_colineaire [in HighSchoolGeometry.angles_vecteurs]
angle_produit_positif_l [in HighSchoolGeometry.angles_vecteurs]
angle_produit_positif_r2 [in HighSchoolGeometry.angles_vecteurs]
angle_produit_negatif_l [in HighSchoolGeometry.angles_vecteurs]
angle_produit_negatif_r2 [in HighSchoolGeometry.angles_vecteurs]
angle_produit_negatif_r [in HighSchoolGeometry.angles_vecteurs]
angle_produit_positif_r [in HighSchoolGeometry.angles_vecteurs]
angle_triangle [in HighSchoolGeometry.angles_vecteurs]
angle_oppu_oppv [in HighSchoolGeometry.angles_vecteurs]
angle_nul [in HighSchoolGeometry.angles_vecteurs]
angle_inscrit2 [in HighSchoolGeometry.cocyclicite]
angle_inscrit [in HighSchoolGeometry.cocyclicite]
angle_non_alignes [in HighSchoolGeometry.angles_droites]
angle_non_paralleles [in HighSchoolGeometry.angles_droites]
angle_droites_paralleles [in HighSchoolGeometry.angles_droites]
angle_alignes [in HighSchoolGeometry.angles_droites]
argument_affixe_produit_negatif_vecteur [in HighSchoolGeometry.complexes_dilatations]
argument_affixe_produit_positif_vecteur [in HighSchoolGeometry.complexes_dilatations]
argument_affixe_produit_negatif_vecteur_OM [in HighSchoolGeometry.complexes_dilatations]
argument_affixe_produit_positif_vecteur_OM [in HighSchoolGeometry.complexes_dilatations]
argument_reel_neg [in HighSchoolGeometry.formes_complexes]
argument_reel_pos [in HighSchoolGeometry.formes_complexes]
argument_opp_un [in HighSchoolGeometry.formes_complexes]
argument_i [in HighSchoolGeometry.formes_complexes]
argument_oneC [in HighSchoolGeometry.formes_complexes]
argument_def2 [in HighSchoolGeometry.formes_complexes]
argument_Conj2 [in HighSchoolGeometry.complexes_conjugaison]
argument_Conj [in HighSchoolGeometry.complexes_conjugaison]
argument_affixe_inversion_positif_conjugue [in HighSchoolGeometry.complexes_inversion]
argument_affixe_inversion_pole_negatif [in HighSchoolGeometry.complexes_inversion]
argument_affixe_inversion_pole_positif [in HighSchoolGeometry.complexes_inversion]
argument_quotient [in HighSchoolGeometry.operations_complexes]
argument_difference [in HighSchoolGeometry.operations_complexes]
argument_module_un [in HighSchoolGeometry.operations_complexes]
auto_cercles_tangents [in HighSchoolGeometry.contact]
aux [in HighSchoolGeometry.orthocentre]
aux_negatif [in HighSchoolGeometry.complexes_inversion]
aux_positif [in HighSchoolGeometry.complexes_inversion]
aux_Rpos [in HighSchoolGeometry.contact]
axe_reflexion_bissectrice [in HighSchoolGeometry.reflexion_plane]
axe_reflexion_droite [in HighSchoolGeometry.reflexion_plane]
a_oneC_translation [in HighSchoolGeometry.complexes_transformations]
B
barycentre_mes_alg [in HighSchoolGeometry.mesure_algebrique]barycentre_concours [in HighSchoolGeometry.parallelisme_concours]
barycentre_alignes [in HighSchoolGeometry.barycentre]
barycentre_zero [in HighSchoolGeometry.barycentre]
bary_assoc [in HighSchoolGeometry.barycentre]
C
calcul [in HighSchoolGeometry.vecteur]calcul_Cos_Sin [in HighSchoolGeometry.trigo]
calcul_cos_sin [in HighSchoolGeometry.trigo]
calcul_distance_droite [in HighSchoolGeometry.determinant]
caracterisation_cercle_diametre [in HighSchoolGeometry.complements_cercle]
caract_milieu_parallelogramme [in HighSchoolGeometry.affine_classiques]
caract_representant_unitaire [in HighSchoolGeometry.distance_euclidienne]
carre_scalaire_1_distance [in HighSchoolGeometry.distance_euclidienne]
carre_scalaire_egalite_distance [in HighSchoolGeometry.distance_euclidienne]
carre_egalite_distance [in HighSchoolGeometry.distance_euclidienne]
carre_scalaire_distance [in HighSchoolGeometry.distance_euclidienne]
carre_scalaire_somme [in HighSchoolGeometry.euclidien_classiques]
carre_module [in HighSchoolGeometry.complexes_inversion]
cartvec_AB [in HighSchoolGeometry.repere_plan]
cart_point_complexe2 [in HighSchoolGeometry.complexes]
car_image_forme_algebrique [in HighSchoolGeometry.formes_complexes]
cas_degenere_alignes1 [in HighSchoolGeometry.alignement]
cas_general_deplacement_similitude [in HighSchoolGeometry.complexes_transformations]
cas_a_nonzero_nonone [in HighSchoolGeometry.complexes_transformations]
cas_a_reel_homothetie [in HighSchoolGeometry.complexes_transformations]
cas_egalite_triangle_indirect [in HighSchoolGeometry.metrique_triangle]
cas_egalite_triangle [in HighSchoolGeometry.metrique_triangle]
Cdiv_argument [in HighSchoolGeometry.operations_complexes]
Cdiv_module [in HighSchoolGeometry.operations_complexes]
centre_gravite_prop_vecteur [in HighSchoolGeometry.droite_Euler]
centre_circonscrit_triangle_homothetique [in HighSchoolGeometry.homoth_Euler]
centre_gravite_intersection_trois_medianes [in HighSchoolGeometry.parallelisme_concours]
centre_gravite_intersection_medianes [in HighSchoolGeometry.parallelisme_concours]
centre_circonscrit_rectangle_milieu [in HighSchoolGeometry.applications_cocyclicite]
centre_gravite_coplanaire [in HighSchoolGeometry.exercice_espace]
centre_gravite_mediane_vecteur [in HighSchoolGeometry.milieu]
centre_gravite_ordre_permute [in HighSchoolGeometry.milieu]
centre_gravite_ordre_cycle2 [in HighSchoolGeometry.milieu]
centre_gravite_ordre_cycle [in HighSchoolGeometry.milieu]
centre_gravite_homothetie [in HighSchoolGeometry.homothetie_plane]
cercles_tangents_contact_unique [in HighSchoolGeometry.contact]
cercles_tangents_tangente_commune [in HighSchoolGeometry.contact]
cercles_concentriques_tangents_egaux [in HighSchoolGeometry.contact]
cercle_diametre_equation [in HighSchoolGeometry.equations_cercles]
cercle_equation [in HighSchoolGeometry.equations_cercles]
cercle_neuf_points [in HighSchoolGeometry.homoth_Euler]
cercle_tangente_inversion_homothetie [in HighSchoolGeometry.inversion]
cercle_inversion_homothetie [in HighSchoolGeometry.inversion]
cercle_diametre_degenere [in HighSchoolGeometry.cercle]
cercle_trivial [in HighSchoolGeometry.cercle]
cercle_diametre_trivial2 [in HighSchoolGeometry.cercle]
cercle_diametre_trivial [in HighSchoolGeometry.cercle]
cercle_diametre_permute [in HighSchoolGeometry.cercle]
cercle_isocele [in HighSchoolGeometry.cercle]
changement_diametre [in HighSchoolGeometry.complements_cercle]
Chasles_mes_alg [in HighSchoolGeometry.mesure_algebrique]
Chasles_diff [in HighSchoolGeometry.angles_vecteurs]
Chasles_vec [in HighSchoolGeometry.vecteur]
Cintegre [in HighSchoolGeometry.operations_complexes]
Cinv_algebrique [in HighSchoolGeometry.complexes_inversion]
Cinv_Conj [in HighSchoolGeometry.complexes_inversion]
Cinv_Cmult [in HighSchoolGeometry.complexes_inversion]
Cinv_Copp [in HighSchoolGeometry.complexes_inversion]
Cinv_argument [in HighSchoolGeometry.operations_complexes]
Cinv_module [in HighSchoolGeometry.operations_complexes]
Cinv_l [in HighSchoolGeometry.operations_complexes]
circonscrit_ordre_permute [in HighSchoolGeometry.applications_cocyclicite]
circonscrit_trans [in HighSchoolGeometry.applications_cocyclicite]
circonscrit_mediatrice [in HighSchoolGeometry.cocyclicite]
circonscrit_triangle_non_point [in HighSchoolGeometry.cocyclicite]
circonscrit_diametre [in HighSchoolGeometry.cercle]
circonscrit_distinct3 [in HighSchoolGeometry.cercle]
circonscrit_distinct2 [in HighSchoolGeometry.cercle]
circonscrit_distinct1 [in HighSchoolGeometry.cercle]
circonscrit_permute [in HighSchoolGeometry.cercle]
circonscrit_isocele [in HighSchoolGeometry.cercle]
Cmult_Rinj_algebrique [in HighSchoolGeometry.complexes_inversion]
Cmult_distributive_r [in HighSchoolGeometry.operations_complexes]
Cmult_oneC_z [in HighSchoolGeometry.operations_complexes]
Cmult_distributive [in HighSchoolGeometry.operations_complexes]
Cmult_algebrique [in HighSchoolGeometry.operations_complexes]
Cmult_z_oneC [in HighSchoolGeometry.operations_complexes]
Cmult_associative [in HighSchoolGeometry.operations_complexes]
Cmult_commutative [in HighSchoolGeometry.operations_complexes]
Cmult_z_z' [in HighSchoolGeometry.operations_complexes]
Cmult_z_zeroC [in HighSchoolGeometry.operations_complexes]
Cmult_zeroC_z [in HighSchoolGeometry.operations_complexes]
cocyclicite [in HighSchoolGeometry.cocyclicite]
cocyclicite_cercle_diametre [in HighSchoolGeometry.complements_cercle]
cocyclicite2 [in HighSchoolGeometry.applications_cocyclicite]
cocyclicite3 [in HighSchoolGeometry.applications_cocyclicite]
cocyclicite4 [in HighSchoolGeometry.applications_cocyclicite]
cocyclicite5 [in HighSchoolGeometry.applications_cocyclicite]
cocyclicite6 [in HighSchoolGeometry.applications_cocyclicite]
cocycliques_ordre_permute [in HighSchoolGeometry.applications_cocyclicite]
cocycliques_ordre_cycle2 [in HighSchoolGeometry.applications_cocyclicite]
cocycliques_ordre_cycle [in HighSchoolGeometry.applications_cocyclicite]
cocycliques_trivial [in HighSchoolGeometry.cocyclicite]
cocycliques_existence_diametre [in HighSchoolGeometry.complements_cercle]
colineaires_paralleles [in HighSchoolGeometry.parallelisme_concours]
colineaire_mes_alg_conf [in HighSchoolGeometry.mesure_algebrique]
colineaire_alignes [in HighSchoolGeometry.alignement]
colineaire_alignes1 [in HighSchoolGeometry.alignement]
colineaire_barycentre [in HighSchoolGeometry.barycentre]
colinearite_distance [in HighSchoolGeometry.distance_euclidienne]
complexe_similitude [in HighSchoolGeometry.complexes_similitudes]
complexe_rotation [in HighSchoolGeometry.complexes_similitudes]
complexe_rotation_centre_origine [in HighSchoolGeometry.complexes_similitudes]
complexe_homothetie [in HighSchoolGeometry.complexes_dilatations]
complexe_translation [in HighSchoolGeometry.complexes_dilatations]
complexe_cart_point2 [in HighSchoolGeometry.complexes]
complexe_pol_argument [in HighSchoolGeometry.formes_complexes]
complexe_pol_module [in HighSchoolGeometry.formes_complexes]
complexe_iso_rec_dir [in HighSchoolGeometry.complexes_exercice]
complexe_inversion [in HighSchoolGeometry.complexes_inversion]
complexe_inversion_pole_origine [in HighSchoolGeometry.complexes_inversion]
composantes_vecAB [in HighSchoolGeometry.repere_plan]
composantes_vecteur [in HighSchoolGeometry.repere_plan]
composantes_projete_orthogonal [in HighSchoolGeometry.complexes_conjugaison]
composee_rotation_translation [in HighSchoolGeometry.composee_translation_rotation]
composee_translation_rotation [in HighSchoolGeometry.composee_translation_rotation]
composee_reflexions_axes_secants [in HighSchoolGeometry.composee_reflexions]
composee_reflexions_axes_paralleles [in HighSchoolGeometry.composee_reflexions]
composee_rotations_meme_centre [in HighSchoolGeometry.rotation_plane]
composee_homothetie_pos_rotation [in HighSchoolGeometry.similitudes_directes]
composee_rotation_homothetie_pos [in HighSchoolGeometry.similitudes_directes]
composee_translation_homothetie_exists [in HighSchoolGeometry.composee_dilatations]
composee_translation_homothetie [in HighSchoolGeometry.composee_dilatations]
composee_homothetie_translation_exists [in HighSchoolGeometry.composee_dilatations]
composee_homothetie_translation [in HighSchoolGeometry.composee_dilatations]
composee_rotation_IJ_rotation [in HighSchoolGeometry.composee_transformations]
composee_rotation_IJ_translation [in HighSchoolGeometry.composee_transformations]
composition_translation [in HighSchoolGeometry.composee_dilatations]
compo_homothetie_IJ_non1_exists [in HighSchoolGeometry.composee_dilatations]
compo_homothetie_IJ_non1 [in HighSchoolGeometry.composee_dilatations]
compo_homothetie_IJ_1_exists [in HighSchoolGeometry.composee_dilatations]
compo_homothetie_IJ_1 [in HighSchoolGeometry.composee_dilatations]
compo_homothetie_IJ [in HighSchoolGeometry.composee_dilatations]
compo_homothetie_I [in HighSchoolGeometry.composee_dilatations]
compo_transl [in HighSchoolGeometry.composee_dilatations]
concours_3_barycentre [in HighSchoolGeometry.parallelisme_concours]
concours_3_mediane [in HighSchoolGeometry.parallelisme_concours]
concours_mediane [in HighSchoolGeometry.parallelisme_concours]
concours_barycentre [in HighSchoolGeometry.parallelisme_concours]
concours_non_paralleles [in HighSchoolGeometry.parallelisme_concours]
concours_unique [in HighSchoolGeometry.barycentre]
concours_sym [in HighSchoolGeometry.Droite_espace]
concours_coplanaires [in HighSchoolGeometry.Droite_espace]
conjugaison_reflexion [in HighSchoolGeometry.complexes_conjugaison]
Conj_Cdiv [in HighSchoolGeometry.complexes_conjugaison]
Conj_Cinv [in HighSchoolGeometry.complexes_conjugaison]
Conj_i [in HighSchoolGeometry.complexes_conjugaison]
Conj_reel [in HighSchoolGeometry.complexes_conjugaison]
Conj_oneC [in HighSchoolGeometry.complexes_conjugaison]
Conj_zeroC [in HighSchoolGeometry.complexes_conjugaison]
Conj_produit [in HighSchoolGeometry.complexes_conjugaison]
Conj_somme [in HighSchoolGeometry.complexes_conjugaison]
Conj_Conj [in HighSchoolGeometry.complexes_conjugaison]
Conj_algebrique [in HighSchoolGeometry.complexes_conjugaison]
Conj_Cinv [in HighSchoolGeometry.complexes_inversion]
Conj_Copp [in HighSchoolGeometry.complexes_inversion]
cons_comp [in HighSchoolGeometry.Field_affine]
conversion_PP [in HighSchoolGeometry.vecteur]
coordonnees_scalaire_base [in HighSchoolGeometry.repere_ortho_plan]
coordonnees_affixe [in HighSchoolGeometry.formes_complexes]
coordonnees_Cos_Sin [in HighSchoolGeometry.trigo]
coordonnees_polaires_cartesiennes [in HighSchoolGeometry.trigo]
coordonnees_cos_sin [in HighSchoolGeometry.trigo]
coplanaires_trivial3 [in HighSchoolGeometry.coplanarite]
coplanaires_trivial2 [in HighSchoolGeometry.coplanarite]
coplanaires_trivial [in HighSchoolGeometry.coplanarite]
coplanaires1_vecteur_def [in HighSchoolGeometry.coplanarite]
coplanaire_trans [in HighSchoolGeometry.coplanarite]
coplanaire_ordre_cycle [in HighSchoolGeometry.coplanarite]
coplanaire_ordre_permute [in HighSchoolGeometry.coplanarite]
Copp_non_zeroC [in HighSchoolGeometry.complexes_inversion]
Copp_Cmult [in HighSchoolGeometry.complexes_inversion]
Copp_algebrique [in HighSchoolGeometry.operations_complexes]
cos_som [in HighSchoolGeometry.trigo]
cos_diff [in HighSchoolGeometry.trigo]
cos_pi [in HighSchoolGeometry.trigo]
cos_pisurdeux [in HighSchoolGeometry.trigo]
cos_zero [in HighSchoolGeometry.trigo]
cos_sin_pisurdeux_moins_x [in HighSchoolGeometry.trigo]
cos_periodique [in HighSchoolGeometry.trigo]
cos_paire [in HighSchoolGeometry.trigo]
cos_deux_mes [in HighSchoolGeometry.trigo]
couple_vecteurs_coplanaires [in HighSchoolGeometry.Plans_paralleles]
couple_colineaires_parallelogramme [in HighSchoolGeometry.barycentre]
Cplus_zeroC_z [in HighSchoolGeometry.operations_complexes]
Cplus_z_oppz [in HighSchoolGeometry.operations_complexes]
Cplus_associative [in HighSchoolGeometry.operations_complexes]
Cplus_z_zeroC [in HighSchoolGeometry.operations_complexes]
Cplus_commutative [in HighSchoolGeometry.operations_complexes]
Cplus_algebrique [in HighSchoolGeometry.operations_complexes]
CTheory [in HighSchoolGeometry.operations_complexes]
D
definition_inversion [in HighSchoolGeometry.inversion]def_zero [in HighSchoolGeometry.Field_affine]
def_mult_PP [in HighSchoolGeometry.Field_affine]
def_vecteur_bary_rec [in HighSchoolGeometry.barycentre]
def_vecteur_bary [in HighSchoolGeometry.barycentre]
def_sqrt [in HighSchoolGeometry.Rutile]
demi_longueur [in HighSchoolGeometry.euclidien_classiques]
Desargues [in HighSchoolGeometry.affine_classiques]
determinant_aire_triangle [in HighSchoolGeometry.determinant]
determinant_ordre_cycle [in HighSchoolGeometry.determinant]
determinant_distrib_l [in HighSchoolGeometry.determinant]
determinant_colineaire_l [in HighSchoolGeometry.determinant]
determinant_nul_alignement [in HighSchoolGeometry.determinant]
determinant_nul_colinearite [in HighSchoolGeometry.determinant]
determinant_colinearite [in HighSchoolGeometry.determinant]
determinant_antisymetrique [in HighSchoolGeometry.determinant]
determinant_aire [in HighSchoolGeometry.determinant]
deux_hauteurs_trois [in HighSchoolGeometry.orthocentre]
deux_mes_angle_rotation [in HighSchoolGeometry.rotation_plane]
deux_milieux_tetraedre [in HighSchoolGeometry.exercice_espace]
deux_isocele_rectangle_direct [in HighSchoolGeometry.complexes_exercice]
deux_iso_rec_dir_complexe [in HighSchoolGeometry.complexes_exercice]
deux_milieux_distincts [in HighSchoolGeometry.milieu]
deux_demi_a [in HighSchoolGeometry.Rutile]
deux_demi [in HighSchoolGeometry.Rutile]
diagonales_carre [in HighSchoolGeometry.exercice_espace]
diametre_rectangle [in HighSchoolGeometry.isocele]
diametre_circonscrit_centre [in HighSchoolGeometry.complements_cercle]
difference_Pythagore [in HighSchoolGeometry.euclidien_classiques]
diff_nonzero [in HighSchoolGeometry.operations_complexes]
distance_nulle [in HighSchoolGeometry.produit_scalaire]
distance_non_nulle [in HighSchoolGeometry.produit_scalaire]
distance_coordonnees [in HighSchoolGeometry.repere_ortho_plan]
distance_1_carre_scalaire [in HighSchoolGeometry.distance_euclidienne]
distance_1_representant [in HighSchoolGeometry.distance_euclidienne]
distance_carre [in HighSchoolGeometry.distance_euclidienne]
distance_vecteur [in HighSchoolGeometry.distance_euclidienne]
distance_refl2 [in HighSchoolGeometry.distance_euclidienne]
distance_refl1 [in HighSchoolGeometry.distance_euclidienne]
distance_refl [in HighSchoolGeometry.distance_euclidienne]
distance_sym [in HighSchoolGeometry.distance_euclidienne]
distance_pos [in HighSchoolGeometry.distance_euclidienne]
distance_similitude [in HighSchoolGeometry.similitudes_directes]
distance_homothetie [in HighSchoolGeometry.homothetie_plane]
distincts_dist_non_nulle [in HighSchoolGeometry.distance_euclidienne]
distinct_col_nonun [in HighSchoolGeometry.vecteur]
distinct_col_nonzero [in HighSchoolGeometry.vecteur]
distinct_egalite_vecteur [in HighSchoolGeometry.vecteur]
distinct_produit_vecteur [in HighSchoolGeometry.vecteur]
distinct_mult_vecteur [in HighSchoolGeometry.barycentre]
distrib_mult_cons [in HighSchoolGeometry.Field_affine]
distrib_mult_PP [in HighSchoolGeometry.Field_affine]
distrib_mult_vec [in HighSchoolGeometry.vecteur]
dist_non_nulle [in HighSchoolGeometry.distance_euclidienne]
double_opp [in HighSchoolGeometry.angles_droites]
double_Chasles [in HighSchoolGeometry.angles_droites]
double_zero [in HighSchoolGeometry.Rutile]
droites_coplanaires [in HighSchoolGeometry.Droite_plan_espace]
droites_non_paralleles [in HighSchoolGeometry.Droite_espace]
droite_Euler [in HighSchoolGeometry.droite_Euler]
droite_Euler_fort [in HighSchoolGeometry.droite_Euler]
droite_Simson [in HighSchoolGeometry.applications_cocyclicite]
droite_milieu [in HighSchoolGeometry.milieu]
duplication_sin [in HighSchoolGeometry.trigo]
duplication_cos2 [in HighSchoolGeometry.trigo]
duplication_cos [in HighSchoolGeometry.trigo]
E
ecriture_complexe_inversion [in HighSchoolGeometry.complexes_inversion]ecriture_complexe_inversion_pole_origine [in HighSchoolGeometry.complexes_inversion]
egalite_point_zeroC [in HighSchoolGeometry.complexes_dilatations]
egalite_affixe_vecteur [in HighSchoolGeometry.complexes_dilatations]
egalite_affixe_vecteur_OM [in HighSchoolGeometry.complexes_dilatations]
egalite_vecteur_image [in HighSchoolGeometry.complexes_dilatations]
egalite_vecteur_OM_image [in HighSchoolGeometry.complexes_dilatations]
egalite_affixe [in HighSchoolGeometry.complexes]
egalite_affixe_point [in HighSchoolGeometry.complexes]
egalite_point_image [in HighSchoolGeometry.complexes]
egalite_scalaire_alignes [in HighSchoolGeometry.produit_scalaire]
egalite_cart_pol [in HighSchoolGeometry.formes_complexes]
egalite_forme_polaire [in HighSchoolGeometry.formes_complexes]
egalite_vecteur_distance [in HighSchoolGeometry.distance_euclidienne]
egalite_angles_droites [in HighSchoolGeometry.angles_droites]
egalite_sin_Sin [in HighSchoolGeometry.trigo]
egalite_cos_Cos [in HighSchoolGeometry.trigo]
egalite_scalaire_deux_projetes [in HighSchoolGeometry.euclidien_classiques]
egalite_vecteur_point [in HighSchoolGeometry.vecteur]
egalite_vecteur [in HighSchoolGeometry.vecteur]
egalite_puissance_cocycliques [in HighSchoolGeometry.puissance_cercle]
egalite_vecteur_milieu [in HighSchoolGeometry.milieu]
egalite_representant_unitaire [in HighSchoolGeometry.representant_unitaire]
equation_k_cercle [in HighSchoolGeometry.equations_cercles]
equation_cercle_diametre [in HighSchoolGeometry.equations_cercles]
equation_tangente_cercle [in HighSchoolGeometry.equations_cercles]
equation_generale_cercle [in HighSchoolGeometry.equations_cercles]
equation_cartesienne_cercle [in HighSchoolGeometry.equations_cercles]
equation_cartesienne_orthogonal [in HighSchoolGeometry.equations_droites]
equation_droite_orthogonal [in HighSchoolGeometry.equations_droites]
equation_cartesienne_alignes [in HighSchoolGeometry.equations_droites]
equation_droite_parallele [in HighSchoolGeometry.equations_droites]
equation_solution [in HighSchoolGeometry.complexes_transformations]
equation_equiv2 [in HighSchoolGeometry.complexes_transformations]
equation_equiv [in HighSchoolGeometry.complexes_transformations]
equilateral_non_alignes [in HighSchoolGeometry.exercice_espace]
exercice [in HighSchoolGeometry.exercice_espace]
exercice_cube [in HighSchoolGeometry.exercice_espace]
existence_mediatrice [in HighSchoolGeometry.mediatrice]
existence_parties_relles_imaginaires [in HighSchoolGeometry.complexes]
existence_affixe_vecteur_point [in HighSchoolGeometry.complexes]
existence_image_vecteur_complexe [in HighSchoolGeometry.complexes]
existence_intersection_deux_hauteurs_triangle [in HighSchoolGeometry.orthocentre]
existence_reflexion_AB [in HighSchoolGeometry.reflexion_plane]
existence_mes_algebrique [in HighSchoolGeometry.mesure_algebrique]
existence_vec_normal [in HighSchoolGeometry.equations_droites]
existence_vec_directeur [in HighSchoolGeometry.equations_droites]
existence_representant_angle [in HighSchoolGeometry.angles_vecteurs]
existence_point_droite [in HighSchoolGeometry.alignement]
existence_rotation_Ia [in HighSchoolGeometry.rotation_plane]
existence_perpendiculaire [in HighSchoolGeometry.projection_orthogonale]
existence_projete_orthogonal [in HighSchoolGeometry.projection_orthogonale]
existence_forme_polaire [in HighSchoolGeometry.formes_complexes]
existence_argument [in HighSchoolGeometry.formes_complexes]
existence_module [in HighSchoolGeometry.formes_complexes]
existence_coordonnees [in HighSchoolGeometry.repere_plan]
existence_pt_intersection [in HighSchoolGeometry.parallelisme_concours]
existence_cercle_circonscrit_diametre [in HighSchoolGeometry.cocyclicite]
existence_cercle_circonscrit [in HighSchoolGeometry.cocyclicite]
existence_symetrique_milieu [in HighSchoolGeometry.dilatations]
existence_symetrique [in HighSchoolGeometry.dilatations]
existence_homothetique [in HighSchoolGeometry.dilatations]
existence_point_fixe_g [in HighSchoolGeometry.complexes_transformations]
existence_point_fixe_complexe [in HighSchoolGeometry.complexes_transformations]
existence_solution_equation [in HighSchoolGeometry.complexes_transformations]
existence_inversion [in HighSchoolGeometry.inversion]
existence_orthogonal [in HighSchoolGeometry.angles_droites]
existence_ROND_AB [in HighSchoolGeometry.trigo]
existence_distance_droite [in HighSchoolGeometry.euclidien_classiques]
existence_similitude_Ika [in HighSchoolGeometry.similitudes_directes]
existence_representant_comb_lin_vecteur [in HighSchoolGeometry.barycentre]
existence_representant_som_vecteur [in HighSchoolGeometry.barycentre]
existence_representant_mult_vecteur [in HighSchoolGeometry.barycentre]
existence_representant_vecteur [in HighSchoolGeometry.barycentre]
existence_intersection_droite_cercle_centre [in HighSchoolGeometry.contact]
existence_milieu [in HighSchoolGeometry.milieu]
existence_representant_unitaire [in HighSchoolGeometry.representant_unitaire]
existence_unitaire [in HighSchoolGeometry.representant_unitaire]
existence_point_cercle [in HighSchoolGeometry.cercle]
existence_rayon_diametre [in HighSchoolGeometry.cercle]
existence_rayon [in HighSchoolGeometry.cercle]
existence_inverse [in HighSchoolGeometry.operations_complexes]
explicitation [in HighSchoolGeometry.complexes_transformations]
F
forme_pol_reel_neg [in HighSchoolGeometry.formes_complexes]forme_pol_reel_pos [in HighSchoolGeometry.formes_complexes]
forme_polaire_opp_un [in HighSchoolGeometry.formes_complexes]
forme_polaire_i [in HighSchoolGeometry.formes_complexes]
forme_polaire_oneC [in HighSchoolGeometry.formes_complexes]
forme_polaire_Conj [in HighSchoolGeometry.complexes_conjugaison]
f_fonction_transforme [in HighSchoolGeometry.complexes_transformations]
H
hauteur_isocele_mediane [in HighSchoolGeometry.isocele]homogene_barycentre [in HighSchoolGeometry.barycentre]
homothetie_intersection [in HighSchoolGeometry.dilatations]
homothetie_paralleles [in HighSchoolGeometry.dilatations]
homothetie_alignement [in HighSchoolGeometry.dilatations]
homothetie_inverse [in HighSchoolGeometry.dilatations]
homothetie_droite [in HighSchoolGeometry.dilatations]
homothetie_milieu [in HighSchoolGeometry.dilatations]
homothetie_bipoint [in HighSchoolGeometry.dilatations]
homothetie_vecteur [in HighSchoolGeometry.dilatations]
homothetie_centre [in HighSchoolGeometry.dilatations]
homothetie_identite [in HighSchoolGeometry.dilatations]
homothetie_analytique [in HighSchoolGeometry.complexes_analytique]
homothetie_conserve_contact_cercle_cercle [in HighSchoolGeometry.transformations_contact]
homothetie_conserve_contact_cercle_droite [in HighSchoolGeometry.transformations_contact]
homothetie_conserve_orthogonalite [in HighSchoolGeometry.transformations_contact]
homothetie_inversion [in HighSchoolGeometry.inversion]
homothetie_cercle_diametre [in HighSchoolGeometry.complements_cercle]
homothetie_neg2 [in HighSchoolGeometry.similitudes_directes]
homothetie_neg [in HighSchoolGeometry.similitudes_directes]
homothetie_cercle [in HighSchoolGeometry.homothetie_plane]
homothetie_mediatrice_hauteur [in HighSchoolGeometry.homothetie_plane]
homothetie_conserve_angle [in HighSchoolGeometry.homothetie_plane]
homothetique_centre_circonscrit [in HighSchoolGeometry.homoth_Euler]
homothetique_orthocentre [in HighSchoolGeometry.homoth_Euler]
I
IJ_distincts [in HighSchoolGeometry.complexes]IJ_distincts [in HighSchoolGeometry.determinant]
image_affixe_vecteur [in HighSchoolGeometry.complexes]
image_bipoint_distinct [in HighSchoolGeometry.rotation_plane]
image_distinct_centre [in HighSchoolGeometry.rotation_plane]
image_forme_polaire [in HighSchoolGeometry.formes_complexes]
image_nonzero_nonorigine [in HighSchoolGeometry.formes_complexes]
image_zeroC [in HighSchoolGeometry.formes_complexes]
image_homothetie_distincts [in HighSchoolGeometry.dilatations]
image_translation_distincts [in HighSchoolGeometry.dilatations]
image_affixe [in HighSchoolGeometry.complexes_transformations]
image_distinct_pole [in HighSchoolGeometry.inversion]
image_sim_distinct_centre [in HighSchoolGeometry.similitudes_directes]
integre_not [in HighSchoolGeometry.Rutile]
intersection_deux_hauteurs_orthocentre_triangle [in HighSchoolGeometry.orthocentre]
intersection_cercle_droite [in HighSchoolGeometry.contact]
intersection_homothetie [in HighSchoolGeometry.homothetie_plane]
intersection2_cercle_droite [in HighSchoolGeometry.contact]
inversion_kPP [in HighSchoolGeometry.Field_affine]
inversion_pole_origine_analytique [in HighSchoolGeometry.complexes_analytique]
inversion_cercle_non_pole [in HighSchoolGeometry.inversion]
inversion_droite_non_pole [in HighSchoolGeometry.inversion]
inversion_cercle_diametre_pole [in HighSchoolGeometry.inversion]
inversion_cocyclicite [in HighSchoolGeometry.inversion]
inversion_oppose_puissance [in HighSchoolGeometry.inversion]
inversion_pole_vecteur [in HighSchoolGeometry.inversion]
inversion_est_homothetie [in HighSchoolGeometry.inversion]
inversion_homothetie [in HighSchoolGeometry.inversion]
inversion_droite_pole [in HighSchoolGeometry.inversion]
inversion_involution [in HighSchoolGeometry.inversion]
inversion_complexe [in HighSchoolGeometry.complexes_inversion]
inversion_pole_origine_complexe [in HighSchoolGeometry.complexes_inversion]
inversion_negatif_complexe [in HighSchoolGeometry.complexes_inversion]
inversion_positif_complexe [in HighSchoolGeometry.complexes_inversion]
inversion_origine_module [in HighSchoolGeometry.complexes_inversion]
inversion_colineaire [in HighSchoolGeometry.vecteur]
inversion_sqr [in HighSchoolGeometry.Rutile]
inv_nonzero [in HighSchoolGeometry.operations_complexes]
isocele_angles_base [in HighSchoolGeometry.isocele]
isocele_mediane_bissectrice [in HighSchoolGeometry.isocele]
isocele_mediatrice [in HighSchoolGeometry.isocele]
isocele_permute [in HighSchoolGeometry.isocele]
isocele_cercle [in HighSchoolGeometry.cercle]
isometrie_egalite_module [in HighSchoolGeometry.complexes_similitudes]
isometrie_distinct [in HighSchoolGeometry.distance_euclidienne]
iso_rec_dir_complexe [in HighSchoolGeometry.complexes_exercice]
iso_rec_dir_distinct [in HighSchoolGeometry.complexes_exercice]
i_nonzero [in HighSchoolGeometry.formes_complexes]
i_carre [in HighSchoolGeometry.operations_complexes]
K
k_positif_distance_centres [in HighSchoolGeometry.contact]k_positif_vecteur_centres [in HighSchoolGeometry.contact]
k_negatif_distance_centres [in HighSchoolGeometry.contact]
k_negatif_barycentre [in HighSchoolGeometry.contact]
L
ligne_niveau_MAMB_k [in HighSchoolGeometry.complements_cercle]ligne_niveau_MAMB_O [in HighSchoolGeometry.complements_cercle]
longueur_mediane [in HighSchoolGeometry.euclidien_classiques]
lR15 [in HighSchoolGeometry.Rutile]
lR20 [in HighSchoolGeometry.Rutile]
l1 [in HighSchoolGeometry.Field_affine]
l2 [in HighSchoolGeometry.Field_affine]
M
mediane [in HighSchoolGeometry.euclidien_classiques]mediane_isocele_hauteur [in HighSchoolGeometry.isocele]
mediane_hauteur_isocele [in HighSchoolGeometry.isocele]
mediatrices_triangle_concours [in HighSchoolGeometry.mediatrice]
mediatrices_reflexion [in HighSchoolGeometry.reflexion_plane]
mediatrice_droite [in HighSchoolGeometry.mediatrice]
mediatrice_milieu_angles [in HighSchoolGeometry.mediatrice]
mediatrice_distinct_extremite [in HighSchoolGeometry.mediatrice]
mediatrice_orthogonale_segment [in HighSchoolGeometry.mediatrice]
mediatrice_orthogonale_segment_milieu [in HighSchoolGeometry.mediatrice]
mediatrice_projete_milieu [in HighSchoolGeometry.mediatrice]
mediatrice_projete_orthogonal [in HighSchoolGeometry.mediatrice]
mediatrice_permute [in HighSchoolGeometry.mediatrice]
mediatrice_isocele [in HighSchoolGeometry.isocele]
mesure_mod_deuxpi [in HighSchoolGeometry.angles_vecteurs]
mes_alg_conf [in HighSchoolGeometry.mesure_algebrique]
mes_alg_nulle [in HighSchoolGeometry.mesure_algebrique]
mes_alg_BA [in HighSchoolGeometry.mesure_algebrique]
mes_opp_opp [in HighSchoolGeometry.angles_vecteurs]
mes_oppx [in HighSchoolGeometry.angles_vecteurs]
milieu_mediatrice [in HighSchoolGeometry.mediatrice]
milieu_sommet_orthocentre_cercle [in HighSchoolGeometry.homoth_Euler]
milieu_angles [in HighSchoolGeometry.angles_vecteurs]
milieu_centrecirconscrit_orthogonal_segment [in HighSchoolGeometry.cocyclicite]
milieu_symetrie [in HighSchoolGeometry.dilatations]
milieu_parallelogrammme_rec [in HighSchoolGeometry.affine_classiques]
milieu_parallelogrammme [in HighSchoolGeometry.affine_classiques]
milieu_distance [in HighSchoolGeometry.distance_euclidienne]
milieu_distinct2 [in HighSchoolGeometry.milieu]
milieu_distinct [in HighSchoolGeometry.milieu]
milieu_vecteur_double [in HighSchoolGeometry.milieu]
milieu_vecteur [in HighSchoolGeometry.milieu]
milieu_vecteur2 [in HighSchoolGeometry.milieu]
milieu_trivial [in HighSchoolGeometry.milieu]
milieu_permute [in HighSchoolGeometry.milieu]
Miquel [in HighSchoolGeometry.applications_cocyclicite]
module_affixe_produit_vecteur [in HighSchoolGeometry.complexes_dilatations]
module_affixe_produit_vecteur_OM [in HighSchoolGeometry.complexes_dilatations]
module_stric_pos [in HighSchoolGeometry.formes_complexes]
module_pos [in HighSchoolGeometry.formes_complexes]
module_reel_neg [in HighSchoolGeometry.formes_complexes]
module_reel_pos [in HighSchoolGeometry.formes_complexes]
module_reel [in HighSchoolGeometry.formes_complexes]
module_opp_un [in HighSchoolGeometry.formes_complexes]
module_i [in HighSchoolGeometry.formes_complexes]
module_oneC [in HighSchoolGeometry.formes_complexes]
module_non_zero [in HighSchoolGeometry.formes_complexes]
module_nul_zeroC [in HighSchoolGeometry.formes_complexes]
module_zeroC [in HighSchoolGeometry.formes_complexes]
module_def2 [in HighSchoolGeometry.formes_complexes]
module_Conj [in HighSchoolGeometry.complexes_conjugaison]
module_quotient [in HighSchoolGeometry.operations_complexes]
module_difference [in HighSchoolGeometry.operations_complexes]
module_un_trivial [in HighSchoolGeometry.operations_complexes]
module_un_nonzero [in HighSchoolGeometry.operations_complexes]
mult_PP_regulier [in HighSchoolGeometry.Field_affine]
mult_PP_0 [in HighSchoolGeometry.Field_affine]
mult_PP_1 [in HighSchoolGeometry.Field_affine]
mult_mult_vec [in HighSchoolGeometry.vecteur]
mult_1_vec [in HighSchoolGeometry.vecteur]
N
nonorigine_image_nonzero [in HighSchoolGeometry.formes_complexes]nonzero_diff [in HighSchoolGeometry.complexes_similitudes]
nonzero_module [in HighSchoolGeometry.formes_complexes]
nonzero_amoins_un [in HighSchoolGeometry.complexes_transformations]
nonzero_oppinvdeux [in HighSchoolGeometry.Rutile]
nonzero_oppinvtrois [in HighSchoolGeometry.Rutile]
nonzero_invtrois [in HighSchoolGeometry.Rutile]
nonzero_opptrois [in HighSchoolGeometry.Rutile]
nonzero_trois [in HighSchoolGeometry.Rutile]
nonzero_invdeux [in HighSchoolGeometry.Rutile]
nonzero_oppdeux [in HighSchoolGeometry.Rutile]
nonzero_deux [in HighSchoolGeometry.Rutile]
nonzero_oppun [in HighSchoolGeometry.Rutile]
nonzero_un [in HighSchoolGeometry.Rutile]
nonzero_produit [in HighSchoolGeometry.operations_complexes]
non_coplanaires_expl [in HighSchoolGeometry.coplanarite]
non_axe_image_non_axe [in HighSchoolGeometry.reflexion_plane]
non_orthogonal_def [in HighSchoolGeometry.orthogonalite]
non_alignes_ordre_cycle3 [in HighSchoolGeometry.alignement]
non_alignes_ordre_cycle2 [in HighSchoolGeometry.alignement]
non_alignes_ordre_cycle [in HighSchoolGeometry.alignement]
non_alignes_ordre_permute [in HighSchoolGeometry.alignement]
non_alignes_permute [in HighSchoolGeometry.alignement]
non_alignes_distincts3 [in HighSchoolGeometry.alignement]
non_alignes_distincts2 [in HighSchoolGeometry.alignement]
non_alignes_distincts [in HighSchoolGeometry.alignement]
non_alignes_expl [in HighSchoolGeometry.alignement]
non_paralleles_trans [in HighSchoolGeometry.parallelisme_concours]
non_zero_Conj [in HighSchoolGeometry.complexes_conjugaison]
non_disjoints_exists [in HighSchoolGeometry.Plan_espace]
non_alignes_angle [in HighSchoolGeometry.angles_droites]
non_produit_un [in HighSchoolGeometry.Rutile]
non_sqrt_zero [in HighSchoolGeometry.Rutile]
O
OIJ_repere [in HighSchoolGeometry.complexes]OIJ_repere_ortho [in HighSchoolGeometry.complexes]
OIJ_repere [in HighSchoolGeometry.determinant]
OIJ_repere_ortho [in HighSchoolGeometry.determinant]
OI_distincts [in HighSchoolGeometry.complexes]
OI_distincts [in HighSchoolGeometry.determinant]
OJ_distincts [in HighSchoolGeometry.complexes]
OJ_distincts [in HighSchoolGeometry.determinant]
oneC_nonzero [in HighSchoolGeometry.formes_complexes]
oppose_representant_unitaire [in HighSchoolGeometry.representant_unitaire]
opp_orthogonal6 [in HighSchoolGeometry.orthogonalite]
opp_orthogonal5 [in HighSchoolGeometry.orthogonalite]
opp_orthogonal4 [in HighSchoolGeometry.orthogonalite]
opp_orthogonal3 [in HighSchoolGeometry.orthogonalite]
opp_orthogonal2 [in HighSchoolGeometry.orthogonalite]
opp_orthogonal [in HighSchoolGeometry.orthogonalite]
opp_plus_plus_opp [in HighSchoolGeometry.angles_vecteurs]
opp_angle [in HighSchoolGeometry.angles_vecteurs]
opp_un_nonzero [in HighSchoolGeometry.formes_complexes]
opp_vecteur [in HighSchoolGeometry.vecteur]
opp_unite_aire [in HighSchoolGeometry.determinant]
opp_inv_demi_nonzero [in HighSchoolGeometry.Rutile]
ordre_alignement_4points [in HighSchoolGeometry.parallelisme_concours]
ordvec_ordonnee [in HighSchoolGeometry.repere_plan]
orthocentre_intersection_hauteurs [in HighSchoolGeometry.orthocentre]
orthocentre_triangle_rectangle [in HighSchoolGeometry.orthocentre]
orthocentre_permute [in HighSchoolGeometry.orthocentre]
orthocentre_ordre [in HighSchoolGeometry.orthocentre]
orthocentre_double [in HighSchoolGeometry.applications_cocyclicite]
orthogonales_toute_droite_orthogonaux [in HighSchoolGeometry.orthogonalite_espace]
orthogonales_2droites_secantes [in HighSchoolGeometry.orthogonalite_espace]
orthogonale_segment_milieu_mediatrice [in HighSchoolGeometry.mediatrice]
orthogonal_equation_cartesienne [in HighSchoolGeometry.equations_droites]
orthogonal_alignement2 [in HighSchoolGeometry.orthogonalite]
orthogonal_alignement [in HighSchoolGeometry.orthogonalite]
orthogonal_non_alignes [in HighSchoolGeometry.orthogonalite]
orthogonal_segment_milieu [in HighSchoolGeometry.orthogonalite]
orthogonal_milieu [in HighSchoolGeometry.orthogonalite]
orthogonal_colineaires [in HighSchoolGeometry.repere_ortho_plan]
orthogonal_paralleles [in HighSchoolGeometry.repere_ortho_plan]
orthogonal_pisurdeux_or [in HighSchoolGeometry.angles_vecteurs]
orthogonal_diametre_cercle [in HighSchoolGeometry.applications_cocyclicite]
orthogonal_angles [in HighSchoolGeometry.angles_droites]
orthogonal_distincts [in HighSchoolGeometry.metrique_triangle]
orthogonaux_perce [in HighSchoolGeometry.orthogonalite_espace]
orthogonaux_orthogonales_toute_droite [in HighSchoolGeometry.orthogonalite_espace]
orthonormal_non_alignes [in HighSchoolGeometry.repere_ortho_plan]
orthonormal_repere [in HighSchoolGeometry.repere_ortho_plan]
orthonormal_orthogonal [in HighSchoolGeometry.repere_ortho_plan]
ortho_sym [in HighSchoolGeometry.orthogonalite]
ortho_mult [in HighSchoolGeometry.orthogonalite]
ortho_combinaison_lineaire [in HighSchoolGeometry.orthogonalite]
ortho_somme [in HighSchoolGeometry.orthogonalite]
P
parallelepipede_parallelogramme [in HighSchoolGeometry.exercice_espace]paralleles_r_vec_normal [in HighSchoolGeometry.equations_droites]
paralleles_l_vec_normal [in HighSchoolGeometry.equations_droites]
paralleles_vec_directeur [in HighSchoolGeometry.equations_droites]
paralleles_orthogonal [in HighSchoolGeometry.orthogonalite]
paralleles_non_concours [in HighSchoolGeometry.parallelisme_concours]
paralleles_alignes3 [in HighSchoolGeometry.parallelisme_concours]
paralleles_alignes2 [in HighSchoolGeometry.parallelisme_concours]
paralleles_alignes1 [in HighSchoolGeometry.parallelisme_concours]
paralleles_alignes [in HighSchoolGeometry.parallelisme_concours]
paralleles_ABBA [in HighSchoolGeometry.parallelisme_concours]
paralleles_vecteur [in HighSchoolGeometry.parallelisme_concours]
paralleles_trans [in HighSchoolGeometry.parallelisme_concours]
paralleles_sym [in HighSchoolGeometry.parallelisme_concours]
paralleles_refl [in HighSchoolGeometry.parallelisme_concours]
paralleles_droites_plan_trans [in HighSchoolGeometry.Plans_paralleles]
paralleles_dilatations [in HighSchoolGeometry.dilatations]
paralleles_plan_droite_non_secants [in HighSchoolGeometry.Droite_plan_espace]
paralleles_droite_plan_coplanaires_incluse [in HighSchoolGeometry.Droite_plan_espace]
paralleles_droite_incluse [in HighSchoolGeometry.Droite_plan_espace]
paralleles_droites_plan [in HighSchoolGeometry.Droite_plan_espace]
paralleles_coplanaires [in HighSchoolGeometry.Droite_espace]
paralleles_homothetie [in HighSchoolGeometry.homothetie_plane]
parallelogramme_ordre_permute [in HighSchoolGeometry.vecteur]
parallelogramme_ordre_cycle [in HighSchoolGeometry.vecteur]
parallelogramme_non_concours [in HighSchoolGeometry.barycentre]
para_plan_trans [in HighSchoolGeometry.Plans_paralleles]
para_plan_sym [in HighSchoolGeometry.Plans_paralleles]
para_plan_refl [in HighSchoolGeometry.Plans_paralleles]
para_plan_dr_vecteur [in HighSchoolGeometry.Droite_plan_espace]
passage_algebrique_argument [in HighSchoolGeometry.formes_complexes]
passage_algebrique_module [in HighSchoolGeometry.formes_complexes]
passage_polaire_algebrique [in HighSchoolGeometry.formes_complexes]
permute_angles [in HighSchoolGeometry.angles_vecteurs]
permute_ordre_triangle [in HighSchoolGeometry.alignement]
permute_alignes [in HighSchoolGeometry.alignement]
permute_barycentre [in HighSchoolGeometry.barycentre]
perpendiculaires_orthogonales [in HighSchoolGeometry.orthogonalite_espace]
pied_hauteur_cercle [in HighSchoolGeometry.homoth_Euler]
pisurdeux_scalaire_nul [in HighSchoolGeometry.angles_vecteurs]
pisurdeux_plus_x [in HighSchoolGeometry.trigo]
pi_plus_pi [in HighSchoolGeometry.angles_vecteurs]
pi_plus_x [in HighSchoolGeometry.trigo]
pi_moins_x [in HighSchoolGeometry.trigo]
plans_paralleles_ou_droite_incluse2 [in HighSchoolGeometry.Plans_paralleles]
plans_paralleles_vecteurs [in HighSchoolGeometry.Plans_paralleles]
plans_paralleles_secants_droites_paralleles [in HighSchoolGeometry.Plan_espace]
plans_paralleles_droite [in HighSchoolGeometry.Plan_espace]
plus_angle_oppose [in HighSchoolGeometry.angles_vecteurs]
plus_associative [in HighSchoolGeometry.angles_vecteurs]
plus_angle_zero [in HighSchoolGeometry.angles_vecteurs]
plus_commutative [in HighSchoolGeometry.angles_vecteurs]
points_distincts_non_zeroC [in HighSchoolGeometry.complexes_dilatations]
points_plan_espace [in HighSchoolGeometry.Droite_plan_espace]
point_fixe_gf [in HighSchoolGeometry.complexes_transformations]
point_contact_cercles_tangents [in HighSchoolGeometry.contact]
point_contact_k_negatif [in HighSchoolGeometry.contact]
point_contact_k_positif [in HighSchoolGeometry.contact]
polaire_calcul_algebrique [in HighSchoolGeometry.formes_complexes]
polaire_non_nul [in HighSchoolGeometry.formes_complexes]
polaire_produit [in HighSchoolGeometry.operations_complexes]
pol_complexe_argument [in HighSchoolGeometry.formes_complexes]
pol_complexe_module [in HighSchoolGeometry.formes_complexes]
position_relative_droite_plan [in HighSchoolGeometry.Droite_plan_espace]
position_relative_plan_droite_paralleles [in HighSchoolGeometry.Droite_plan_espace]
position_relative_plans_non_disjoints [in HighSchoolGeometry.Plan_espace]
position_relative_plans_general [in HighSchoolGeometry.Plan_espace]
position_relative_plans_paralleles [in HighSchoolGeometry.Plan_espace]
position_relative_plans [in HighSchoolGeometry.Plan_espace]
position_relative_droites_coplanaires [in HighSchoolGeometry.Droite_espace]
position_relative_droites_espace [in HighSchoolGeometry.Droite_espace]
PP_0 [in HighSchoolGeometry.Field_affine]
produit_reel_affixe_vecteur [in HighSchoolGeometry.complexes_dilatations]
produit_reel_affixe_vecteur_OM [in HighSchoolGeometry.complexes_dilatations]
produit_vecteur_image [in HighSchoolGeometry.complexes_dilatations]
produit_longueur_absolu_Sin2 [in HighSchoolGeometry.aire_signee]
produit_longueur_absolu_Sin [in HighSchoolGeometry.aire_signee]
produit_distance_distinct [in HighSchoolGeometry.transformations_contact]
produit_scalaire_cosinus [in HighSchoolGeometry.metrique_triangle]
produit_scalaire_Cosinus [in HighSchoolGeometry.metrique_triangle]
produit_Conj_module [in HighSchoolGeometry.complexes_inversion]
produit_zero_conf [in HighSchoolGeometry.vecteur]
produit_vecteur_nul [in HighSchoolGeometry.vecteur]
produit_negatif_representant_unitaire [in HighSchoolGeometry.representant_unitaire]
produit_positif_representant_unitaire [in HighSchoolGeometry.representant_unitaire]
projete_orthogonal_image [in HighSchoolGeometry.reflexion_plane]
projete_sinus [in HighSchoolGeometry.aire_signee]
projete_Sinus [in HighSchoolGeometry.aire_signee]
projete_non_axe [in HighSchoolGeometry.projection_orthogonale]
projete_axe [in HighSchoolGeometry.projection_orthogonale]
projete_ortho_cote [in HighSchoolGeometry.applications_cocyclicite]
projete_distance_Rlt [in HighSchoolGeometry.euclidien_classiques]
projete_absolu_Cos [in HighSchoolGeometry.metrique_triangle]
projete_absolu_Sin [in HighSchoolGeometry.metrique_triangle]
projete_absolu_sin [in HighSchoolGeometry.metrique_triangle]
projete_absolu_cos [in HighSchoolGeometry.metrique_triangle]
projete_negatif_cos [in HighSchoolGeometry.metrique_triangle]
prop_vecteur_bary_rec [in HighSchoolGeometry.barycentre]
prop_vecteur_bary [in HighSchoolGeometry.barycentre]
prop_vecteur_milieu [in HighSchoolGeometry.milieu]
pt_intersection_commute [in HighSchoolGeometry.parallelisme_concours]
puissance_cercle_tangente_rec [in HighSchoolGeometry.puissance_cercle]
puissance_cercle_tangente [in HighSchoolGeometry.puissance_cercle]
puissance_cercle [in HighSchoolGeometry.puissance_cercle]
Pythagore [in HighSchoolGeometry.euclidien_classiques]
Pythagore_projete_orthogonal [in HighSchoolGeometry.euclidien_classiques]
Q
quotient_mes_algebrique_vecteur [in HighSchoolGeometry.mesure_algebrique]R
reciproque_cocyclicite [in HighSchoolGeometry.cocyclicite]reciproque_droite_milieu [in HighSchoolGeometry.affine_classiques]
reciproque_Thales_expl [in HighSchoolGeometry.affine_classiques]
reciproque_Thales_PP [in HighSchoolGeometry.affine_classiques]
rectangle_Pythagore [in HighSchoolGeometry.euclidien_classiques]
rec_complexe_homothetie [in HighSchoolGeometry.complexes_dilatations]
rec_complexe_translation [in HighSchoolGeometry.complexes_dilatations]
rec_translation_vecteur [in HighSchoolGeometry.dilatations]
reel_non_nul [in HighSchoolGeometry.formes_complexes]
reflexion_anti_deplacement [in HighSchoolGeometry.reflexion_plane]
reflexion_inverse_AMN [in HighSchoolGeometry.reflexion_plane]
reflexion_isometrie [in HighSchoolGeometry.reflexion_plane]
reflexion_inverse_angle [in HighSchoolGeometry.reflexion_plane]
reflexion_isocele2 [in HighSchoolGeometry.reflexion_plane]
reflexion_isocele [in HighSchoolGeometry.reflexion_plane]
reflexion_symetrie [in HighSchoolGeometry.reflexion_plane]
reflexion_axe_orthogonal_segment [in HighSchoolGeometry.reflexion_plane]
reflexion_mediatrice [in HighSchoolGeometry.reflexion_plane]
reflexion_image_distinct [in HighSchoolGeometry.reflexion_plane]
reflexion_projete_orthogonal_milieu [in HighSchoolGeometry.reflexion_plane]
reflexion_axe [in HighSchoolGeometry.reflexion_plane]
reflexion_conserve_contact_cercle_cercle [in HighSchoolGeometry.transformations_contact]
reflexion_conserve_contact_cercle_droite [in HighSchoolGeometry.transformations_contact]
reflexion_conserve_orthogonalite [in HighSchoolGeometry.transformations_contact]
reflexion_conjugaison [in HighSchoolGeometry.complexes_conjugaison]
representant_unitaire_bis [in HighSchoolGeometry.representant_unitaire]
resolution [in HighSchoolGeometry.Rutile]
resolution2 [in HighSchoolGeometry.Rutile]
Rgt_inv [in HighSchoolGeometry.Rutile]
Rinj_un [in HighSchoolGeometry.formes_complexes]
Rinj_zero [in HighSchoolGeometry.formes_complexes]
Rinj_Cinv [in HighSchoolGeometry.complexes_inversion]
Rinj_Cmult [in HighSchoolGeometry.complexes_inversion]
Rinj_opp [in HighSchoolGeometry.complexes_inversion]
Rinv_sqrt_pos [in HighSchoolGeometry.Rutile]
Rinv_le_pos [in HighSchoolGeometry.Rutile]
Rinv_calcul [in HighSchoolGeometry.operations_complexes]
Rmult_pos [in HighSchoolGeometry.Rutile]
ROND_new [in HighSchoolGeometry.trigo]
ROND_RONI [in HighSchoolGeometry.trigo]
ROND_RON [in HighSchoolGeometry.trigo]
rotation_complexe [in HighSchoolGeometry.complexes_similitudes]
rotation_centre_origine_complexe [in HighSchoolGeometry.complexes_similitudes]
rotation_image_bipoint [in HighSchoolGeometry.rotation_plane]
rotation_conserve_angle [in HighSchoolGeometry.rotation_plane]
rotation_IAB [in HighSchoolGeometry.rotation_plane]
rotation_isometrie [in HighSchoolGeometry.rotation_plane]
rotation_inverse [in HighSchoolGeometry.rotation_plane]
rotation_angle_nul [in HighSchoolGeometry.rotation_plane]
rotation_analytique [in HighSchoolGeometry.complexes_analytique]
rotation_conserve_contact_cercle_cercle [in HighSchoolGeometry.transformations_contact]
rotation_conserve_contact_cercle_droite [in HighSchoolGeometry.transformations_contact]
rotation_conserve_orthogonalite [in HighSchoolGeometry.transformations_contact]
rotation_homothetie_I_commutent [in HighSchoolGeometry.similitudes_directes]
rotation_homothetie_pos_I_commutent [in HighSchoolGeometry.similitudes_directes]
rotation_symetrie [in HighSchoolGeometry.homothetie_plane]
S
scalaire_somme_d [in HighSchoolGeometry.produit_scalaire]scalaire_mult_d [in HighSchoolGeometry.produit_scalaire]
scalaire_mult_mult [in HighSchoolGeometry.produit_scalaire]
scalaire_bilineaire [in HighSchoolGeometry.produit_scalaire]
scalaire_lineaire_d [in HighSchoolGeometry.produit_scalaire]
scalaire_lineaire_g [in HighSchoolGeometry.produit_scalaire]
scalaire_alignes [in HighSchoolGeometry.orthogonalite]
scalaire_avec_projete [in HighSchoolGeometry.orthogonalite]
scalaire_composantes_ABCD [in HighSchoolGeometry.repere_ortho_plan]
scalaire_coordonnees [in HighSchoolGeometry.repere_ortho_plan]
scalaire_deux_projetes [in HighSchoolGeometry.projection_orthogonale]
scalaire_difference_carre [in HighSchoolGeometry.euclidien_classiques]
scalaire_diametre [in HighSchoolGeometry.puissance_cercle]
scalaire_non_nul [in HighSchoolGeometry.representant_unitaire]
similitudes_meme_centre_commutent [in HighSchoolGeometry.similitudes_directes]
similitude_complexe [in HighSchoolGeometry.complexes_similitudes]
similitude_analytique [in HighSchoolGeometry.complexes_analytique]
similitude_conserve_contact_cercle_cercle [in HighSchoolGeometry.transformations_contact]
similitude_conserve_contact_cercle_droite [in HighSchoolGeometry.transformations_contact]
similitude_conserve_orthogonalite [in HighSchoolGeometry.transformations_contact]
similitude_conserve_angle [in HighSchoolGeometry.similitudes_directes]
similitude_decomposition [in HighSchoolGeometry.similitudes_directes]
similitude_identite [in HighSchoolGeometry.similitudes_directes]
similitude_angle_nul [in HighSchoolGeometry.similitudes_directes]
similitude_rapport_un [in HighSchoolGeometry.similitudes_directes]
sinA_sur_a_aire [in HighSchoolGeometry.aire_signee]
sinA_sur_a [in HighSchoolGeometry.aire_signee]
Sin_angles_alignes [in HighSchoolGeometry.aire_signee]
Sin_opp [in HighSchoolGeometry.aire_signee]
sin_diff [in HighSchoolGeometry.trigo]
sin_som [in HighSchoolGeometry.trigo]
sin_impaire [in HighSchoolGeometry.trigo]
sin_pi [in HighSchoolGeometry.trigo]
sin_pisurdeux [in HighSchoolGeometry.trigo]
sin_zero [in HighSchoolGeometry.trigo]
sin_cos_pisurdeux_moins_x [in HighSchoolGeometry.trigo]
sin_periodique [in HighSchoolGeometry.trigo]
sin_deux_mes [in HighSchoolGeometry.trigo]
somme_triangle [in HighSchoolGeometry.angles_vecteurs]
sqrt_Rinv [in HighSchoolGeometry.Rutile]
sqrt_pos [in HighSchoolGeometry.Rutile]
symetrie_involution [in HighSchoolGeometry.dilatations]
symetrie_milieu [in HighSchoolGeometry.dilatations]
symetrie_rotation [in HighSchoolGeometry.homothetie_plane]
symetrique_milieu_milieu [in HighSchoolGeometry.homoth_Euler]
symetrique_milieu_cercle [in HighSchoolGeometry.homoth_Euler]
symetrique_orthocentre [in HighSchoolGeometry.applications_cocyclicite]
T
tangente [in HighSchoolGeometry.cocyclicite]tangente_cercle_equation [in HighSchoolGeometry.equations_cercles]
tangente_reciproque [in HighSchoolGeometry.cocyclicite]
tangente_commune_cercles_tangents [in HighSchoolGeometry.contact]
tangente_cercle_contact_unique [in HighSchoolGeometry.contact]
tetraedre_non_alignes [in HighSchoolGeometry.exercice_espace]
Thales_concours [in HighSchoolGeometry.affine_classiques]
Thales_expl [in HighSchoolGeometry.affine_classiques]
Thales_PP [in HighSchoolGeometry.affine_classiques]
the_cube [in HighSchoolGeometry.exercice_espace]
toit [in HighSchoolGeometry.Plan_espace]
tout_angle_mesure [in HighSchoolGeometry.angles_vecteurs]
transforme_image [in HighSchoolGeometry.complexes_transformations]
translation_paralleles [in HighSchoolGeometry.dilatations]
translation_intersection [in HighSchoolGeometry.dilatations]
translation_inverse [in HighSchoolGeometry.dilatations]
translation_alignement [in HighSchoolGeometry.dilatations]
translation_milieu [in HighSchoolGeometry.dilatations]
translation_droite [in HighSchoolGeometry.dilatations]
translation_trans [in HighSchoolGeometry.dilatations]
translation_bipoint [in HighSchoolGeometry.dilatations]
translation_trivial [in HighSchoolGeometry.dilatations]
translation_identite [in HighSchoolGeometry.dilatations]
translation_vecteur [in HighSchoolGeometry.dilatations]
translation_analytique [in HighSchoolGeometry.complexes_analytique]
translation_conserve_contact_cercle_cercle [in HighSchoolGeometry.transformations_contact]
translation_conserve_contact_cercle_droite [in HighSchoolGeometry.transformations_contact]
translation_conserve_orthogonalite [in HighSchoolGeometry.transformations_contact]
translation_isometrie [in HighSchoolGeometry.transformations_contact]
translation_reflexion_axe_parallele_commutent [in HighSchoolGeometry.composee_transformations]
trapeze_complet_expl2 [in HighSchoolGeometry.affine_classiques]
trapeze_complet_expl [in HighSchoolGeometry.affine_classiques]
trapeze_complet_PP [in HighSchoolGeometry.affine_classiques]
triangles_meme_hypotenuse [in HighSchoolGeometry.applications_cocyclicite]
triangles_isometriques_indirects [in HighSchoolGeometry.metrique_triangle]
triangles_isometriques [in HighSchoolGeometry.metrique_triangle]
triangle_hauteurs_secantes [in HighSchoolGeometry.orthocentre]
triangle_distincts_pied_hauteur [in HighSchoolGeometry.orthocentre]
triangle_rectangle_une_fois [in HighSchoolGeometry.orthocentre]
triangle_rectangle_repere [in HighSchoolGeometry.repere_ortho_plan]
triangle_ordre_cycle3 [in HighSchoolGeometry.alignement]
triangle_ordre_cycle2 [in HighSchoolGeometry.alignement]
triangle_ordre_permute [in HighSchoolGeometry.alignement]
triangle_ordre_cycle [in HighSchoolGeometry.alignement]
triangle_ortho_cote2 [in HighSchoolGeometry.applications_cocyclicite]
triangle_ortho_cote [in HighSchoolGeometry.applications_cocyclicite]
triangle_intersection_mediatrices [in HighSchoolGeometry.cocyclicite]
triangle_droite_milieu_paralleles [in HighSchoolGeometry.affine_classiques]
triangle_rectangle_cercle_diametre [in HighSchoolGeometry.complements_cercle]
triangle_diametre [in HighSchoolGeometry.complements_cercle]
triangle_demi_cercle_rectangle [in HighSchoolGeometry.complements_cercle]
triangle_rectangle_demi_cercle [in HighSchoolGeometry.complements_cercle]
triangle_Pythagore [in HighSchoolGeometry.euclidien_classiques]
triangle_rectangle_absolu_Sin [in HighSchoolGeometry.metrique_triangle]
triangle_rectangle_indirect_Sin [in HighSchoolGeometry.metrique_triangle]
triangle_rectangle_direct_Sin [in HighSchoolGeometry.metrique_triangle]
triangle_rectangle_absolu_sinus [in HighSchoolGeometry.metrique_triangle]
triangle_rectangle_indirect_sinus [in HighSchoolGeometry.metrique_triangle]
triangle_rectangle_direct_sinus [in HighSchoolGeometry.metrique_triangle]
triangle_rectangle_absolu_cos [in HighSchoolGeometry.metrique_triangle]
triangle_rectangle_cos [in HighSchoolGeometry.metrique_triangle]
triangle_rectangle_Cos [in HighSchoolGeometry.metrique_triangle]
triangle_medianes_triangle [in HighSchoolGeometry.milieu]
triangle_triangle_milieux [in HighSchoolGeometry.milieu]
triangle_milieu_distinct [in HighSchoolGeometry.milieu]
trigo_Pythagore [in HighSchoolGeometry.trigo]
trivial_sin_Sin [in HighSchoolGeometry.trigo]
trivial_cos_Cos [in HighSchoolGeometry.trigo]
U
unicite_parties_relles_imaginaires [in HighSchoolGeometry.complexes]unicite_projete_orthogonal [in HighSchoolGeometry.orthogonalite]
unicite_forme_polaire_nonzero [in HighSchoolGeometry.formes_complexes]
unicite_composantes_vecteur [in HighSchoolGeometry.repere_plan]
unicite_coordonnees [in HighSchoolGeometry.repere_plan]
unicite_circonscrit_triangle [in HighSchoolGeometry.cocyclicite]
unicite_symetrique [in HighSchoolGeometry.dilatations]
unicite_solution_equation [in HighSchoolGeometry.complexes_transformations]
unicite_coor_bar2 [in HighSchoolGeometry.barycentre]
unicite_coor_bar_aux [in HighSchoolGeometry.barycentre]
unicite_coef_bar [in HighSchoolGeometry.barycentre]
unicite_coor_bar [in HighSchoolGeometry.barycentre]
unicite_contact_cercle_droite_tangente [in HighSchoolGeometry.contact]
unicite_representant_unitaire [in HighSchoolGeometry.representant_unitaire]
unicite_inverse [in HighSchoolGeometry.operations_complexes]
unitaire_distincts [in HighSchoolGeometry.produit_scalaire]
unitaire_distincts2 [in HighSchoolGeometry.distance_euclidienne]
unite_aire [in HighSchoolGeometry.determinant]
un_module_a_deplacement [in HighSchoolGeometry.complexes_transformations]
un_module_a_rotation [in HighSchoolGeometry.complexes_transformations]
V
vecteurs_orthogonaux_rec [in HighSchoolGeometry.orthogonalite_espace]vecteurs_orthogonaux [in HighSchoolGeometry.orthogonalite_espace]
vecteurs_para_plan_dr [in HighSchoolGeometry.Droite_plan_espace]
vecteur_def_coplanaires [in HighSchoolGeometry.coplanarite]
vecteur_def_coplanaires1 [in HighSchoolGeometry.coplanarite]
vecteur_quotient_mes_algebrique [in HighSchoolGeometry.mesure_algebrique]
vecteur_homothetie [in HighSchoolGeometry.dilatations]
vecteur_nul_conf [in HighSchoolGeometry.vecteur]
vecteur_egalite_point [in HighSchoolGeometry.vecteur]
vecteur_nul [in HighSchoolGeometry.vecteur]
vecteur_milieu [in HighSchoolGeometry.milieu]
vec_OAplusOBplusOC_orthocentre [in HighSchoolGeometry.droite_Euler]
vec_OAplusOBplusOC_orthogonal [in HighSchoolGeometry.droite_Euler]
vec_normal_calcul [in HighSchoolGeometry.equations_droites]
vec_normal_paralleles_r [in HighSchoolGeometry.equations_droites]
vec_normal_paralleles_l [in HighSchoolGeometry.equations_droites]
vec_directeur_orthogonal_normal [in HighSchoolGeometry.equations_droites]
vec_normal_orthogonal_directeur [in HighSchoolGeometry.equations_droites]
vec_normal_directeur_orthogonaux [in HighSchoolGeometry.equations_droites]
vec_normal_permute [in HighSchoolGeometry.equations_droites]
vec_directeur_calcul [in HighSchoolGeometry.equations_droites]
vec_directeur_paralleles [in HighSchoolGeometry.equations_droites]
vec_directeur_permute [in HighSchoolGeometry.equations_droites]
vec_directeur_trivial [in HighSchoolGeometry.equations_droites]
Z
zero_ortho_tout2 [in HighSchoolGeometry.orthogonalite]zero_ortho_tout [in HighSchoolGeometry.orthogonalite]
zero_add_PP [in HighSchoolGeometry.Field_affine]
zero_plus_double [in HighSchoolGeometry.angles_droites]
zero_double [in HighSchoolGeometry.Rutile]
Axiom Index
A
a [in HighSchoolGeometry.complexes_transformations]abscisse [in HighSchoolGeometry.repere_plan]
abscisse_def [in HighSchoolGeometry.repere_plan]
absvec [in HighSchoolGeometry.repere_plan]
absvec_def [in HighSchoolGeometry.repere_plan]
AD [in HighSchoolGeometry.angles_droites]
add_PP [in HighSchoolGeometry.Field_affine]
add_mes_compatible [in HighSchoolGeometry.angles_vecteurs]
add_PP_barycentre [in HighSchoolGeometry.barycentre]
affixe [in HighSchoolGeometry.complexes]
affixe_vecteur_point [in HighSchoolGeometry.complexes]
affixe_point_vecteur [in HighSchoolGeometry.complexes]
affixe_image [in HighSchoolGeometry.complexes]
affixe_vec [in HighSchoolGeometry.complexes]
aire [in HighSchoolGeometry.aire_signee]
aire_distrib_l [in HighSchoolGeometry.aire_signee]
alignes_droite [in HighSchoolGeometry.parallelisme_concours]
AM [in HighSchoolGeometry.Field_affine]
AM_theory [in HighSchoolGeometry.Field_affine]
angles_representants_unitaires [in HighSchoolGeometry.angles_vecteurs]
angles_orthogonal [in HighSchoolGeometry.cocyclicite]
angles_egaux_triangle_indirect [in HighSchoolGeometry.metrique_triangle]
angles_egaux_triangle [in HighSchoolGeometry.metrique_triangle]
angle_plat [in HighSchoolGeometry.angles_vecteurs]
argument [in HighSchoolGeometry.formes_complexes]
argument_def [in HighSchoolGeometry.formes_complexes]
AV [in HighSchoolGeometry.angles_vecteurs]
AV_vers_AD [in HighSchoolGeometry.angles_droites]
AV0 [in HighSchoolGeometry.angles_vecteurs]
AV0_zero [in HighSchoolGeometry.angles_vecteurs]
B
b [in HighSchoolGeometry.complexes_transformations]barycentre [in HighSchoolGeometry.barycentre]
C
C [in HighSchoolGeometry.complexes]cartvec_def [in HighSchoolGeometry.repere_plan]
cart_point_complexe [in HighSchoolGeometry.complexes]
cart_def [in HighSchoolGeometry.repere_plan]
Cdiv [in HighSchoolGeometry.operations_complexes]
Cdiv_def [in HighSchoolGeometry.operations_complexes]
Chasles [in HighSchoolGeometry.angles_vecteurs]
Cinv [in HighSchoolGeometry.operations_complexes]
Cinv_def2 [in HighSchoolGeometry.operations_complexes]
Cinv_def [in HighSchoolGeometry.operations_complexes]
Cmult [in HighSchoolGeometry.operations_complexes]
Cmult_argument [in HighSchoolGeometry.operations_complexes]
Cmult_module [in HighSchoolGeometry.operations_complexes]
complexe_cart_point [in HighSchoolGeometry.complexes]
complexe_polaire_argument [in HighSchoolGeometry.formes_complexes]
complexe_polaire_module [in HighSchoolGeometry.formes_complexes]
concours [in HighSchoolGeometry.parallelisme_concours]
confondus [in HighSchoolGeometry.Plan_espace]
Conj [in HighSchoolGeometry.complexes_conjugaison]
Conj_def [in HighSchoolGeometry.complexes_conjugaison]
cons [in HighSchoolGeometry.Field_affine]
cons_cart [in HighSchoolGeometry.complexes]
cons_inj [in HighSchoolGeometry.Field_affine]
cons_AV [in HighSchoolGeometry.angles_vecteurs]
cons_pol [in HighSchoolGeometry.formes_complexes]
cons_AD [in HighSchoolGeometry.angles_droites]
contact [in HighSchoolGeometry.Droite_plan_espace]
coplanaire_trans3 [in HighSchoolGeometry.Droite_plan_espace]
Copp [in HighSchoolGeometry.operations_complexes]
Copp_def [in HighSchoolGeometry.operations_complexes]
Cos [in HighSchoolGeometry.trigo]
cos [in HighSchoolGeometry.trigo]
Cplus [in HighSchoolGeometry.operations_complexes]
Cplus_def [in HighSchoolGeometry.operations_complexes]
D
def_orthogonaux2 [in HighSchoolGeometry.orthogonalite_espace]def_orthogonaux [in HighSchoolGeometry.orthogonalite_espace]
def_perpendiculaires2 [in HighSchoolGeometry.orthogonalite_espace]
def_perpendiculaires [in HighSchoolGeometry.orthogonalite_espace]
def_orthogonales2 [in HighSchoolGeometry.orthogonalite_espace]
def_orthogonales [in HighSchoolGeometry.orthogonalite_espace]
def_mes_alg2 [in HighSchoolGeometry.mesure_algebrique]
def_mes_alg [in HighSchoolGeometry.mesure_algebrique]
def_orthogonal2 [in HighSchoolGeometry.orthogonalite]
def_orthogonal [in HighSchoolGeometry.orthogonalite]
def_aire [in HighSchoolGeometry.aire_signee]
def_aire_0 [in HighSchoolGeometry.aire_signee]
def_opp [in HighSchoolGeometry.angles_vecteurs]
def_projete_orthogonal2 [in HighSchoolGeometry.projection_orthogonale]
def_projete_orthogonal [in HighSchoolGeometry.projection_orthogonale]
def_pt_intersection2 [in HighSchoolGeometry.parallelisme_concours]
def_pt_intersection [in HighSchoolGeometry.parallelisme_concours]
def_concours2 [in HighSchoolGeometry.parallelisme_concours]
def_concours [in HighSchoolGeometry.parallelisme_concours]
def_paralleles2 [in HighSchoolGeometry.parallelisme_concours]
def_paralleles [in HighSchoolGeometry.parallelisme_concours]
def_para_plan_plan2 [in HighSchoolGeometry.Plans_paralleles]
def_para_plan_plan [in HighSchoolGeometry.Plans_paralleles]
def_contact2 [in HighSchoolGeometry.Droite_plan_espace]
def_contact [in HighSchoolGeometry.Droite_plan_espace]
def_para_plan_dr2 [in HighSchoolGeometry.Droite_plan_espace]
def_para_plan_dr [in HighSchoolGeometry.Droite_plan_espace]
def_confondus2 [in HighSchoolGeometry.Plan_espace]
def_confondus [in HighSchoolGeometry.Plan_espace]
def_disjoints2 [in HighSchoolGeometry.Plan_espace]
def_disjoints [in HighSchoolGeometry.Plan_espace]
def_secants2 [in HighSchoolGeometry.Plan_espace]
def_secants [in HighSchoolGeometry.Plan_espace]
def_Sin [in HighSchoolGeometry.trigo]
def_Cos [in HighSchoolGeometry.trigo]
def_sin [in HighSchoolGeometry.trigo]
def_cos [in HighSchoolGeometry.trigo]
def_representant_unitaire2 [in HighSchoolGeometry.representant_unitaire]
def_representant_unitaire [in HighSchoolGeometry.representant_unitaire]
det [in HighSchoolGeometry.determinant]
determinant_def [in HighSchoolGeometry.determinant]
disjoints [in HighSchoolGeometry.Plan_espace]
distance_droite_def [in HighSchoolGeometry.euclidien_classiques]
distance_droite [in HighSchoolGeometry.euclidien_classiques]
DR [in HighSchoolGeometry.parallelisme_concours]
droite [in HighSchoolGeometry.parallelisme_concours]
droites_paralleles_angle [in HighSchoolGeometry.angles_droites]
droite_permute [in HighSchoolGeometry.parallelisme_concours]
droite_incluse_plan2 [in HighSchoolGeometry.Droite_plan_espace]
droite_incluse_plan [in HighSchoolGeometry.Droite_plan_espace]
droit_direct_ou_indirect [in HighSchoolGeometry.angles_vecteurs]
E
egalite_angle_trigo [in HighSchoolGeometry.trigo]existence_affixe_point [in HighSchoolGeometry.complexes]
existence_image_complexe [in HighSchoolGeometry.complexes]
existence_representant_cons [in HighSchoolGeometry.angles_vecteurs]
existence_AB_unitaire [in HighSchoolGeometry.angles_vecteurs]
F
f [in HighSchoolGeometry.complexes_transformations]fadd [in HighSchoolGeometry.Field_affine]
fmult [in HighSchoolGeometry.Field_affine]
forme_polaire_def [in HighSchoolGeometry.formes_complexes]
forme_algebrique_def [in HighSchoolGeometry.formes_complexes]
fPO [in HighSchoolGeometry.Field_affine]
fPP [in HighSchoolGeometry.Field_affine]
fPP_inj [in HighSchoolGeometry.Field_affine]
fR [in HighSchoolGeometry.Field_affine]
fRadd [in HighSchoolGeometry.Field_affine]
fRinv [in HighSchoolGeometry.Field_affine]
fRmult [in HighSchoolGeometry.Field_affine]
fRopp [in HighSchoolGeometry.Field_affine]
fR0 [in HighSchoolGeometry.Field_affine]
fR1 [in HighSchoolGeometry.Field_affine]
fzeroPP [in HighSchoolGeometry.Field_affine]
G
g [in HighSchoolGeometry.complexes_transformations]geometrie_plane [in HighSchoolGeometry.repere_plan]
I
I [in HighSchoolGeometry.complexes]I [in HighSchoolGeometry.determinant]
image [in HighSchoolGeometry.complexes]
image_vecteur_point [in HighSchoolGeometry.complexes]
image_point_vecteur [in HighSchoolGeometry.complexes]
image_affixe [in HighSchoolGeometry.complexes]
image_vec [in HighSchoolGeometry.complexes]
image_angle [in HighSchoolGeometry.angles_vecteurs]
incluse [in HighSchoolGeometry.Droite_plan_espace]
invAM [in HighSchoolGeometry.Field_affine]
invAM_l [in HighSchoolGeometry.Field_affine]
inversion [in HighSchoolGeometry.inversion]
inversion_def2 [in HighSchoolGeometry.inversion]
inversion_def [in HighSchoolGeometry.inversion]
J
J [in HighSchoolGeometry.complexes]J [in HighSchoolGeometry.determinant]
L
lR14 [in HighSchoolGeometry.Rutile]M
mes_alg [in HighSchoolGeometry.mesure_algebrique]mes_opp [in HighSchoolGeometry.angles_vecteurs]
milieu_angles_orthogonaux [in HighSchoolGeometry.angles_vecteurs]
minusAM [in HighSchoolGeometry.Field_affine]
module [in HighSchoolGeometry.formes_complexes]
module_def [in HighSchoolGeometry.formes_complexes]
multAM [in HighSchoolGeometry.Field_affine]
mult_PP [in HighSchoolGeometry.Field_affine]
N
nonzeroAM [in HighSchoolGeometry.Field_affine]O
O [in HighSchoolGeometry.complexes]O [in HighSchoolGeometry.determinant]
opp [in HighSchoolGeometry.angles_vecteurs]
oppAM [in HighSchoolGeometry.Field_affine]
ordonnee [in HighSchoolGeometry.repere_plan]
ordonnee_def [in HighSchoolGeometry.repere_plan]
ordvec [in HighSchoolGeometry.repere_plan]
ordvec_def [in HighSchoolGeometry.repere_plan]
orthocentre [in HighSchoolGeometry.orthocentre]
orthocentre_def2 [in HighSchoolGeometry.orthocentre]
orthocentre_def [in HighSchoolGeometry.orthocentre]
orthogonal [in HighSchoolGeometry.orthogonalite]
orthogonales [in HighSchoolGeometry.orthogonalite_espace]
orthogonaux [in HighSchoolGeometry.orthogonalite_espace]
P
paralleles [in HighSchoolGeometry.parallelisme_concours]para_plan_plan [in HighSchoolGeometry.Plans_paralleles]
para_plan_dr [in HighSchoolGeometry.Droite_plan_espace]
partie_imaginaire_def [in HighSchoolGeometry.formes_complexes]
partie_reelle_def [in HighSchoolGeometry.formes_complexes]
partie_imaginaire [in HighSchoolGeometry.formes_complexes]
partie_reelle [in HighSchoolGeometry.formes_complexes]
perpendiculaires [in HighSchoolGeometry.orthogonalite_espace]
pisurdeux [in HighSchoolGeometry.angles_vecteurs]
pisurdeux_droit [in HighSchoolGeometry.angles_vecteurs]
PL [in HighSchoolGeometry.Droite_plan_espace]
plan [in HighSchoolGeometry.Droite_plan_espace]
plus [in HighSchoolGeometry.angles_vecteurs]
plusAM [in HighSchoolGeometry.Field_affine]
PO [in HighSchoolGeometry.Field_affine]
PP [in HighSchoolGeometry.Field_affine]
projete_orthogonal [in HighSchoolGeometry.projection_orthogonale]
pt_intersection [in HighSchoolGeometry.parallelisme_concours]
R
reflexion [in HighSchoolGeometry.reflexion_plane]reflexion_def2 [in HighSchoolGeometry.reflexion_plane]
reflexion_def [in HighSchoolGeometry.reflexion_plane]
repere_espace [in HighSchoolGeometry.coplanarite]
representant_unitaire [in HighSchoolGeometry.representant_unitaire]
rotation [in HighSchoolGeometry.rotation_plane]
rotation_def2 [in HighSchoolGeometry.rotation_plane]
rotation_def_centre [in HighSchoolGeometry.rotation_plane]
rotation_def [in HighSchoolGeometry.rotation_plane]
S
scalaire [in HighSchoolGeometry.produit_scalaire]scalaire_mult_g [in HighSchoolGeometry.produit_scalaire]
scalaire_somme_g [in HighSchoolGeometry.produit_scalaire]
scalaire_sym [in HighSchoolGeometry.produit_scalaire]
scalaire_non_degenere [in HighSchoolGeometry.produit_scalaire]
scalaire_positif [in HighSchoolGeometry.produit_scalaire]
secants [in HighSchoolGeometry.Plan_espace]
similitude [in HighSchoolGeometry.similitudes_directes]
similitude_def2 [in HighSchoolGeometry.similitudes_directes]
similitude_def_centre [in HighSchoolGeometry.similitudes_directes]
similitude_def [in HighSchoolGeometry.similitudes_directes]
Sin [in HighSchoolGeometry.trigo]
sin [in HighSchoolGeometry.trigo]
T
tout_angle_a_une_mesure [in HighSchoolGeometry.angles_vecteurs]transforme [in HighSchoolGeometry.complexes_transformations]
transforme_def [in HighSchoolGeometry.complexes_transformations]
U
unAM [in HighSchoolGeometry.Field_affine]unicite_representant_angle_nul [in HighSchoolGeometry.angles_vecteurs]
V
vec_normal_def2 [in HighSchoolGeometry.equations_droites]vec_normal_def [in HighSchoolGeometry.equations_droites]
vec_normal [in HighSchoolGeometry.equations_droites]
vec_directeur_def2 [in HighSchoolGeometry.equations_droites]
vec_directeur_def [in HighSchoolGeometry.equations_droites]
vec_directeur [in HighSchoolGeometry.equations_droites]
Z
zero [in HighSchoolGeometry.Field_affine]zeroAM [in HighSchoolGeometry.Field_affine]
Definition Index
A
aire_triangle [in HighSchoolGeometry.aire_signee]alignes [in HighSchoolGeometry.alignement]
alignes1 [in HighSchoolGeometry.alignement]
C
carre [in HighSchoolGeometry.exercice_espace]centre_gravite [in HighSchoolGeometry.milieu]
cercle [in HighSchoolGeometry.cercle]
cercles_tangents [in HighSchoolGeometry.contact]
cercle_diametre [in HighSchoolGeometry.cercle]
cercle_rayon [in HighSchoolGeometry.cercle]
circonscrit [in HighSchoolGeometry.cercle]
Cminus [in HighSchoolGeometry.operations_complexes]
col_vec [in HighSchoolGeometry.alignement]
concours_3 [in HighSchoolGeometry.parallelisme_concours]
coplanaires [in HighSchoolGeometry.coplanarite]
coplanaires1 [in HighSchoolGeometry.coplanarite]
Csqr [in HighSchoolGeometry.operations_complexes]
cube [in HighSchoolGeometry.exercice_espace]
D
deuxpi [in HighSchoolGeometry.angles_vecteurs]diametre_circonscrit [in HighSchoolGeometry.complements_cercle]
distance [in HighSchoolGeometry.distance_euclidienne]
divAM [in HighSchoolGeometry.Field_affine]
double_AV [in HighSchoolGeometry.angles_droites]
droite_perpendiculaire [in HighSchoolGeometry.inversion]
H
homothetie [in HighSchoolGeometry.dilatations]I
i [in HighSchoolGeometry.formes_complexes]isocele [in HighSchoolGeometry.isocele]
isocele_rectangle_direct [in HighSchoolGeometry.complexes_exercice]
M
mediatrice [in HighSchoolGeometry.mediatrice]milieu [in HighSchoolGeometry.milieu]
O
oneC [in HighSchoolGeometry.formes_complexes]P
parallelepipede [in HighSchoolGeometry.exercice_espace]parallelepipede_rectangle [in HighSchoolGeometry.exercice_espace]
parallelogramme [in HighSchoolGeometry.vecteur]
perce [in HighSchoolGeometry.Droite_plan_espace]
pi [in HighSchoolGeometry.angles_vecteurs]
puissance_point_cercle [in HighSchoolGeometry.puissance_cercle]
R
repere [in HighSchoolGeometry.repere_plan]repere_orthonormal [in HighSchoolGeometry.repere_ortho_plan]
repere_orthogonal [in HighSchoolGeometry.repere_ortho_plan]
repere_orthonormal_indirect [in HighSchoolGeometry.trigo]
repere_orthonormal_direct [in HighSchoolGeometry.trigo]
Rinj [in HighSchoolGeometry.formes_complexes]
R2 [in HighSchoolGeometry.Rutile]
R4 [in HighSchoolGeometry.Rutile]
S
sont_cocycliques [in HighSchoolGeometry.cercle]symetrie [in HighSchoolGeometry.dilatations]
T
tangente_cercle [in HighSchoolGeometry.cercle]tetraedre [in HighSchoolGeometry.exercice_espace]
translation [in HighSchoolGeometry.dilatations]
triangle [in HighSchoolGeometry.alignement]
V
vec [in HighSchoolGeometry.vecteur]Z
zeroC [in HighSchoolGeometry.formes_complexes]| Global Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (1404 entries) |
| Variable Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (5 entries) |
| Library Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (64 entries) |
| Lemma Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (1050 entries) |
| Axiom Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (233 entries) |
| Definition Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (52 entries) |