C100 · Konsep dan prasyarat

491 konsep dengan 994 hubungan prasyarat dari metadata asli. 18 rekaman berstatus diperiksa, 125 pemetaan diperiksa, dan 348 pemetaan masih menunggu QA sumber. Tiga konsep memakai tautan bab induk yang ditandai secara eksplisit.

sistem aksiomatik

axiomatic system · Diperiksa dalam sumber

Prasyarat metadata: Tidak ada yang dicatat.

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.axiomatic-system · o004.petrunin.ch01.s01 · backend/concepts-ch01-id-v0.csv

model matematis

model · Diperiksa dalam sumber

Prasyarat metadata: sistem aksiomatik

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.mathematical-model · o004.petrunin.ch01.s02 · backend/concepts-ch01-id-v0.csv

metrik

metric · Diperiksa dalam sumber

Prasyarat metadata: Tidak ada yang dicatat.

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): metrik — work-wide

Identitas sumber

o004.concept.metric · o004.petrunin.ch01.s03 · backend/concepts-ch01-id-v0.csv

ruang metrik

metric space · Diperiksa dalam sumber

Prasyarat metadata: metrik

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): ruang metrik — work-wide

Identitas sumber

o004.concept.metric-space · o004.petrunin.ch01.s03 · backend/concepts-ch01-id-v0.csv

ketaksamaan segitiga

triangle inequality · Diperiksa dalam sumber

Prasyarat metadata: metrik

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): ketaksamaan segitiga — metric-geometry

Identitas sumber

o004.concept.triangle-inequality · o004.petrunin.ch01.s03 · backend/concepts-ch01-id-v0.csv

jarak

distance · Diperiksa dalam sumber

Prasyarat metadata: metrik

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): jarak — work-wide

Identitas sumber

o004.concept.distance · o004.petrunin.ch01.s03 · backend/concepts-ch01-id-v0.csv

pemetaan yang mempertahankan jarak

distance-preserving map · Diperiksa dalam sumber

Prasyarat metadata: ruang metrik

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): pemetaan yang mempertahankan jarak — metric-geometry

Identitas sumber

o004.concept.distance-preserving-map · o004.petrunin.ch01.s05 · backend/concepts-ch01-id-v0.csv

isometri

isometry · Diperiksa dalam sumber

Prasyarat metadata: pemetaan yang mempertahankan jarak

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): isometri — work-wide

Identitas sumber

o004.concept.isometry · o004.petrunin.ch01.s05 · backend/concepts-ch01-id-v0.csv

transformasi isometrik

motion · Diperiksa dalam sumber

Prasyarat metadata: isometri

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): transformasi isometrik — metric-geometry

Identitas sumber

o004.concept.motion · o004.petrunin.ch01.s05 · backend/concepts-ch01-id-v0.csv

garis

line · Diperiksa dalam sumber

Prasyarat metadata: isometri

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): garis — work-wide

Identitas sumber

o004.concept.line · o004.petrunin.ch01.s05 · backend/concepts-ch01-id-v0.csv

kolinear

collinear · Diperiksa dalam sumber

Prasyarat metadata: garis

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.collinearity · o004.petrunin.ch01.s05 · backend/concepts-ch01-id-v0.csv

sinar

half-line · Diperiksa dalam sumber

Prasyarat metadata: garis

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): sinar — work-wide

Identitas sumber

o004.concept.ray · o004.petrunin.ch01.s06 · backend/concepts-ch01-id-v0.csv

ruas

segment · Diperiksa dalam sumber

Prasyarat metadata: sinar

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): ruas — work-wide

Identitas sumber

o004.concept.segment · o004.petrunin.ch01.s06 · backend/concepts-ch01-id-v0.csv

sudut

angle · Diperiksa dalam sumber

Prasyarat metadata: sinar

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.angle · o004.petrunin.ch01.s07 · backend/concepts-ch01-id-v0.csv

ukuran sudut

angle measure · Diperiksa dalam sumber

Prasyarat metadata: sudut

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): ukuran sudut — work-wide

Identitas sumber

o004.concept.angle-measure · o004.petrunin.ch01.s07 · backend/concepts-ch01-id-v0.csv

kesamaan modulo 2 pi

equality modulo 2 pi · Diperiksa dalam sumber

Prasyarat metadata: ukuran sudut

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.modulo-2pi · o004.petrunin.ch01.s08 · backend/concepts-ch01-id-v0.csv

kekontinuan

continuity · Diperiksa dalam sumber

Prasyarat metadata: ruang metrik

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.continuity · o004.petrunin.ch01.s09 · backend/concepts-ch01-id-v0.csv

segitiga kongruen

congruent triangles · Diperiksa dalam sumber

Prasyarat metadata: transformasi isometrik · sudut

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): segitiga kongruen — triangle-geometry

Identitas sumber

o004.concept.congruent-triangles · o004.petrunin.ch01.s10 · backend/concepts-ch01-id-v0.csv

sistem aksioma bergaya Birkhoff

Birkhoff-style axiom system · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: sistem aksiomatik · ruang metrik · ukuran sudut · segitiga kongruen

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.birkhoff-axiom-system · o004.petrunin.ch02.s01 · backend/concepts-ch02-id-v0.csv

bidang Euklides

Euclidean plane · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: ruang metrik

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): bidang Euklides — work-wide

Identitas sumber

o004.concept.euclidean-plane · o004.petrunin.ch02.s01 · backend/concepts-ch02-id-v0.csv

bidang Euklides adalah ruang metrik dengan sedikitnya dua titik

Euclidean plane is a metric space with at least two points · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: bidang Euklides

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.petrunin.ax.ch02.i · o004.petrunin.ch02.s01 · backend/concepts-ch02-id-v0.csv

tepat satu garis melalui setiap dua titik berbeda

exactly one line through any two distinct points · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: bidang Euklides · garis

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.petrunin.ax.ch02.ii · o004.petrunin.ch02.s01 · backend/concepts-ch02-id-v0.csv

ukuran sudut berarah dalam (-pi, pi]

oriented angle measure in (-pi, pi] · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: ukuran sudut

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.petrunin.ax.ch02.iii · o004.petrunin.ch02.s01 · backend/concepts-ch02-id-v0.csv

sinar tunggal untuk setiap ukuran sudut

unique ray for each angle measure · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: ukuran sudut berarah dalam (-pi, pi] · sinar

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.petrunin.ax.ch02.iii.a · o004.petrunin.ch02.s01 · backend/concepts-ch02-id-v0.csv

penjumlahan sudut modulo 2 pi

angle addition modulo 2 pi · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: ukuran sudut berarah dalam (-pi, pi] · kesamaan modulo 2 pi

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.petrunin.ax.ch02.iii.b · o004.petrunin.ch02.s01 · backend/concepts-ch02-id-v0.csv

kekontinuan ukuran sudut

continuity of angle measure · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: ukuran sudut berarah dalam (-pi, pi] · kekontinuan

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.petrunin.ax.ch02.iii.c · o004.petrunin.ch02.s01 · backend/concepts-ch02-id-v0.csv

kekongruenan segitiga berdasarkan dua sisi dan sudut berarah apit

triangle congruence by two sides and included oriented angle · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: segitiga kongruen · ukuran sudut

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.petrunin.ax.ch02.iv · o004.petrunin.ch02.s01 · backend/concepts-ch02-id-v0.csv

perbesaran positif sepanjang dua sinar

positive scaling along two rays · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: sinar · ukuran sudut

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.petrunin.ax.ch02.v · o004.petrunin.ch02.s01 · backend/concepts-ch02-id-v0.csv

sudut nol

zero angle · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: ukuran sudut

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.zero-angle · o004.petrunin.ch02.s03 · backend/concepts-ch02-id-v0.csv

terletak di antara / keantaraan

lies between / betweenness · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: ruas · garis

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.betweenness · o004.petrunin.ch02.s04 · backend/concepts-ch02-id-v0.csv

sudut lurus

straight angle · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: ukuran sudut · terletak di antara / keantaraan

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.straight-angle · o004.petrunin.ch02.s04 · backend/concepts-ch02-id-v0.csv

segitiga degenerat

degenerate triangle · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: sudut lurus · segitiga kongruen

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): segitiga degenerat — work-wide

Identitas sumber

o004.concept.degenerate-triangle · o004.petrunin.ch02.s04 · backend/concepts-ch02-id-v0.csv

sudut bertolak belakang

vertical angles · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: sudut lurus

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): sudut bertolak belakang — angle-geometry

Identitas sumber

o004.concept.vertical-angles · o004.petrunin.ch02.s05 · backend/concepts-ch02-id-v0.csv

pencerminan terhadap titik

reflection across a point · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: transformasi isometrik · sudut bertolak belakang

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.point-reflection · o004.petrunin.ch02.s06 · backend/concepts-ch02-id-v0.csv

pusat pencerminan

center of reflection · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: pencerminan terhadap titik

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.center-of-reflection · o004.petrunin.ch02.s06 · backend/concepts-ch02-id-v0.csv

titik tengah

midpoint · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: ruas

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): titik tengah — work-wide

Identitas sumber

o004.concept.midpoint · o004.petrunin.ch02.s06 · backend/concepts-ch02-id-v0.csv

pemetaan identitas

identity map · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: Tidak ada yang dicatat.

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): pemetaan identitas — transformation-geometry

Identitas sumber

o004.concept.identity-map · o004.petrunin.ch02.s06 · backend/concepts-ch02-id-v0.csv

bijeksi

bijection · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: Tidak ada yang dicatat.

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.bijection · o004.petrunin.ch02.s06 · backend/concepts-ch02-id-v0.csv

tanda sudut berarah

sign of an oriented angle · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: ukuran sudut · kesamaan modulo 2 pi

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.oriented-angle-sign · o004.petrunin.ch03.s01 · backend/concepts-ch03-id-v0.csv

sudut positif

positive angle · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: tanda sudut berarah

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): sudut positif — oriented-angle-geometry

Identitas sumber

o004.concept.positive-angle · o004.petrunin.ch03.s01 · backend/concepts-ch03-id-v0.csv

sudut negatif

negative angle · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: tanda sudut berarah

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): sudut negatif — oriented-angle-geometry

Identitas sumber

o004.concept.negative-angle · o004.petrunin.ch03.s01 · backend/concepts-ch03-id-v0.csv

teorema nilai antara

intermediate value theorem · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: kekontinuan

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): teorema nilai antara — analysis-and-geometry

Identitas sumber

o004.concept.intermediate-value-theorem · o004.petrunin.ch03.s02 · backend/concepts-ch03-id-v0.csv

invariansi tanda sudut

invariance of angle sign · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: teorema nilai antara · kekontinuan ukuran sudut

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.angle-sign-invariance · o004.petrunin.ch03.s02 · backend/concepts-ch03-id-v0.csv

kekonsistenan tanda sudut segitiga

coherence of triangle angle signs · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: invariansi tanda sudut · terletak di antara / keantaraan

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.triangle-angle-sign-coherence · o004.petrunin.ch03.s03 · backend/concepts-ch03-id-v0.csv

setengah bidang

half-plane · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: garis · ruas · tanda sudut berarah

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): setengah bidang — plane-geometry

Identitas sumber

o004.concept.half-plane · o004.petrunin.ch03.s04 · backend/concepts-ch03-id-v0.csv

sisi yang sama dari suatu garis

same side of a line · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: setengah bidang

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.same-side · o004.petrunin.ch03.s04 · backend/concepts-ch03-id-v0.csv

sisi yang berlawanan dari suatu garis

opposite sides of a line · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: setengah bidang

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.opposite-side · o004.petrunin.ch03.s04 · backend/concepts-ch03-id-v0.csv

teorema Pasch

Pasch's theorem · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: setengah bidang

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): teorema Pasch — plane-geometry

Identitas sumber

o004.concept.pasch-theorem · o004.petrunin.ch03.s04 · backend/concepts-ch03-id-v0.csv

keberadaan segitiga dengan panjang sisi yang diberikan

existence of a triangle with given side lengths · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: ketaksamaan segitiga · teorema nilai antara · kekontinuan · sinar

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.triangle-side-existence · o004.petrunin.ch03.s05 · backend/concepts-ch03-id-v0.csv

taksiran tali busur untuk sudut kecil

small-angle chord estimate · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: segitiga kongruen · setengah bidang · kekontinuan

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.small-angle-chord · o004.petrunin.ch03.s05 · backend/concepts-ch03-id-v0.csv

lingkaran

circle · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: jarak

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): lingkaran — work-wide

Identitas sumber

o004.concept.circle · o004.petrunin.ch03.s05 · backend/concepts-ch03-id-v0.csv

pusat

center · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: jarak

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): pusat — work-wide

Identitas sumber

o004.concept.center · o004.petrunin.ch03.s05 · backend/concepts-ch03-id-v0.csv

jari-jari

radius · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: jarak

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): jari-jari — work-wide

Identitas sumber

o004.concept.radius · o004.petrunin.ch03.s05 · backend/concepts-ch03-id-v0.csv

kriteria perpotongan lingkaran

circle-intersection criterion · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: lingkaran · keberadaan segitiga dengan panjang sisi yang diberikan

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.circle-intersection-criterion · o004.petrunin.ch03.s05 · backend/concepts-ch03-id-v0.csv

syarat kekongruenan sisi-sudut-sisi (SAS)

side-angle-side congruence condition · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: kekongruenan segitiga berdasarkan dua sisi dan sudut berarah apit · segitiga kongruen

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): syarat kekongruenan sisi-sudut-sisi (SAS) — triangle-geometry

Identitas sumber

o004.concept.sas-congruence-condition · o004.petrunin.ch04.s01 · backend/concepts-ch04-id-v0.csv

syarat kekongruenan sudut-sisi-sudut (ASA)

angle-side-angle congruence condition · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: syarat kekongruenan sisi-sudut-sisi (SAS) · kekonsistenan tanda sudut segitiga

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): syarat kekongruenan sudut-sisi-sudut (ASA) — triangle-geometry

Identitas sumber

o004.concept.asa-congruence-condition · o004.petrunin.ch04.s02 · backend/concepts-ch04-id-v0.csv

segitiga sama kaki

isosceles triangle · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: segitiga kongruen

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): segitiga sama kaki — triangle-geometry

Identitas sumber

o004.concept.isosceles-triangle · o004.petrunin.ch04.s03 · backend/concepts-ch04-id-v0.csv

alas segitiga sama kaki

base of an isosceles triangle · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: segitiga sama kaki

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.triangle-base · o004.petrunin.ch04.s03 · backend/concepts-ch04-id-v0.csv

teorema sudut alas segitiga sama kaki

isosceles base-angle theorem · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: syarat kekongruenan sudut-sisi-sudut (ASA) · segitiga sama kaki

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.isosceles-base-angle-theorem · o004.petrunin.ch04.s03 · backend/concepts-ch04-id-v0.csv

segitiga sama sisi

equilateral triangle · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: segitiga sama kaki

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): segitiga sama sisi — triangle-geometry

Identitas sumber

o004.concept.equilateral-triangle · o004.petrunin.ch04.s03 · backend/concepts-ch04-id-v0.csv

syarat kekongruenan sisi-sisi-sisi (SSS)

side-side-side congruence condition · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: syarat kekongruenan sisi-sudut-sisi (SAS) · teorema sudut alas segitiga sama kaki

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): syarat kekongruenan sisi-sisi-sisi (SSS) — triangle-geometry

Identitas sumber

o004.concept.sss-congruence-condition · o004.petrunin.ch04.s04 · backend/concepts-ch04-id-v0.csv

kasus kesamaan pada ketaksamaan segitiga

equality case of the triangle inequality · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: syarat kekongruenan sisi-sisi-sisi (SSS) · ketaksamaan segitiga · terletak di antara / keantaraan

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.triangle-inequality-equality-case · o004.petrunin.ch04.s04 · backend/concepts-ch04-id-v0.csv

lema tiga paku

three-nail lemma · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: syarat kekongruenan sisi-sisi-sisi (SSS) · pemetaan yang mempertahankan jarak · pemetaan identitas

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): lema tiga paku — transformation-geometry

Identitas sumber

o004.concept.three-nail-lemma · o004.petrunin.ch04.s04 · backend/concepts-ch04-id-v0.csv

ambiguitas sisi-sisi-sudut (SSA)

ambiguity of side-side-angle · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: segitiga kongruen · syarat kekongruenan sisi-sudut-sisi (SAS)

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.ssa-ambiguity · o004.petrunin.ch04.s05 · backend/concepts-ch04-id-v0.csv

syarat kekongruenan sisi-sudut-sudut (SAA)

side-angle-angle congruence condition · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: syarat kekongruenan sudut-sisi-sudut (ASA)

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.saa-congruence-condition · o004.petrunin.ch04.s05 · backend/concepts-ch04-id-v0.csv

kriteria sudut-sudut-sudut (AAA)

angle-angle-angle criterion · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: perbesaran positif sepanjang dua sinar · segitiga kongruen

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.aaa-criterion · o004.petrunin.ch04.s05 · backend/concepts-ch04-id-v0.csv

konstruksi penggaris dan jangka

ruler-and-compass construction · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: garis · lingkaran · pencerminan terhadap titik

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): konstruksi penggaris dan jangka — geometric-construction

Identitas sumber

o004.concept.ruler-compass-construction · o004.petrunin.ch04.s06 · backend/concepts-ch04-id-v0.csv

analisis masalah konstruksi

problem analysis for a construction · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: konstruksi penggaris dan jangka

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.construction-analysis · o004.petrunin.ch04.s06 · backend/concepts-ch04-id-v0.csv

banyaknya solusi suatu konstruksi

number of solutions to a construction · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: analisis masalah konstruksi · garis

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.construction-solution-multiplicity · o004.petrunin.ch04.s06 · backend/concepts-ch04-id-v0.csv

sudut siku-siku

right angle · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: ukuran sudut

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): sudut siku-siku — angle-geometry

Identitas sumber

o004.concept.right-angle · o004.petrunin.ch05.s01 · backend/concepts-ch05-id-v0.csv

sudut lancip

acute angle · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: ukuran sudut

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): sudut lancip — angle-geometry

Identitas sumber

o004.concept.acute-angle · o004.petrunin.ch05.s01 · backend/concepts-ch05-id-v0.csv

sudut tumpul

obtuse angle · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: ukuran sudut

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): sudut tumpul — angle-geometry

Identitas sumber

o004.concept.obtuse-angle · o004.petrunin.ch05.s01 · backend/concepts-ch05-id-v0.csv

garis tegak lurus

perpendicular lines · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: sudut siku-siku · garis

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.perpendicular-lines · o004.petrunin.ch05.s01 · backend/concepts-ch05-id-v0.csv

garis sumbu

perpendicular bisector · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: garis tegak lurus · titik tengah · ruas

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): garis sumbu — plane-geometry

Identitas sumber

o004.concept.perpendicular-bisector · o004.petrunin.ch05.s02 · backend/concepts-ch05-id-v0.csv

lokus titik yang berjarak sama dari kedua ujung ruas

equidistance locus of a segment · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: garis sumbu · syarat kekongruenan sisi-sisi-sisi (SSS)

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.perpendicular-bisector-locus · o004.petrunin.ch05.s02 · backend/concepts-ch05-id-v0.csv

titik kaki tegak lurus

footpoint · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: garis tegak lurus

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): titik kaki tegak lurus — plane-geometry

Identitas sumber

o004.concept.footpoint · o004.petrunin.ch05.s03 · backend/concepts-ch05-id-v0.csv

keberadaan dan ketunggalan garis tegak lurus

existence and uniqueness of a perpendicular · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: lokus titik yang berjarak sama dari kedua ujung ruas · sinar tunggal untuk setiap ukuran sudut

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.unique-perpendicular · o004.petrunin.ch05.s03 · backend/concepts-ch05-id-v0.csv

pencerminan terhadap garis

reflection across a line · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: keberadaan dan ketunggalan garis tegak lurus · garis sumbu

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): pencerminan terhadap garis — transformation-geometry

Identitas sumber

o004.concept.line-reflection · o004.petrunin.ch05.s04 · backend/concepts-ch05-id-v0.csv

transformasi isometrik langsung

direct motion · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: transformasi isometrik · ukuran sudut

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): transformasi isometrik langsung — transformation-geometry

Identitas sumber

o004.concept.direct-motion · o004.petrunin.ch05.s05 · backend/concepts-ch05-id-v0.csv

transformasi isometrik tak langsung

indirect motion · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: transformasi isometrik · pencerminan terhadap garis

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): transformasi isometrik tak langsung — transformation-geometry

Identitas sumber

o004.concept.indirect-motion · o004.petrunin.ch05.s05 · backend/concepts-ch05-id-v0.csv

klasifikasi orientasi transformasi isometrik

orientation classification of motions · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: transformasi isometrik langsung · transformasi isometrik tak langsung · lema tiga paku

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.motion-orientation-classification · o004.petrunin.ch05.s05 · backend/concepts-ch05-id-v0.csv

jarak titik ke garis

distance from a point to a line · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: titik kaki tegak lurus · jarak

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): jarak titik ke garis — metric-geometry

Identitas sumber

o004.concept.point-line-distance · o004.petrunin.ch05.s06 · backend/concepts-ch05-id-v0.csv

ruas tegak lurus meminimumkan jarak

perpendicular is shortest · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: jarak titik ke garis · ketaksamaan segitiga · pencerminan terhadap garis

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.perpendicular-minimizes-distance · o004.petrunin.ch05.s06 · backend/concepts-ch05-id-v0.csv

segitiga siku-siku

right triangle · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: sudut siku-siku

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): segitiga siku-siku — triangle-geometry

Identitas sumber

o004.concept.right-triangle · o004.petrunin.ch05.s06 · backend/concepts-ch05-id-v0.csv

segitiga tumpul

obtuse triangle · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: sudut tumpul

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): segitiga tumpul — triangle-geometry

Identitas sumber

o004.concept.obtuse-triangle · o004.petrunin.ch05.s06 · backend/concepts-ch05-id-v0.csv

segitiga lancip

acute triangle · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: sudut lancip

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): segitiga lancip — triangle-geometry

Identitas sumber

o004.concept.acute-triangle · o004.petrunin.ch05.s06 · backend/concepts-ch05-id-v0.csv

titik di dalam lingkaran

inside a circle · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: lingkaran · pusat · jari-jari · jarak

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.circle-interior · o004.petrunin.ch05.s07 · backend/concepts-ch05-id-v0.csv

titik di luar lingkaran

outside a circle · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: lingkaran · pusat · jari-jari · jarak

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.circle-exterior · o004.petrunin.ch05.s07 · backend/concepts-ch05-id-v0.csv

tali busur

chord · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: lingkaran · ruas

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): tali busur — circle-geometry

Identitas sumber

o004.concept.chord · o004.petrunin.ch05.s07 · backend/concepts-ch05-id-v0.csv

diameter

diameter · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: tali busur · pusat

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): diameter — circle-geometry

Identitas sumber

o004.concept.diameter · o004.petrunin.ch05.s07 · backend/concepts-ch05-id-v0.csv

banyaknya titik potong garis dan lingkaran

line-circle intersection count · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: lingkaran · garis sumbu · keberadaan dan ketunggalan garis tegak lurus

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.line-circle-intersection-count · o004.petrunin.ch05.s07 · backend/concepts-ch05-id-v0.csv

garis sekan

secant line · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: banyaknya titik potong garis dan lingkaran

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): garis sekan — circle-geometry

Identitas sumber

o004.concept.secant-line · o004.petrunin.ch05.s07 · backend/concepts-ch05-id-v0.csv

garis singgung

tangent line · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: banyaknya titik potong garis dan lingkaran · jarak titik ke garis

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): garis singgung — circle-geometry

Identitas sumber

o004.concept.tangent-line · o004.petrunin.ch05.s07 · backend/concepts-ch05-id-v0.csv

lingkaran bersinggungan

tangent circles · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: kriteria perpotongan lingkaran · garis singgung

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): lingkaran bersinggungan — circle-geometry

Identitas sumber

o004.concept.tangent-circles · o004.petrunin.ch05.s07 · backend/concepts-ch05-id-v0.csv

kriteria jarak pusat untuk dua lingkaran bersinggungan

center-distance criterion for tangent circles · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: lingkaran bersinggungan · jari-jari · kasus kesamaan pada ketaksamaan segitiga

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.circle-tangency-distance-criterion · o004.petrunin.ch05.s07 · backend/concepts-ch05-id-v0.csv

segitiga sebangun

similar triangles · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: segitiga kongruen · ukuran sudut · jarak

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): segitiga sebangun — triangle-geometry

Identitas sumber

o004.concept.similar-triangles · o004.petrunin.ch06 · backend/concepts-ch06-id-v0.csv

koefisien kesebangunan

similarity coefficient · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: segitiga sebangun · jarak

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): koefisien kesebangunan — triangle-geometry

Identitas sumber

o004.concept.similarity-coefficient · o004.petrunin.ch06 · backend/concepts-ch06-id-v0.csv

sisi-sisi bersesuaian yang sebanding

proportional corresponding sides · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: segitiga sebangun · koefisien kesebangunan

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.proportional-corresponding-sides · o004.petrunin.ch06 · backend/concepts-ch06-id-v0.csv

sudut-sudut yang bersesuaian

corresponding angles · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: segitiga sebangun · kekonsistenan tanda sudut segitiga

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): sudut-sudut yang bersesuaian — triangle-geometry

Identitas sumber

o004.concept.corresponding-angles · o004.petrunin.ch06 · backend/concepts-ch06-id-v0.csv

relasi ekuivalensi

equivalence relation · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: segitiga sebangun

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.equivalence-relation · o004.petrunin.ch06 · backend/concepts-ch06-id-v0.csv

kriteria kesebangunan sisi-sudut-sisi (SAS)

side-angle-side similarity condition · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: segitiga sebangun · syarat kekongruenan sisi-sudut-sisi (SAS) · perbesaran positif sepanjang dua sinar

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.sas-similarity-condition · o004.petrunin.ch06.s01 · backend/concepts-ch06-id-v0.csv

kriteria kesebangunan sudut-sudut (AA)

angle-angle similarity condition · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: segitiga sebangun · syarat kekongruenan sudut-sisi-sudut (ASA) · kekonsistenan tanda sudut segitiga

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.aa-similarity-condition · o004.petrunin.ch06.s01 · backend/concepts-ch06-id-v0.csv

kriteria kesebangunan sisi-sisi-sisi (SSS)

side-side-side similarity condition · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: segitiga sebangun · syarat kekongruenan sisi-sisi-sisi (SSS)

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.sss-similarity-condition · o004.petrunin.ch06.s01 · backend/concepts-ch06-id-v0.csv

transformasi yang mempertahankan sudut

angle-preserving transformation · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: bijeksi · ukuran sudut

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.angle-preserving-transformation · o004.petrunin.ch06.s01 · backend/concepts-ch06-id-v0.csv

faktor skala jarak global

global distance scale factor · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: transformasi yang mempertahankan sudut · segitiga sebangun · jarak

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.global-distance-scale-factor · o004.petrunin.ch06.s01 · backend/concepts-ch06-id-v0.csv

hipotenusa

hypotenuse · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: segitiga siku-siku

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): hipotenusa — triangle-geometry

Identitas sumber

o004.concept.hypotenuse · o004.petrunin.ch06.s02 · backend/concepts-ch06-id-v0.csv

sisi siku-siku

leg of a right triangle · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: segitiga siku-siku

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.leg-of-right-triangle · o004.petrunin.ch06.s02 · backend/concepts-ch06-id-v0.csv

teorema Pythagoras

Pythagorean theorem · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: segitiga siku-siku · hipotenusa · sisi siku-siku · kriteria kesebangunan sudut-sudut (AA)

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): teorema Pythagoras — triangle-geometry · teorema Pythagoras — triangle-geometry

Identitas sumber

o004.concept.pythagorean-theorem · o004.petrunin.ch06.s02 · backend/concepts-ch06-id-v0.csv

kebalikan teorema Pythagoras

converse of the Pythagorean theorem · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: teorema Pythagoras · syarat kekongruenan sisi-sisi-sisi (SSS)

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.converse-pythagorean-theorem · o004.petrunin.ch06.s02 · backend/concepts-ch06-id-v0.csv

metode segitiga sebangun

method of similar triangles · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: segitiga sebangun · sisi-sisi bersesuaian yang sebanding · sudut-sudut yang bersesuaian

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): metode segitiga sebangun — triangle-geometry

Identitas sumber

o004.concept.method-of-similar-triangles · o004.petrunin.ch06.s03 · backend/concepts-ch06-id-v0.csv

segiempat

quadrangle · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: Tidak ada yang dicatat.

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): segiempat — plane-geometry

Identitas sumber

o004.concept.quadrangle · o004.petrunin.ch06.s04 · backend/concepts-ch06-id-v0.csv

titik sudut segiempat

vertex of a quadrangle · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: segiempat

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.quadrangle-vertex · o004.petrunin.ch06.s04 · backend/concepts-ch06-id-v0.csv

sisi segiempat

side of a quadrangle · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: segiempat · ruas

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.quadrangle-side · o004.petrunin.ch06.s04 · backend/concepts-ch06-id-v0.csv

diagonal segiempat

diagonal of a quadrangle · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: segiempat · ruas

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.quadrangle-diagonal · o004.petrunin.ch06.s04 · backend/concepts-ch06-id-v0.csv

sisi-sisi berhadapan pada segiempat

opposite sides of a quadrangle · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: sisi segiempat

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.opposite-quadrangle-sides · o004.petrunin.ch06.s04 · backend/concepts-ch06-id-v0.csv

ketaksamaan Ptolemy

Ptolemy's inequality · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: diagonal segiempat · sisi-sisi berhadapan pada segiempat · ketaksamaan segitiga · metode segitiga sebangun

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.ptolemy-inequality · o004.petrunin.ch06.s04 · backend/concepts-ch06-id-v0.csv

kasus kesamaan pada ketaksamaan Ptolemy

equality case of Ptolemy's inequality · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: ketaksamaan Ptolemy · lingkaran · kolinear

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.ptolemy-equality-case · o004.petrunin.ch06.s04 · backend/concepts-ch06-id-v0.csv

garis berpotongan

intersecting lines · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: garis

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): garis berpotongan — plane-geometry

Identitas sumber

o004.concept.intersecting-lines · o004.petrunin.ch07 · backend/concepts-ch07-id-v0.csv

garis sejajar

parallel lines · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: garis

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): garis sejajar — plane-geometry

Identitas sumber

o004.concept.parallel-lines · o004.petrunin.ch07 · backend/concepts-ch07-id-v0.csv

tanda garis sejajar

parallel mark · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: garis sejajar

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.parallel-mark · o004.petrunin.ch07 · backend/concepts-ch07-id-v0.csv

garis sejajar tunggal melalui suatu titik

unique parallel through a point · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: garis sejajar · garis tegak lurus · metode segitiga sebangun · perbesaran positif sepanjang dua sinar

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.unique-parallel-through-point · o004.petrunin.ch07 · backend/concepts-ch07-id-v0.csv

relasi ekuivalensi kesejajaran

parallelism as an equivalence relation · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: garis sejajar · garis sejajar tunggal melalui suatu titik · relasi ekuivalensi

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.parallelism-equivalence-relation · o004.petrunin.ch07 · backend/concepts-ch07-id-v0.csv

pencerminan terhadap titik sebagai transformasi isometrik langsung

point reflection as a direct isometry · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: pencerminan terhadap titik · transformasi isometrik langsung

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.point-reflection-direct-isometry · o004.petrunin.ch07.s01 · backend/concepts-ch07-id-v0.csv

transversal

transversal · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: garis berpotongan

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): transversal — plane-geometry

Identitas sumber

o004.concept.transversal · o004.petrunin.ch07.s02 · backend/concepts-ch07-id-v0.csv

sifat transversal

transversal property · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: transversal · garis sejajar · tanda sudut berarah · pencerminan terhadap titik sebagai transformasi isometrik langsung

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): sifat transversal — plane-geometry

Identitas sumber

o004.concept.transversal-angle-sum-criterion · o004.petrunin.ch07.s02 · backend/concepts-ch07-id-v0.csv

jumlah sudut segitiga

angle sum of a triangle · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: sifat transversal · pencerminan terhadap titik

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.triangle-angle-sum · o004.petrunin.ch07.s03 · backend/concepts-ch07-id-v0.csv

jumlah sudut berarah segiempat

oriented angle sum of a quadrangle · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: jumlah sudut segitiga · segiempat

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.quadrangle-angle-sum · o004.petrunin.ch07.s03 · backend/concepts-ch07-id-v0.csv

segiempat tak degenerat

nondegenerate quadrangle · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: segiempat · kolinear

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.nondegenerate-quadrangle · o004.petrunin.ch07.s04 · backend/concepts-ch07-id-v0.csv

jajar genjang

parallelogram · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: segiempat tak degenerat · garis sejajar · sisi-sisi berhadapan pada segiempat

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): jajar genjang — plane-geometry

Identitas sumber

o004.concept.parallelogram · o004.petrunin.ch07.s04 · backend/concepts-ch07-id-v0.csv

simetri pusat

central symmetry · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: pencerminan terhadap titik · pusat pencerminan

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.central-symmetry · o004.petrunin.ch07.s04 · backend/concepts-ch07-id-v0.csv

simetri pusat jajar genjang

central symmetry of a parallelogram · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: jajar genjang · simetri pusat

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.parallelogram-central-symmetry · o004.petrunin.ch07.s04 · backend/concepts-ch07-id-v0.csv

diagonal jajar genjang saling membagi dua

diagonal bisection in a parallelogram · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: simetri pusat jajar genjang · diagonal segiempat · titik tengah

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.parallelogram-diagonal-bisection · o004.petrunin.ch07.s04 · backend/concepts-ch07-id-v0.csv

belah ketupat

rhombus · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: segiempat tak degenerat · jajar genjang

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): belah ketupat — plane-geometry

Identitas sumber

o004.concept.rhombus · o004.petrunin.ch07.s04 · backend/concepts-ch07-id-v0.csv

persegi panjang

rectangle · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: segiempat tak degenerat · sudut siku-siku · jajar genjang

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): persegi panjang — plane-geometry

Identitas sumber

o004.concept.rectangle · o004.petrunin.ch07.s04 · backend/concepts-ch07-id-v0.csv

persegi

square · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: persegi panjang · belah ketupat

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): persegi — plane-geometry

Identitas sumber

o004.concept.square · o004.petrunin.ch07.s04 · backend/concepts-ch07-id-v0.csv

jarak antara garis sejajar

distance between parallel lines · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: garis sejajar · jarak titik ke garis · persegi panjang

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): jarak antara garis sejajar — metric-geometry

Identitas sumber

o004.concept.distance-between-parallel-lines · o004.petrunin.ch07.s04 · backend/concepts-ch07-id-v0.csv

metode koordinat

coordinate method · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: bidang Euklides · jarak

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): metode koordinat — analytic-geometry

Identitas sumber

o004.concept.coordinate-method · o004.petrunin.ch07.s05 · backend/concepts-ch07-id-v0.csv

sumbu koordinat yang saling tegak lurus

perpendicular coordinate axes · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: garis tegak lurus · metode koordinat

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.orthogonal-coordinate-axes · o004.petrunin.ch07.s05 · backend/concepts-ch07-id-v0.csv

proyeksi koordinat tegak lurus

orthogonal coordinate projection · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: sumbu koordinat yang saling tegak lurus · titik kaki tegak lurus

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.orthogonal-coordinate-projection · o004.petrunin.ch07.s05 · backend/concepts-ch07-id-v0.csv

model koordinat bidang Euklides

Euclidean coordinate model · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: metode koordinat · proyeksi koordinat tegak lurus · teorema Pythagoras

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.euclidean-coordinate-model · o004.petrunin.ch07.s05 · backend/concepts-ch07-id-v0.csv

persamaan linear suatu garis

linear equation of a line · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: model koordinat bidang Euklides · garis sumbu

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.linear-equation-of-line · o004.petrunin.ch07.s05 · backend/concepts-ch07-id-v0.csv

persamaan parametrik suatu garis

parametric equation of a line · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: model koordinat bidang Euklides

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.parametric-equation-of-line · o004.petrunin.ch07.s05 · backend/concepts-ch07-id-v0.csv

persamaan koordinat lingkaran

coordinate equation of a circle · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: model koordinat bidang Euklides · lingkaran · pusat · jari-jari

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.coordinate-circle-equation · o004.petrunin.ch07.s06 · backend/concepts-ch07-id-v0.csv

lokus

locus · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: jarak · lingkaran

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): lokus — analytic-geometry

Identitas sumber

o004.concept.locus · o004.petrunin.ch07.s06 · backend/concepts-ch07-id-v0.csv

lingkaran Apollonius

Apollonius circle · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: lokus · persamaan koordinat lingkaran · jarak

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): lingkaran Apollonius — circle-geometry

Identitas sumber

o004.concept.apollonius-circle · o004.petrunin.ch07.s06 · backend/concepts-ch07-id-v0.csv

fokus lingkaran Apollonius

focus of an Apollonius circle · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: lingkaran Apollonius

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.apollonius-focus · o004.petrunin.ch07.s06 · backend/concepts-ch07-id-v0.csv

geometri segitiga

triangle geometry · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: keberadaan segitiga dengan panjang sisi yang diberikan

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): geometri segitiga — triangle-geometry

Identitas sumber

o004.concept.triangle-geometry · o004.petrunin.ch08 · backend/concepts-ch08-id-v0.csv

pusat lingkaran luar

circumcenter · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: garis sumbu · pusat

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): pusat lingkaran luar — triangle-geometry

Identitas sumber

o004.concept.circumcenter · o004.petrunin.ch08.s01 · backend/concepts-ch08-id-v0.csv

lingkaran luar

circumcircle · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: lingkaran · pusat lingkaran luar

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): lingkaran luar — triangle-geometry

Identitas sumber

o004.concept.circumcircle · o004.petrunin.ch08.s01 · backend/concepts-ch08-id-v0.csv

garis tinggi

altitude as a line · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: garis tegak lurus · titik kaki tegak lurus

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.triangle-altitude · o004.petrunin.ch08.s02 · backend/concepts-ch08-id-v0.csv

tinggi

altitude as a distance · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: garis tinggi · jarak titik ke garis

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.triangle-height · o004.petrunin.ch08.s02 · backend/concepts-ch08-id-v0.csv

ortosenter

orthocenter · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: garis tinggi

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): ortosenter — triangle-geometry

Identitas sumber

o004.concept.orthocenter · o004.petrunin.ch08.s02 · backend/concepts-ch08-id-v0.csv

sistem ortosentrik

orthocentric system · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: ortosenter

Buka bacaan Tautan menuju bab induk, bukan lokasi persis konsep; segmen asli tetap dicatat.

Padanan leksikal dalam register (bukan kesamaan identitas): sistem ortosentrik — triangle-geometry

Identitas sumber

o004.concept.orthocentric-system · o004.petrunin.seg.hints-ch08 · backend/concepts-ch08-id-v0.csv

segitiga medial

medial triangle · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: titik tengah

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): segitiga medial — triangle-geometry

Identitas sumber

o004.concept.medial-triangle · o004.petrunin.ch08.s02 · backend/concepts-ch08-id-v0.csv

garis berat segitiga

median of a triangle · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: titik tengah

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): garis berat segitiga — triangle-geometry

Identitas sumber

o004.concept.triangle-median · o004.petrunin.ch08.s03 · backend/concepts-ch08-id-v0.csv

titik berat

centroid · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: garis berat segitiga

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): titik berat — triangle-geometry

Identitas sumber

o004.concept.centroid · o004.petrunin.ch08.s03 · backend/concepts-ch08-id-v0.csv

garis Euler

Euler's line · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: ortosenter · titik berat · pusat lingkaran luar

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.euler-line · o004.petrunin.ch08.s03 · backend/concepts-ch08-id-v0.csv

homoteti

homothety · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: segitiga sebangun · koefisien kesebangunan

Buka bacaan Tautan menuju bab induk, bukan lokasi persis konsep; segmen asli tetap dicatat.

Padanan leksikal dalam register (bukan kesamaan identitas): homoteti — transformation-geometry

Identitas sumber

o004.concept.homothety · o004.petrunin.seg.hints-ch08 · backend/concepts-ch08-id-v0.csv

garis bagi sudut

angle bisector · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: tanda sudut berarah

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): garis bagi sudut — triangle-geometry

Identitas sumber

o004.concept.angle-bisector · o004.petrunin.ch08.s04 · backend/concepts-ch08-id-v0.csv

garis bagi luar

external angle bisector · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: garis bagi sudut · sudut lurus

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): garis bagi luar — triangle-geometry

Identitas sumber

o004.concept.external-angle-bisector · o004.petrunin.ch08.s04 · backend/concepts-ch08-id-v0.csv

rasio garis bagi sudut

angle-bisector ratio · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: garis bagi sudut · kriteria kesebangunan sudut-sudut (AA)

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.angle-bisector-ratio · o004.petrunin.ch08.s04 · backend/concepts-ch08-id-v0.csv

berjarak sama dari dua garis

equidistant from two lines · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: jarak titik ke garis

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): berjarak sama dari dua garis — metric-geometry

Identitas sumber

o004.concept.equidistant-from-two-lines · o004.petrunin.ch08.s05 · backend/concepts-ch08-id-v0.csv

pusat lingkaran dalam

incenter · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: garis bagi sudut · berjarak sama dari dua garis

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): pusat lingkaran dalam — triangle-geometry

Identitas sumber

o004.concept.incenter · o004.petrunin.ch08.s06 · backend/concepts-ch08-id-v0.csv

lingkaran dalam

incircle · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: pusat lingkaran dalam · lingkaran · garis singgung

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): lingkaran dalam — triangle-geometry · lingkaran dalam — triangle-geometry

Identitas sumber

o004.concept.incircle · o004.petrunin.ch08.s06 · backend/concepts-ch08-id-v0.csv

jari-jari lingkaran dalam

inradius · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: lingkaran dalam · jari-jari

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): jari-jari lingkaran dalam — triangle-geometry

Identitas sumber

o004.concept.inradius · o004.petrunin.ch08.s06 · backend/concepts-ch08-id-v0.csv

segitiga ortik

orthic triangle · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: garis tinggi · titik kaki tegak lurus

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): segitiga ortik — triangle-geometry

Identitas sumber

o004.concept.orthic-triangle · o004.petrunin.ch08.s06 · backend/concepts-ch08-id-v0.csv

eksenter (pusat lingkaran singgung luar)

excenter · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: garis bagi luar · garis bagi sudut

Buka bacaan Tautan menuju bab induk, bukan lokasi persis konsep; segmen asli tetap dicatat.

Identitas sumber

o004.concept.excenter · o004.petrunin.seg.hints-ch08 · backend/concepts-ch08-id-v0.csv

sudut pusat

central angle · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: lingkaran · pusat · ukuran sudut

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): sudut pusat — circle-geometry

Identitas sumber

o004.concept.central-angle · o004.petrunin.ch09.s01 · backend/concepts-ch09-id-v0.csv

sudut antara garis singgung dan tali busur

angle between a tangent line and a chord · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: garis singgung · tali busur · sudut pusat

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.tangent-chord-angle · o004.petrunin.ch09.s01 · backend/concepts-ch09-id-v0.csv

sudut keliling

inscribed angle · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: lingkaran · tali busur · ukuran sudut

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): sudut keliling — circle-geometry

Identitas sumber

o004.concept.inscribed-angle · o004.petrunin.ch09.s02 · backend/concepts-ch09-id-v0.csv

teorema sudut keliling

inscribed-angle theorem · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: sudut keliling · sudut pusat · sudut antara garis singgung dan tali busur

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.inscribed-angle-theorem · o004.petrunin.ch09.s02 · backend/concepts-ch09-id-v0.csv

segitiga terinskripsi

inscribed triangle · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: lingkaran · ruas

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): segitiga terinskripsi — circle-geometry

Identitas sumber

o004.concept.inscribed-triangle · o004.petrunin.ch09.s02 · backend/concepts-ch09-id-v0.csv

kuasa titik

power of a point · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: teorema sudut keliling · segitiga sebangun · garis sekan

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): kuasa titik — circle-geometry

Identitas sumber

o004.concept.point-power · o004.petrunin.ch09.s02 · backend/concepts-ch09-id-v0.csv

kriteria sudut siku-siku pada diameter

right-angle diameter criterion · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: teorema sudut keliling · diameter · sudut siku-siku

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.right-angle-diameter · o004.petrunin.ch09.s03 · backend/concepts-ch09-id-v0.csv

konstruksi hanya dengan penggaris

ruler-only construction · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: kriteria sudut siku-siku pada diameter · analisis masalah konstruksi · garis tegak lurus

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): konstruksi hanya dengan penggaris — geometric-construction

Identitas sumber

o004.concept.ruler-only-construction · o004.petrunin.ch09.s03 · backend/concepts-ch09-id-v0.csv

segiempat terinskripsi

inscribed quadrangle · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: segiempat · teorema sudut keliling

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): segiempat terinskripsi — circle-geometry

Identitas sumber

o004.concept.inscribed-quadrangle · o004.petrunin.ch09.s03 · backend/concepts-ch09-id-v0.csv

titik-titik pada satu lingkaran

concyclic points · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: lingkaran · segiempat terinskripsi

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.concyclic-points · o004.petrunin.ch09.s03 · backend/concepts-ch09-id-v0.csv

metode lingkaran bantu

method of an additional circle · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: segiempat terinskripsi · konstruksi penggaris dan jangka

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): metode lingkaran bantu — problem-solving

Identitas sumber

o004.concept.additional-circle-method · o004.petrunin.ch09.s04 · backend/concepts-ch09-id-v0.csv

garis Simson

Simson line · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: lingkaran luar · titik kaki tegak lurus · segiempat terinskripsi

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): garis Simson — triangle-geometry

Identitas sumber

o004.concept.simson-line · o004.petrunin.ch09.s04 · backend/concepts-ch09-id-v0.csv

busur lingkaran

circular arc · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: lingkaran · sisi yang sama dari suatu garis · tali busur

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): busur lingkaran — circle-geometry

Identitas sumber

o004.concept.circular-arc · o004.petrunin.ch09.s05 · backend/concepts-ch09-id-v0.csv

ujung busur

endpoint of an arc · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: busur lingkaran

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.arc-endpoint · o004.petrunin.ch09.s05 · backend/concepts-ch09-id-v0.csv

busur lawan

opposite arc · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: busur lingkaran · sisi yang sama dari suatu garis

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): busur lawan — circle-geometry

Identitas sumber

o004.concept.opposite-arc · o004.petrunin.ch09.s05 · backend/concepts-ch09-id-v0.csv

busur degenerat

degenerate arc · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: terletak di antara / keantaraan · sinar · ruas

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): busur degenerat — circle-geometry

Identitas sumber

o004.concept.degenerate-arc · o004.petrunin.ch09.s05 · backend/concepts-ch09-id-v0.csv

lingkaran umum

circline · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: lingkaran · garis

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): lingkaran umum — inversive-geometry

Identitas sumber

o004.concept.circline · o004.petrunin.ch09.s05 · backend/concepts-ch09-id-v0.csv

busur lingkaran umum

circline arc · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: lingkaran umum · busur lingkaran · busur degenerat

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): busur lingkaran umum — inversive-geometry

Identitas sumber

o004.concept.circline-arc · o004.petrunin.ch09.s05 · backend/concepts-ch09-id-v0.csv

urutan siklik

cyclic order · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: busur lingkaran umum · busur lawan

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): urutan siklik — circle-geometry

Identitas sumber

o004.concept.cyclic-order · o004.petrunin.ch09.s05 · backend/concepts-ch09-id-v0.csv

sinar singgung

tangent half-line · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: garis singgung · sinar · busur lingkaran umum · sisi yang sama dari suatu garis

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): sinar singgung — circle-geometry

Identitas sumber

o004.concept.tangent-ray · o004.petrunin.ch09.s06 · backend/concepts-ch09-id-v0.csv

kriteria sinar singgung pada busur

tangent-ray criterion for an arc · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: sinar singgung · teorema sudut keliling · tanda sudut berarah

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.tangent-ray-arc-criterion · o004.petrunin.ch09.s06 · backend/concepts-ch09-id-v0.csv

inversi

inversion · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: lingkaran · pusat · jari-jari · sinar · jarak

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): inversi — inversive-geometry

Identitas sumber

o004.concept.inversion · o004.petrunin.ch10.s01 · backend/concepts-ch10-id-v0.csv

titik-titik invers

inverse points · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: inversi · titik di dalam lingkaran · titik di luar lingkaran

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.inverse-points · o004.petrunin.ch10.s01 · backend/concepts-ch10-id-v0.csv

lingkaran inversi

circle of inversion · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: inversi · lingkaran · jari-jari

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): lingkaran inversi — inversive-geometry

Identitas sumber

o004.concept.circle-of-inversion · o004.petrunin.ch10.s01 · backend/concepts-ch10-id-v0.csv

pusat inversi

center of inversion · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: lingkaran inversi · pusat

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): pusat inversi — inversive-geometry

Identitas sumber

o004.concept.center-of-inversion · o004.petrunin.ch10.s01 · backend/concepts-ch10-id-v0.csv

sifat involutif inversi

involutive property of inversion · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: inversi · titik-titik invers · pemetaan identitas

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.inversion-involution · o004.petrunin.ch10.s01 · backend/concepts-ch10-id-v0.csv

lema kesebangunan inversi

inversion similarity lemma · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: titik-titik invers · segitiga sebangun · kriteria kesebangunan sisi-sudut-sisi (SAS) · tanda sudut berarah

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.inversion-similarity · o004.petrunin.ch10.s01 · backend/concepts-ch10-id-v0.csv

rasio silang

cross-ratio · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: segiempat · jarak

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): rasio silang — inversive-geometry

Identitas sumber

o004.concept.cross-ratio · o004.petrunin.ch10.s02 · backend/concepts-ch10-id-v0.csv

invariansi rasio silang terhadap inversi

invariance of the cross-ratio under inversion · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: rasio silang · lema kesebangunan inversi · inversi

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.cross-ratio-invariance · o004.petrunin.ch10.s02 · backend/concepts-ch10-id-v0.csv

titik di tak hingga

point at infinity · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: bidang Euklides · garis · sinar

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): titik di tak hingga — inversive-geometry

Identitas sumber

o004.concept.point-at-infinity · o004.petrunin.ch10.s03 · backend/concepts-ch10-id-v0.csv

bidang inversif

inversive plane · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: bidang Euklides · titik di tak hingga

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): bidang inversif — inversive-geometry

Identitas sumber

o004.concept.inversive-plane · o004.petrunin.ch10.s03 · backend/concepts-ch10-id-v0.csv

invers suatu lingkaran umum (circline)

inverse of a circline · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: bidang inversif · inversi · lingkaran umum · segiempat terinskripsi

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.inversion-of-circline · o004.petrunin.ch10.s03 · backend/concepts-ch10-id-v0.csv

alat lingkaran umum

circumtool · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: lingkaran umum · konstruksi penggaris dan jangka

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): alat lingkaran umum — geometric-construction

Identitas sumber

o004.concept.circumtool · o004.petrunin.ch10.s03 · backend/concepts-ch10-id-v0.csv

metode inversi

method of inversion · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: inversi · invers suatu lingkaran umum (circline) · invariansi rasio silang terhadap inversi

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.method-of-inversion · o004.petrunin.ch10.s04 · backend/concepts-ch10-id-v0.csv

identitas Ptolemy

Ptolemy's identity · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: segiempat terinskripsi · urutan siklik · rasio silang · kasus kesamaan pada ketaksamaan Ptolemy

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): identitas Ptolemy — circle-geometry

Identitas sumber

o004.concept.ptolemy-identity · o004.petrunin.ch10.s04 · backend/concepts-ch10-id-v0.csv

lingkaran-lingkaran yang saling tegak lurus

perpendicular circles · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: lingkaran · garis singgung · garis tegak lurus

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): lingkaran-lingkaran yang saling tegak lurus — inversive-geometry

Identitas sumber

o004.concept.perpendicular-circles · o004.petrunin.ch10.s05 · backend/concepts-ch10-id-v0.csv

lingkaran umum yang saling tegak lurus

perpendicular circlines · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: lingkaran umum · lingkaran-lingkaran yang saling tegak lurus · garis tegak lurus

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): lingkaran umum yang saling tegak lurus — inversive-geometry

Identitas sumber

o004.concept.perpendicular-circlines · o004.petrunin.ch10.s05 · backend/concepts-ch10-id-v0.csv

inversi terhadap garis

inversion across a line · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: pencerminan terhadap garis · bidang inversif

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): inversi terhadap garis — inversive-geometry

Identitas sumber

o004.concept.inversion-across-line · o004.petrunin.ch10.s05 · backend/concepts-ch10-id-v0.csv

inversi terhadap lingkaran umum

inversion across a circline · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: inversi · inversi terhadap garis · lingkaran umum

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): inversi terhadap lingkaran umum — inversive-geometry

Identitas sumber

o004.concept.inversion-across-circline · o004.petrunin.ch10.s05 · backend/concepts-ch10-id-v0.csv

kriteria lingkaran umum tetap pada inversi

fixed-circline criterion under inversion · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: inversi terhadap lingkaran umum · lingkaran umum yang saling tegak lurus

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.fixed-circline-under-inversion · o004.petrunin.ch10.s05 · backend/concepts-ch10-id-v0.csv

inversor

inversor · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: inversi terhadap lingkaran umum · konstruksi penggaris dan jangka

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): inversor — geometric-construction · inversor — geometric-constructions

Identitas sumber

o004.concept.inversor · o004.petrunin.ch10.s05 · backend/concepts-ch10-id-v0.csv

citra invers busur

inverse of an arc · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: invers suatu lingkaran umum (circline) · busur lingkaran umum

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.inverse-arc · o004.petrunin.ch10.s06 · backend/concepts-ch10-id-v0.csv

sudut antara busur

angle between arcs · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: busur lingkaran umum · sinar singgung · ukuran sudut

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): sudut antara busur — angle-geometry

Identitas sumber

o004.concept.angle-between-arcs · o004.petrunin.ch10.s06 · backend/concepts-ch10-id-v0.csv

perubahan tanda sudut pada inversi

angle behavior under inversion · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: inversi · citra invers busur · sudut antara busur · tanda sudut berarah

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.angle-sign-under-inversion · o004.petrunin.ch10.s06 · backend/concepts-ch10-id-v0.csv

invariansi inversi melalui konjugasi

invariance of inversion under conjugation · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: perubahan tanda sudut pada inversi · inversi terhadap lingkaran umum · lingkaran umum yang saling tegak lurus

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.inversion-conjugacy · o004.petrunin.ch10.s06 · backend/concepts-ch10-id-v0.csv

bidang netral

neutral plane · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: sistem aksioma bergaya Birkhoff · bidang Euklides adalah ruang metrik dengan sedikitnya dua titik · tepat satu garis melalui setiap dua titik berbeda · ukuran sudut berarah dalam (-pi, pi] · kekongruenan segitiga berdasarkan dua sisi dan sudut berarah apit

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): bidang netral — neutral-geometry · bidang netral — neutral-geometry

Identitas sumber

o004.concept.neutral-plane · o004.petrunin.ch11.intro · backend/concepts-ch11-id-v0.csv

bidang absolut

absolute plane · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: bidang netral

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): bidang absolut — neutral-geometry

Identitas sumber

o004.concept.absolute-plane · o004.petrunin.ch11.intro · backend/concepts-ch11-id-v0.csv

geometri netral

neutral geometry · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: bidang netral · sistem aksiomatik

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): geometri netral — neutral-geometry

Identitas sumber

o004.concept.neutral-geometry · o004.petrunin.ch11.intro · backend/concepts-ch11-id-v0.csv

geometri absolut

absolute geometry · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: geometri netral

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): geometri absolut — neutral-geometry

Identitas sumber

o004.concept.absolute-geometry · o004.petrunin.ch11.intro · backend/concepts-ch11-id-v0.csv

bidang Euklides sebagai bidang netral

Euclidean plane as a neutral plane · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: bidang Euklides · bidang netral · perbesaran positif sepanjang dua sinar

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.euclidean-plane-as-neutral-plane · o004.petrunin.ch11.intro · backend/concepts-ch11-id-v0.csv

penanda teorema geometri absolut

absolute-geometry theorem marker · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: geometri netral

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.neutral-theorem-marker · o004.petrunin.ch11.intro · backend/concepts-ch11-id-v0.csv

kekongruenan hipotenusa-kaki dalam geometri netral

hypotenuse-leg congruence in neutral geometry · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: bidang netral · segitiga siku-siku · hipotenusa · sisi siku-siku · syarat kekongruenan sisi-sisi-sisi (SSS)

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.hypotenuse-leg-congruence-neutral · o004.petrunin.ch11.intro · backend/concepts-ch11-id-v0.csv

ketergantungan bukti Euklides dibanding bukti netral

Euclidean versus neutral proof dependency · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: geometri netral · perbesaran positif sepanjang dua sinar · teorema Pythagoras

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.euclidean-versus-neutral-proof-dependency · o004.petrunin.ch11.intro · backend/concepts-ch11-id-v0.csv

batas jumlah dua sudut segitiga netral

two-angle sum bound in a neutral triangle · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: bidang netral · kekonsistenan tanda sudut segitiga · pencerminan terhadap titik

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.two-angle-sum-bound-neutral · o004.petrunin.ch11.s01 · backend/concepts-ch11-id-v0.csv

kekongruenan SAA dalam geometri netral

side-angle-angle congruence in neutral geometry · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: bidang netral · syarat kekongruenan sisi-sudut-sudut (SAA) · batas jumlah dua sudut segitiga netral

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.neutral-saa-congruence · o004.petrunin.ch11.s01 · backend/concepts-ch11-id-v0.csv

perbandingan sisi-sudut dalam geometri netral

side-angle comparison in neutral geometry · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: bidang netral · lokus titik yang berjarak sama dari kedua ujung ruas · ukuran sudut

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.neutral-side-angle-comparison · o004.petrunin.ch11.s02 · backend/concepts-ch11-id-v0.csv

batas jumlah tiga sudut segitiga netral

nonpositive excess of a neutral triangle · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: batas jumlah dua sudut segitiga netral · perbandingan sisi-sudut dalam geometri netral · ketaksamaan segitiga

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.neutral-triangle-angle-sum-bound · o004.petrunin.ch11.s02 · backend/concepts-ch11-id-v0.csv

defek segitiga

defect of a triangle · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: batas jumlah tiga sudut segitiga netral · jumlah sudut segitiga

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.triangle-defect · o004.petrunin.ch11.s03 · backend/concepts-ch11-id-v0.csv

aditivitas defek segitiga

additivity of triangle defect · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: defek segitiga · terletak di antara / keantaraan

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.defect-additivity · o004.petrunin.ch11.s03 · backend/concepts-ch11-id-v0.csv

invariansi defek terhadap pencerminan titik

defect invariance under point reflection · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: defek segitiga · pencerminan terhadap titik

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.defect-point-reflection-invariance · o004.petrunin.ch11.s03 · backend/concepts-ch11-id-v0.csv

persegi panjang dalam geometri netral

rectangle in neutral geometry · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: bidang netral · persegi panjang · defek segitiga

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.neutral-rectangle · o004.petrunin.ch11.s03 · backend/concepts-ch11-id-v0.csv

syarat jari-jari lingkaran dalam yang melampaui setiap batas

arbitrarily large inradius condition · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: bidang netral · jari-jari lingkaran dalam

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.unbounded-inradius-condition · o004.petrunin.ch11.s04 · backend/concepts-ch11-id-v0.csv

syarat-syarat ekuivalen ke-Euklides-an bidang netral

equivalent Euclidean conditions on a neutral plane · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: bidang netral · perbesaran positif sepanjang dua sinar · lingkaran luar · jarak antara garis sejajar · syarat jari-jari lingkaran dalam yang melampaui setiap batas · persegi panjang dalam geometri netral · defek segitiga

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.equivalent-euclidean-conditions · o004.petrunin.ch11.s04 · backend/concepts-ch11-id-v0.csv

versi hiperbolik aksioma garis sejajar

hyperbolic version of the parallel axiom · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: bidang netral · garis sejajar · perbesaran positif sepanjang dua sinar

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.hyperbolic-parallel-axiom · o004.petrunin.ch11.s04 · backend/concepts-ch11-id-v0.csv

geometri hiperbolik

hyperbolic geometry · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: versi hiperbolik aksioma garis sejajar · sistem aksioma bergaya Birkhoff

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): geometri hiperbolik — hyperbolic-geometry

Identitas sumber

o004.concept.hyperbolic-geometry · o004.petrunin.ch11.s04 · backend/concepts-ch11-id-v0.csv

independensi aksiomatik melalui konstruksi model

axiomatic independence by model construction · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: geometri hiperbolik · model matematis · sistem aksiomatik

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.axiomatic-independence-by-model · o004.petrunin.ch11.s04 · backend/concepts-ch11-id-v0.csv

konsistensi relatif

relative consistency · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: geometri hiperbolik · bidang Euklides · model matematis

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): konsistensi relatif — axiomatic-systems

Identitas sumber

o004.concept.relative-consistency · o004.petrunin.ch11.s04 · backend/concepts-ch11-id-v0.csv

luas

area · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: metrik

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): luas — measurement

Identitas sumber

o004.concept.area · o004.petrunin.ch11.s05 · backend/concepts-ch11-id-v0.csv

kelengkungan bidang netral

curvature of a neutral plane · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: bidang netral · defek segitiga · luas

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.neutral-curvature · o004.petrunin.ch11.s05 · backend/concepts-ch11-id-v0.csv

identitas kelengkungan-defek-luas

curvature-defect-area identity · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: kelengkungan bidang netral · defek segitiga · luas

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.curvature-defect-area-identity · o004.petrunin.ch11.s05 · backend/concepts-ch11-id-v0.csv

klasifikasi bidang netral berdasarkan kelengkungan

classification of neutral planes by curvature · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: kelengkungan bidang netral · isometri

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.neutral-plane-curvature-classification · o004.petrunin.ch11.s05 · backend/concepts-ch11-id-v0.csv

kelengkungan pada penskalaan ulang metrik

curvature under metric rescaling · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: metrik · klasifikasi bidang netral berdasarkan kelengkungan

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.metric-rescaling-curvature · o004.petrunin.ch11.s05 · backend/concepts-ch11-id-v0.csv

geometri sferis

spherical geometry · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: bidang Euklides · lingkaran

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): geometri sferis — spherical-geometry

Identitas sumber

o004.concept.spherical-geometry · o004.petrunin.ch11.s05 · backend/concepts-ch11-id-v0.csv

identitas kelengkungan sferis

spherical curvature identity · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: geometri sferis · identitas kelengkungan-defek-luas · luas

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.spherical-curvature-identity · o004.petrunin.ch11.s05 · backend/concepts-ch11-id-v0.csv

model cakram konformal

conformal disc model · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: model matematis · inversi · geometri hiperbolik

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): model cakram konformal — hyperbolic-models

Identitas sumber

o004.concept.conformal-disc-model · o004.petrunin.ch12.s01 · backend/concepts-ch12-id-v0.csv

lingkaran absolut

absolute circle · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: lingkaran

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): lingkaran absolut — hyperbolic-models

Identitas sumber

o004.concept.absolute-circle · o004.petrunin.ch12.s01 · backend/concepts-ch12-id-v0.csv

bidang hiperbolik dalam model cakram konformal

hyperbolic plane in the conformal disc model · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: model cakram konformal · lingkaran absolut · bidang Euklides

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.hyperbolic-plane-model · o004.petrunin.ch12.s01 · backend/concepts-ch12-id-v0.csv

batas ideal bidang hiperbolik

ideal boundary of the hyperbolic plane · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: lingkaran absolut · bidang hiperbolik dalam model cakram konformal

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.ideal-boundary · o004.petrunin.ch12.s01 · backend/concepts-ch12-id-v0.csv

titik-h

h-point · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: bidang hiperbolik dalam model cakram konformal

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): titik-h — hyperbolic-geometry

Identitas sumber

o004.concept.h-point · o004.petrunin.ch12.s01 · backend/concepts-ch12-id-v0.csv

garis hiperbolik

hyperbolic line · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: titik-h · lingkaran umum yang saling tegak lurus · lingkaran absolut

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): garis hiperbolik — hyperbolic-geometry

Identitas sumber

o004.concept.hyperbolic-line · o004.petrunin.ch12.s01 · backend/concepts-ch12-id-v0.csv

titik ideal garis-h

ideal point of an h-line · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: garis hiperbolik · batas ideal bidang hiperbolik

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.ideal-point · o004.petrunin.ch12.s01 · backend/concepts-ch12-id-v0.csv

ruas hiperbolik

hyperbolic segment · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: garis hiperbolik · ruas

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): ruas hiperbolik — hyperbolic-geometry

Identitas sumber

o004.concept.hyperbolic-segment · o004.petrunin.ch12.s01 · backend/concepts-ch12-id-v0.csv

sinar hiperbolik

hyperbolic ray · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: garis hiperbolik · sinar

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): sinar hiperbolik — hyperbolic-geometry

Identitas sumber

o004.concept.hyperbolic-ray · o004.petrunin.ch12.s01 · backend/concepts-ch12-id-v0.csv

segitiga hiperbolik

hyperbolic triangle · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: titik-h · ruas hiperbolik

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.hyperbolic-triangle · o004.petrunin.ch12.s01 · backend/concepts-ch12-id-v0.csv

rasio silang delta untuk dua titik-h

cross-ratio delta for two h-points · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: rasio silang · titik ideal garis-h · garis hiperbolik

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.hyperbolic-cross-ratio-delta · o004.petrunin.ch12.s01 · backend/concepts-ch12-id-v0.csv

jarak hiperbolik

hyperbolic distance · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: rasio silang delta untuk dua titik-h · metrik

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): jarak hiperbolik — hyperbolic-metric

Identitas sumber

o004.concept.hyperbolic-distance · o004.petrunin.ch12.s01 · backend/concepts-ch12-id-v0.csv

sudut hiperbolik

hyperbolic angle · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: sinar hiperbolik · sudut

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): sudut hiperbolik — hyperbolic-angle

Identitas sumber

o004.concept.hyperbolic-angle · o004.petrunin.ch12.s01 · backend/concepts-ch12-id-v0.csv

ukuran sudut hiperbolik

hyperbolic angle measure · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: sudut hiperbolik · sudut antara busur · sinar singgung

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.hyperbolic-angle-measure · o004.petrunin.ch12.s01 · backend/concepts-ch12-id-v0.csv

inversi ortogonal sebagai isometri-h

orthogonal inversion as an h-isometry · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: inversi terhadap lingkaran umum · lingkaran umum yang saling tegak lurus · jarak hiperbolik · ukuran sudut hiperbolik

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.orthogonal-inversion-h-isometry · o004.petrunin.ch12.s03 · backend/concepts-ch12-id-v0.csv

normalisasi konfigurasi-h di pusat cakram

normalizing an h-configuration at the disc center · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: inversi ortogonal sebagai isometri-h · bijeksi

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.hyperbolic-model-normalization · o004.petrunin.ch12.s03 · backend/concepts-ch12-id-v0.csv

jarak hiperbolik radial

radial hyperbolic distance · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: jarak hiperbolik · normalisasi konfigurasi-h di pusat cakram

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.hyperbolic-radial-distance · o004.petrunin.ch12.s03 · backend/concepts-ch12-id-v0.csv

aditivitas jarak-h pada garis-h

additivity of h-distance on an h-line · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: jarak hiperbolik · terletak di antara / keantaraan

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.hyperbolic-line-distance-additivity · o004.petrunin.ch12.s03 · backend/concepts-ch12-id-v0.csv

lingkaran hiperbolik

hyperbolic circle · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: jarak hiperbolik · pusat · jari-jari

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.hyperbolic-circle · o004.petrunin.ch12.s03 · backend/concepts-ch12-id-v0.csv

representasi Euklides suatu lingkaran-h

Euclidean representation of an h-circle · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: lingkaran hiperbolik · lingkaran · inversi ortogonal sebagai isometri-h

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.euclidean-representation-of-h-circle · o004.petrunin.ch12.s03 · backend/concepts-ch12-id-v0.csv

metrik model cakram konformal

metric of the conformal disc model · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: jarak hiperbolik · ruang metrik · ketaksamaan segitiga

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.hyperbolic-metric · o004.petrunin.ch12.s04.a0 · backend/concepts-ch12-id-v0.csv

ketaksamaan segitiga untuk jarak-h

triangle inequality for h-distance · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: metrik model cakram konformal · representasi Euklides suatu lingkaran-h

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.hyperbolic-triangle-inequality · o004.petrunin.ch12.s04.a0 · backend/concepts-ch12-id-v0.csv

karakterisasi garis-h sebagai garis metrik

h-line characterization as a metric line · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: garis hiperbolik · metrik model cakram konformal · garis

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.metric-line-characterization-h-line · o004.petrunin.ch12.s04.a1 · backend/concepts-ch12-id-v0.csv

transport konformal ukuran sudut

conformal transport of angle measure · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: inversi ortogonal sebagai isometri-h · transformasi yang mempertahankan sudut

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.conformal-angle-transport · o004.petrunin.ch12.s04.a2 · backend/concepts-ch12-id-v0.csv

aksioma sudut dalam model cakram konformal

angle axioms in the conformal disc model · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: ukuran sudut hiperbolik · kekontinuan · ukuran sudut berarah dalam (-pi, pi]

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.hyperbolic-angle-axioms · o004.petrunin.ch12.s04.a2 · backend/concepts-ch12-id-v0.csv

kekongruenan SAS dalam model hiperbolik

SAS congruence in the hyperbolic model · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: jarak hiperbolik · ukuran sudut hiperbolik · syarat kekongruenan sisi-sudut-sisi (SAS) · isometri

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.hyperbolic-sas-congruence · o004.petrunin.ch12.s04.a3 · backend/concepts-ch12-id-v0.csv

verifikasi model bagi Aksioma V hiperbolik

model verification of hyperbolic Axiom V · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: versi hiperbolik aksioma garis sejajar · garis hiperbolik · model cakram konformal

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.hyperbolic-axiom-v-model · o004.petrunin.ch12.s04.h4 · backend/concepts-ch12-id-v0.csv

lebih dari satu garis-h sejajar melalui titik luar

multiple h-parallels through an external point · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: verifikasi model bagi Aksioma V hiperbolik

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.multiple-hyperbolic-parallels · o004.petrunin.ch12.s04.h4 · backend/concepts-ch12-id-v0.csv

ketaktransitifan kesejajaran garis-h

nontransitivity of h-line parallelism · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: lebih dari satu garis-h sejajar melalui titik luar · relasi ekuivalensi · relasi ekuivalensi kesejajaran

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.hyperbolic-parallelism-not-equivalence · o004.petrunin.ch12.s04.h4 · backend/concepts-ch12-id-v0.csv

konsistensi relatif melalui model cakram konformal

relative consistency via the conformal disc model · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: model cakram konformal · konsistensi relatif · independensi aksiomatik melalui konstruksi model

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.relative-consistency-conformal-model · o004.petrunin.ch12.s04 · backend/concepts-ch12-id-v0.csv

fungsi hiperbolik

hyperbolic functions · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: jarak hiperbolik

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.hyperbolic-functions · o004.petrunin.ch12.s05 · backend/concepts-ch12-id-v0.csv

kosinus hiperbolik

hyperbolic cosine · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: fungsi hiperbolik

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): kosinus hiperbolik — hyperbolic-trigonometry

Identitas sumber

o004.concept.hyperbolic-cosine · o004.petrunin.ch12.s05 · backend/concepts-ch12-id-v0.csv

sinus hiperbolik

hyperbolic sine · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: fungsi hiperbolik

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): sinus hiperbolik — hyperbolic-trigonometry

Identitas sumber

o004.concept.hyperbolic-sine · o004.petrunin.ch12.s05 · backend/concepts-ch12-id-v0.csv

tangen hiperbolik

hyperbolic tangent · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: fungsi hiperbolik · kosinus hiperbolik · sinus hiperbolik

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): tangen hiperbolik — hyperbolic-trigonometry

Identitas sumber

o004.concept.hyperbolic-tangent · o004.petrunin.ch12.s05 · backend/concepts-ch12-id-v0.csv

identitas argumen ganda untuk fungsi hiperbolik

double-argument identities for hyperbolic functions · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: kosinus hiperbolik · sinus hiperbolik

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.double-argument-hyperbolic-identities · o004.petrunin.ch12.s05 · backend/concepts-ch12-id-v0.csv

hubungan koordinat radial Euklides-hiperbolik

Euclidean-hyperbolic radial coordinate relation · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: jarak hiperbolik radial · tangen hiperbolik

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.euclidean-hyperbolic-radial-coordinate · o004.petrunin.ch12.s05 · backend/concepts-ch12-id-v0.csv

rumus jarak hiperbolik dengan titik invers

hyperbolic distance formulas using inverse points · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: jarak hiperbolik · titik-titik invers · kosinus hiperbolik · sinus hiperbolik · tangen hiperbolik

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.inversion-distance-formulas · o004.petrunin.ch12.s05 · backend/concepts-ch12-id-v0.csv

sudut paralelisme

angle of parallelism · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: garis hiperbolik · jarak titik ke garis · ukuran sudut hiperbolik

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): sudut paralelisme — hyperbolic-parallelism

Identitas sumber

o004.concept.angle-of-parallelism · o004.petrunin.ch13.s01 · backend/concepts-ch13-id-v0.csv

garis-h sejajar asimtotik

asymptotically parallel h-lines · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: garis hiperbolik · titik ideal garis-h · sudut paralelisme

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): garis-h sejajar asimtotik — hyperbolic-parallelism

Identitas sumber

o004.concept.asymptotically-parallel-h-lines · o004.petrunin.ch13.s01 · backend/concepts-ch13-id-v0.csv

garis-h ultraparalel

ultraparallel h-lines · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: garis hiperbolik · garis-h sejajar asimtotik · lebih dari satu garis-h sejajar melalui titik luar

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): garis-h ultraparalel — hyperbolic-parallelism

Identitas sumber

o004.concept.ultraparallel-h-lines · o004.petrunin.ch13.s01 · backend/concepts-ch13-id-v0.csv

garis tegak lurus bersama bagi garis-h

common perpendicular of h-lines · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: garis-h ultraparalel · garis tegak lurus · garis hiperbolik

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.common-perpendicular-h-lines · o004.petrunin.ch13.s01 · backend/concepts-ch13-id-v0.csv

rumus jarak untuk sudut paralelisme

distance formula for the angle of parallelism · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: sudut paralelisme · jarak hiperbolik · fungsi hiperbolik

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.angle-parallelism-distance-formula · o004.petrunin.ch13.s01 · backend/concepts-ch13-id-v0.csv

lingkaran dalam-h suatu segitiga-h

incircle of an h-triangle · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: lingkaran hiperbolik · segitiga hiperbolik · lingkaran dalam

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.hyperbolic-incircle · o004.petrunin.ch13.s02 · backend/concepts-ch13-id-v0.csv

jari-jari dalam-h suatu segitiga-h

inradius of an h-triangle · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: lingkaran dalam-h suatu segitiga-h · jarak hiperbolik · jari-jari lingkaran dalam

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.hyperbolic-inradius · o004.petrunin.ch13.s02 · backend/concepts-ch13-id-v0.csv

batas atas universal jari-jari dalam-h

universal upper bound for the h-inradius · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: jari-jari dalam-h suatu segitiga-h · rumus jarak untuk sudut paralelisme

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.universal-hyperbolic-inradius-bound · o004.petrunin.ch13.s02 · backend/concepts-ch13-id-v0.csv

ekuidistan atau hipersiklus suatu garis-h

equidistant curve of an h-line · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: garis hiperbolik · jarak hiperbolik · inversi ortogonal sebagai isometri-h

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.hypercycle · o004.petrunin.ch13.s03 · backend/concepts-ch13-id-v0.csv

horosiklus

horocycle · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: bidang hiperbolik dalam model cakram konformal · lingkaran absolut · lingkaran

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): horosiklus — hyperbolic-curves

Identitas sumber

o004.concept.horocycle · o004.petrunin.ch13.s03 · backend/concepts-ch13-id-v0.csv

trikotomi lingkaran-h horosiklus dan hipersiklus

h-circle horocycle hypercycle trichotomy · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: lingkaran hiperbolik · horosiklus · ekuidistan atau hipersiklus suatu garis-h

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.hyperbolic-round-curve-trichotomy · o004.petrunin.ch13.s03 · backend/concepts-ch13-id-v0.csv

klasifikasi kurva luar segitiga-h tak degenerat

circumcurve classification of a nondegenerate h-triangle · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: segitiga hiperbolik · trikotomi lingkaran-h horosiklus dan hipersiklus · lingkaran umum

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.hyperbolic-circumcurve-classification · o004.petrunin.ch13.s03 · backend/concepts-ch13-id-v0.csv

defek positif segitiga hiperbolik tak degenerat

positive defect of a nondegenerate hyperbolic triangle · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: defek segitiga · batas jumlah tiga sudut segitiga netral · segitiga hiperbolik

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.positive-hyperbolic-triangle-defect · o004.petrunin.ch13.s04 · backend/concepts-ch13-id-v0.csv

kekongruenan AAA dalam geometri hiperbolik

AAA congruence in hyperbolic geometry · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: defek positif segitiga hiperbolik tak degenerat · kekongruenan SAS dalam model hiperbolik · kekongruenan SAA dalam geometri netral

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.hyperbolic-aaa-congruence · o004.petrunin.ch13.s04 · backend/concepts-ch13-id-v0.csv

kekakuan segitiga hiperbolik sebangun

rigidity of similar hyperbolic triangles · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: kekongruenan AAA dalam geometri hiperbolik · segitiga sebangun · segitiga kongruen

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.hyperbolic-similarity-rigidity · o004.petrunin.ch13.s04 · backend/concepts-ch13-id-v0.csv

transformasi yang mempertahankan sudut sebagai isometri-h

angle-preserving transformation as an h-isometry · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: transformasi yang mempertahankan sudut · kekongruenan AAA dalam geometri hiperbolik · isometri

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.angle-preserving-h-isometry · o004.petrunin.ch13.s04 · backend/concepts-ch13-id-v0.csv

faktor konformal metrik-h

conformal factor of the h-metric · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: metrik model cakram konformal · transport konformal ukuran sudut · normalisasi konfigurasi-h di pusat cakram

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.hyperbolic-conformal-factor · o004.petrunin.ch13.s05 · backend/concepts-ch13-id-v0.csv

interpretasi batas kecepatan bagi jarak-h

speed-limit interpretation of h-distance · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: faktor konformal metrik-h · jarak hiperbolik · jarak

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.hyperbolic-speed-limit-interpretation · o004.petrunin.ch13.s05 · backend/concepts-ch13-id-v0.csv

segi beraturan terinskripsi pada lingkaran

regular polygon inscribed in a circle · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: lingkaran · sudut pusat · tali busur

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.regular-inscribed-polygon · o004.petrunin.ch13.s05 · backend/concepts-ch13-id-v0.csv

limit poligonal yang mendefinisikan keliling lingkaran Euklides

polygonal limit defining Euclidean circle circumference · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: segi beraturan terinskripsi pada lingkaran

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.euclidean-circle-circumference-limit · o004.petrunin.ch13.s05 · backend/concepts-ch13-id-v0.csv

keliling lingkaran-h

circumference of an h-circle · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: lingkaran hiperbolik · sinus hiperbolik · faktor konformal metrik-h · limit poligonal yang mendefinisikan keliling lingkaran Euklides

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.hyperbolic-circle-circumference · o004.petrunin.ch13.s05 · backend/concepts-ch13-id-v0.csv

pertumbuhan eksponensial keliling lingkaran-h

exponential growth of h-circle circumference · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: keliling lingkaran-h · sinus hiperbolik

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.exponential-hyperbolic-circumference-growth · o004.petrunin.ch13.s05 · backend/concepts-ch13-id-v0.csv

teorema Pythagoras hiperbolik

hyperbolic Pythagorean theorem · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: segitiga siku-siku · kosinus hiperbolik · rumus jarak hiperbolik dengan titik invers

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): teorema Pythagoras hiperbolik — hyperbolic-trigonometry

Identitas sumber

o004.concept.hyperbolic-pythagorean-theorem · o004.petrunin.ch13.s06 · backend/concepts-ch13-id-v0.csv

limit segitiga kecil Euklides dari teorema Pythagoras hiperbolik

Euclidean small-triangle limit of the hyperbolic Pythagorean theorem · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: teorema Pythagoras hiperbolik · teorema Pythagoras

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.euclidean-small-triangle-limit · o004.petrunin.ch13.s06 · backend/concepts-ch13-id-v0.csv

hampiran sisi besar segitiga siku-siku hiperbolik

large-side asymptotic for a hyperbolic right triangle · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: teorema Pythagoras hiperbolik · kosinus hiperbolik · ketaksamaan segitiga untuk jarak-h

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.large-hyperbolic-right-triangle-asymptotic · o004.petrunin.ch13.s06 · backend/concepts-ch13-id-v0.csv

geometri afin

affine geometry · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: bidang Euklides · garis · kolinear

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): geometri afin — affine-geometry

Identitas sumber

o004.concept.affine-geometry · o004.petrunin.ch14.s01 · backend/concepts-ch14-id-v0.csv

struktur insidensi

incidence structure · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: garis · kolinear

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): struktur insidensi — affine-geometry

Identitas sumber

o004.concept.incidence-structure · o004.petrunin.ch14.s01 · backend/concepts-ch14-id-v0.csv

transformasi afin

affine transformation · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: geometri afin · struktur insidensi

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): transformasi afin — affine-transformations

Identitas sumber

o004.concept.affine-transformation · o004.petrunin.ch14.s01 · backend/concepts-ch14-id-v0.csv

sifat invarian afin

property preserved by affine transformations · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: transformasi afin

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.affine-invariant · o004.petrunin.ch14.s01 · backend/concepts-ch14-id-v0.csv

pemertahanan garis sejajar oleh transformasi afin

preservation of parallel lines under affine transformations · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: transformasi afin · garis sejajar

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.affine-parallelism-preservation · o004.petrunin.ch14.s01 · backend/concepts-ch14-id-v0.csv

pemetaan geser

shear mapping · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: transformasi afin · metode koordinat

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): pemetaan geser — affine-transformations

Identitas sumber

o004.concept.shear-map · o004.petrunin.ch14.s01 · backend/concepts-ch14-id-v0.csv

bentuk koordinat pemetaan afin

coordinate form of an affine mapping · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: transformasi afin · metode koordinat

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.coordinate-affine-map · o004.petrunin.ch14.s01 · backend/concepts-ch14-id-v0.csv

karakterisasi kesegarisan bagi transformasi afin

collinearity characterization of affine transformations · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: kolinear · transformasi afin

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.collinearity-characterization-affine · o004.petrunin.ch14.s01 · backend/concepts-ch14-id-v0.csv

konstruksi dengan penggaris dan alat garis sejajar

ruler-and-parallel-tool construction · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: konstruksi hanya dengan penggaris · garis sejajar

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): konstruksi dengan penggaris dan alat garis sejajar — geometric-construction

Identitas sumber

o004.concept.ruler-parallel-tool-construction · o004.petrunin.ch14.s02 · backend/concepts-ch14-id-v0.csv

invariansi afin titik tengah

affine invariance of midpoint · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: transformasi afin · titik tengah · konstruksi dengan penggaris dan alat garis sejajar

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): invariansi afin titik tengah — affine-invariants

Identitas sumber

o004.concept.affine-midpoint-invariance · o004.petrunin.ch14.s02 · backend/concepts-ch14-id-v0.csv

konstruksi geometri operasi lapangan real

geometric construction of real-field operations · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: metode koordinat · konstruksi dengan penggaris dan alat garis sejajar · segitiga sebangun

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.real-line-field-constructions · o004.petrunin.ch14.s02 · backend/concepts-ch14-id-v0.csv

kemustahilan konstruksi melalui invariansi afin

impossibility by affine invariance · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: sifat invarian afin · pemetaan geser · konstruksi dengan penggaris dan alat garis sejajar

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.affine-construction-impossibility · o004.petrunin.ch14.s02 · backend/concepts-ch14-id-v0.csv

pemertahanan aturan jajar genjang secara afin

affine preservation of the parallelogram rule · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: transformasi afin · jajar genjang

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.affine-parallelogram-rule · o004.petrunin.ch14.s03 · backend/concepts-ch14-id-v0.csv

pemertahanan hubungan skalar vektor oleh transformasi afin

preservation of scalar vector relations under affine transformations · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: pemertahanan aturan jajar genjang secara afin · konstruksi geometri operasi lapangan real

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.affine-scalar-preservation · o004.petrunin.ch14.s03 · backend/concepts-ch14-id-v0.csv

teorema dasar geometri afin

fundamental theorem of affine geometry · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: pemertahanan hubungan skalar vektor oleh transformasi afin · bentuk koordinat pemetaan afin

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): teorema dasar geometri afin — affine-geometry

Identitas sumber

o004.concept.fundamental-theorem-affine-geometry · o004.petrunin.ch14.s03 · backend/concepts-ch14-id-v0.csv

bentuk normal koordinat transformasi afin

coordinate normal form of an affine transformation · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: teorema dasar geometri afin · bentuk koordinat pemetaan afin

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.affine-coordinate-normal-form · o004.petrunin.ch14.s03 · backend/concepts-ch14-id-v0.csv

kekontinuan transformasi afin

continuity of affine transformations · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: teorema dasar geometri afin · kekontinuan

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.affine-map-continuity · o004.petrunin.ch14.s03 · backend/concepts-ch14-id-v0.csv

transformasi afin yang mempertahankan lingkaran sebagai isometri

circle-preserving affine transformation as an isometry · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: bentuk normal koordinat transformasi afin · lingkaran · isometri

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.circle-preserving-affine-isometry · o004.petrunin.ch14.s03 · backend/concepts-ch14-id-v0.csv

transformasi inversif

inversive transformation · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: bidang inversif · inversi · lingkaran umum

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): transformasi inversif — inversive-geometry

Identitas sumber

o004.concept.inversive-transformation · o004.petrunin.ch14.s03 · backend/concepts-ch14-id-v0.csv

automorfisme lapangan bilangan real

automorphism of the real field · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: konstruksi geometri operasi lapangan real

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.real-field-automorphism · o004.petrunin.ch14.s04 · backend/concepts-ch14-id-v0.csv

fungsi identitas sebagai satu-satunya automorfisme lapangan real

identity is the only automorphism of the real field · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: automorfisme lapangan bilangan real

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.real-field-automorphism-rigidity · o004.petrunin.ch14.s04 · backend/concepts-ch14-id-v0.csv

invariansi rasio titik segaris terhadap transformasi afin

invariance of a collinear point ratio under affine transformations · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: pemertahanan hubungan skalar vektor oleh transformasi afin · kolinear

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.affine-collinear-ratio-invariance · o004.petrunin.ch14.s05 · backend/concepts-ch14-id-v0.csv

teorema Menelaus

Menelaus's theorem · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: invariansi rasio titik segaris terhadap transformasi afin · segitiga sebangun

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): teorema Menelaus — triangle-geometry

Identitas sumber

o004.concept.menelaus-theorem · o004.petrunin.ch14.s05 · backend/concepts-ch14-id-v0.csv

teorema Ceva

Ceva's theorem · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: teorema Menelaus · titik berat

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): teorema Ceva — triangle-geometry · teorema Ceva — triangle-geometry

Identitas sumber

o004.concept.ceva-theorem · o004.petrunin.ch14.s05 · backend/concepts-ch14-id-v0.csv

teorema Van Aubel

Van Aubel's theorem · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: teorema Menelaus · teorema Ceva

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): teorema Van Aubel — triangle-geometry

Identitas sumber

o004.concept.van-aubel-theorem · o004.petrunin.ch14.s05 · backend/concepts-ch14-id-v0.csv

rasio bertanda

signed ratio · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: invariansi rasio titik segaris terhadap transformasi afin · kolinear

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): rasio bertanda — affine-invariants

Identitas sumber

o004.concept.signed-ratio · o004.petrunin.ch14.s05 · backend/concepts-ch14-id-v0.csv

kebalikan bentuk bertanda

converses of the signed forms · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: rasio bertanda · teorema Menelaus · teorema Ceva · teorema Van Aubel

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.signed-theorem-converses · o004.petrunin.ch14.s05 · backend/concepts-ch14-id-v0.csv

geometri proyektif

projective geometry · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: struktur insidensi · geometri afin

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): geometri proyektif — projective-geometry

Identitas sumber

o004.concept.projective-geometry · o004.petrunin.ch15.s01 · backend/concepts-ch15-id-v0.csv

perluasan proyektif

projective extension · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: geometri proyektif · bidang Euklides · garis sejajar

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): perluasan proyektif — projective-geometry

Identitas sumber

o004.concept.projective-extension · o004.petrunin.ch15.s01 · backend/concepts-ch15-id-v0.csv

garis-garis konkuren

concurrent lines · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: garis · kolinear

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): garis-garis konkuren — incidence-geometry

Identitas sumber

o004.concept.concurrent-lines · o004.petrunin.ch15.s01 · backend/concepts-ch15-id-v0.csv

berkas garis

pencil of lines · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: garis-garis konkuren

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): berkas garis — incidence-geometry

Identitas sumber

o004.concept.pencil-of-lines · o004.petrunin.ch15.s01 · backend/concepts-ch15-id-v0.csv

berkas garis berpusat

centered pencil of lines · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: berkas garis

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.centered-pencil · o004.petrunin.ch15.s01 · backend/concepts-ch15-id-v0.csv

berkas garis sejajar

parallel pencil of lines · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: berkas garis · garis sejajar

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.parallel-pencil · o004.petrunin.ch15.s01 · backend/concepts-ch15-id-v0.csv

titik ideal pada perluasan proyektif

ideal point in a projective extension · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: berkas garis sejajar · perluasan proyektif

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): titik ideal pada perluasan proyektif — projective-geometry

Identitas sumber

o004.concept.projective-ideal-point · o004.petrunin.ch15.s01 · backend/concepts-ch15-id-v0.csv

garis ideal

ideal line · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: berkas garis sejajar · titik ideal pada perluasan proyektif

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): garis ideal — projective-geometry

Identitas sumber

o004.concept.ideal-line · o004.petrunin.ch15.s01 · backend/concepts-ch15-id-v0.csv

bidang proyektif

projective plane · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: perluasan proyektif · garis ideal · struktur insidensi

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): bidang proyektif — projective-geometry

Identitas sumber

o004.concept.projective-plane · o004.petrunin.ch15.s01 · backend/concepts-ch15-id-v0.csv

ruang Euklides berdimensi tiga

three-dimensional Euclidean space · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: ruang metrik · bidang Euklides

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.euclidean-three-space · o004.petrunin.ch15.s02 · backend/concepts-ch15-id-v0.csv

bidang dalam ruang Euklides

plane in Euclidean space · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: ruang Euklides berdimensi tiga · metode koordinat

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.plane-in-euclidean-space · o004.petrunin.ch15.s02 · backend/concepts-ch15-id-v0.csv

model ruang bidang proyektif

spatial model of the projective plane · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: bidang proyektif · ruang Euklides berdimensi tiga · bidang dalam ruang Euklides

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.spatial-projective-model · o004.petrunin.ch15.s03 · backend/concepts-ch15-id-v0.csv

korespondensi insidensi titik-garis dalam model ruang

point-line incidence correspondence in the spatial model · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: model ruang bidang proyektif · struktur insidensi

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.projective-incidence-correspondence · o004.petrunin.ch15.s03 · backend/concepts-ch15-id-v0.csv

proyeksi perspektif

perspective projection · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: bidang dalam ruang Euklides · model ruang bidang proyektif

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): proyeksi perspektif — projective-transformations

Identitas sumber

o004.concept.perspective-projection · o004.petrunin.ch15.s04 · backend/concepts-ch15-id-v0.csv

pusat proyeksi perspektif

center of a perspective projection · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: proyeksi perspektif

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.perspective-projection-center · o004.petrunin.ch15.s04 · backend/concepts-ch15-id-v0.csv

transformasi perspektif

perspective transformation · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: proyeksi perspektif · metode koordinat

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): transformasi perspektif — projective-transformations

Identitas sumber

o004.concept.perspective-transformation · o004.petrunin.ch15.s04 · backend/concepts-ch15-id-v0.csv

transformasi proyektif

projective transformation · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: bidang proyektif · struktur insidensi

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): transformasi proyektif — projective-transformations

Identitas sumber

o004.concept.projective-transformation · o004.petrunin.ch15.s05 · backend/concepts-ch15-id-v0.csv

transformasi afin sebagai transformasi proyektif

affine transformations as projective transformations · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: transformasi afin · transformasi proyektif · garis ideal

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.affine-projective-subgroup · o004.petrunin.ch15.s05 · backend/concepts-ch15-id-v0.csv

bentuk normal afin-perspektif transformasi proyektif

affine-perspective normal form of a projective transformation · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: transformasi proyektif · transformasi perspektif · transformasi afin sebagai transformasi proyektif

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.projective-normal-form · o004.petrunin.ch15.s05 · backend/concepts-ch15-id-v0.csv

invariansi proyektif rasio silang

projective invariance of cross-ratio · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: bentuk normal afin-perspektif transformasi proyektif · rasio silang · invariansi rasio titik segaris terhadap transformasi afin

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.projective-cross-ratio-invariance · o004.petrunin.ch15.s05 · backend/concepts-ch15-id-v0.csv

memindahkan garis ke tak hingga

moving a line to infinity · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: bentuk normal afin-perspektif transformasi proyektif · garis ideal

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.move-line-to-infinity · o004.petrunin.ch15.s06 · backend/concepts-ch15-id-v0.csv

bidang afin yang diutamakan

preferred affine plane · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: bidang proyektif · memindahkan garis ke tak hingga

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): bidang afin yang diutamakan — projective-methods

Identitas sumber

o004.concept.preferred-affine-plane · o004.petrunin.ch15.s06 · backend/concepts-ch15-id-v0.csv

teorema Desargues

Desargues' theorem · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: transformasi proyektif · garis-garis konkuren · kolinear

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): teorema Desargues — projective-theorems

Identitas sumber

o004.concept.desargues-theorem · o004.petrunin.ch15.s06 · backend/concepts-ch15-id-v0.csv

teorema Pappus

Pappus' theorem · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: transformasi proyektif · kolinear

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): teorema Pappus — projective-theorems

Identitas sumber

o004.concept.pappus-theorem · o004.petrunin.ch15.s06 · backend/concepts-ch15-id-v0.csv

kebalikan parsial teorema Pappus

partial converse of Pappus' theorem · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: teorema Pappus

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.pappus-partial-converse · o004.petrunin.ch15.s06 · backend/concepts-ch15-id-v0.csv

konstruksi garis sejajar hanya dengan penggaris melalui teorema proyektif

ruler-only parallel construction via projective theorems · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: teorema Desargues · teorema Pappus · konstruksi hanya dengan penggaris

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.projective-ruler-parallel-construction · o004.petrunin.ch15.s06 · backend/concepts-ch15-id-v0.csv

dualitas proyektif

projective duality · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: bidang proyektif · korespondensi insidensi titik-garis dalam model ruang

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.projective-duality · o004.petrunin.ch15.s07 · backend/concepts-ch15-id-v0.csv

polaritas

polarity · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: dualitas proyektif

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): polaritas — projective-duality

Identitas sumber

o004.concept.polarity · o004.petrunin.ch15.s07 · backend/concepts-ch15-id-v0.csv

konfigurasi dual titik-garis

dual point-line configuration · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: dualitas proyektif · struktur insidensi

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.dual-configuration · o004.petrunin.ch15.s07 · backend/concepts-ch15-id-v0.csv

teorema dual Desargues

dual Desargues' theorem · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: dualitas proyektif · teorema Desargues

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): teorema dual Desargues — projective-theorems

Identitas sumber

o004.concept.dual-desargues-theorem · o004.petrunin.ch15.s07 · backend/concepts-ch15-id-v0.csv

teorema dual Pappus

dual Pappus theorem · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: dualitas proyektif · teorema Pappus

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.dual-pappus-theorem · o004.petrunin.ch15.s07 · backend/concepts-ch15-id-v0.csv

polaritas terhadap lingkaran

polarity with respect to a circle · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: polaritas · lingkaran · dualitas proyektif

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.circle-polarity · o004.petrunin.ch15.s08 · backend/concepts-ch15-id-v0.csv

polar suatu titik

polar of a point · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: polaritas terhadap lingkaran

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): polar suatu titik — pole-polar-geometry

Identitas sumber

o004.concept.polar-of-point · o004.petrunin.ch15.s08 · backend/concepts-ch15-id-v0.csv

kutub suatu garis

pole of a line · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: polaritas terhadap lingkaran

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): kutub suatu garis — pole-polar-geometry

Identitas sumber

o004.concept.pole-of-line · o004.petrunin.ch15.s08 · backend/concepts-ch15-id-v0.csv

titik invers sebagai kaki tegak lurus pada polar

inverse point as the perpendicular foot on the polar · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: polar suatu titik · inversi · garis tegak lurus

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.polar-inverse-foot · o004.petrunin.ch15.s08 · backend/concepts-ch15-id-v0.csv

konstruksi hanya dengan penggaris menggunakan dualitas kutub-polar

ruler-only constructions using pole-polar duality · Pemetaan sumber belum selesai diperiksa

Prasyarat metadata: polar suatu titik · kutub suatu garis · konstruksi hanya dengan penggaris

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.polar-ruler-constructions · o004.petrunin.ch15.s08 · backend/concepts-ch15-id-v0.csv

bola

sphere · Pemetaan diperiksa dalam sumber

Prasyarat metadata: ruang Euklides berdimensi tiga · jarak

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): bola — spherical-geometry

Identitas sumber

o004.concept.sphere · o004.petrunin.ch16.s01 · backend/concepts-ch16-id-v0.csv

bola satuan

unit sphere · Pemetaan diperiksa dalam sumber

Prasyarat metadata: bola

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): bola satuan — spherical-geometry

Identitas sumber

o004.concept.unit-sphere · o004.petrunin.ch16.s01 · backend/concepts-ch16-id-v0.csv

lingkaran besar

great circle · Pemetaan diperiksa dalam sumber

Prasyarat metadata: bola satuan · bidang dalam ruang Euklides · lingkaran

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): lingkaran besar — spherical-geometry

Identitas sumber

o004.concept.great-circle · o004.petrunin.ch16.s01 · backend/concepts-ch16-id-v0.csv

belahan bola

half-sphere · Pemetaan diperiksa dalam sumber

Prasyarat metadata: lingkaran besar

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): belahan bola — spherical-geometry

Identitas sumber

o004.concept.half-sphere · o004.petrunin.ch16.s01 · backend/concepts-ch16-id-v0.csv

titik-titik antipodal

antipodal points · Pemetaan diperiksa dalam sumber

Prasyarat metadata: bola satuan

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): titik-titik antipodal — spherical-geometry

Identitas sumber

o004.concept.antipodal-points · o004.petrunin.ch16.s01 · backend/concepts-ch16-id-v0.csv

jarak sferis

spherical distance · Pemetaan diperiksa dalam sumber

Prasyarat metadata: lingkaran besar · ukuran sudut

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): jarak sferis — spherical-metric

Identitas sumber

o004.concept.spherical-distance · o004.petrunin.ch16.s01 · backend/concepts-ch16-id-v0.csv

ruas sferis

spherical segment · Pemetaan diperiksa dalam sumber

Prasyarat metadata: lingkaran besar · jarak sferis

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.spherical-segment · o004.petrunin.ch16.s01 · backend/concepts-ch16-id-v0.csv

segitiga sferis

spherical triangle · Pemetaan diperiksa dalam sumber

Prasyarat metadata: ruas sferis

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): segitiga sferis — spherical-geometry

Identitas sumber

o004.concept.spherical-triangle · o004.petrunin.ch16.s02 · backend/concepts-ch16-id-v0.csv

ukuran sudut sferis

spherical angle measure · Pemetaan diperiksa dalam sumber

Prasyarat metadata: segitiga sferis · sudut antara busur

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): ukuran sudut sferis — spherical-angle

Identitas sumber

o004.concept.spherical-angle-measure · o004.petrunin.ch16.s02 · backend/concepts-ch16-id-v0.csv

segitiga sferis padat

solid spherical triangle · Pemetaan diperiksa dalam sumber

Prasyarat metadata: segitiga sferis · belahan bola

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): segitiga sferis padat — spherical-area

Identitas sumber

o004.concept.solid-spherical-triangle · o004.petrunin.ch16.s02 · backend/concepts-ch16-id-v0.csv

irisan sferis

spherical slice · Pemetaan diperiksa dalam sumber

Prasyarat metadata: lingkaran besar · luas

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): irisan sferis — spherical-area

Identitas sumber

o004.concept.spherical-slice · o004.petrunin.ch16.s02 · backend/concepts-ch16-id-v0.csv

identitas ekses-luas sferis

spherical excess-area identity · Pemetaan diperiksa dalam sumber

Prasyarat metadata: segitiga sferis padat · ukuran sudut sferis · luas · defek segitiga

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.spherical-excess-area · o004.petrunin.ch16.s02 · backend/concepts-ch16-id-v0.csv

proyeksi sentral

central projection · Pemetaan diperiksa dalam sumber

Prasyarat metadata: bola satuan · proyeksi perspektif

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): proyeksi sentral — spherical-projections

Identitas sumber

o004.concept.central-projection · o004.petrunin.ch16.s03 · backend/concepts-ch16-id-v0.csv

proyeksi lingkaran besar ke garis

central projection of great circles to lines · Pemetaan diperiksa dalam sumber

Prasyarat metadata: proyeksi sentral · lingkaran besar · garis

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.central-projection-great-circle-line · o004.petrunin.ch16.s03 · backend/concepts-ch16-id-v0.csv

garis berat sferis melalui proyeksi sentral

spherical medians under central projection · Pemetaan diperiksa dalam sumber

Prasyarat metadata: proyeksi sentral · segitiga sferis · garis berat segitiga · titik berat

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.spherical-medians-under-central-projection · o004.petrunin.ch16.s03 · backend/concepts-ch16-id-v0.csv

proyeksi stereografik

stereographic projection · Pemetaan diperiksa dalam sumber

Prasyarat metadata: bola satuan · bidang dalam ruang Euklides

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): proyeksi stereografik — spherical-projections

Identitas sumber

o004.concept.stereographic-projection · o004.petrunin.ch16.s04 · backend/concepts-ch16-id-v0.csv

proyeksi stereografik ke bidang diperluas

stereographic projection to the extended plane · Pemetaan diperiksa dalam sumber

Prasyarat metadata: proyeksi stereografik · titik di tak hingga

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.stereographic-extended-plane · o004.petrunin.ch16.s04 · backend/concepts-ch16-id-v0.csv

konformalitas proyeksi stereografik

conformality of stereographic projection · Pemetaan diperiksa dalam sumber

Prasyarat metadata: proyeksi stereografik · sudut antara busur · transport konformal ukuran sudut

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.stereographic-conformality · o004.petrunin.ch16.s04 · backend/concepts-ch16-id-v0.csv

inversi terhadap bola

inversion across a sphere · Pemetaan diperiksa dalam sumber

Prasyarat metadata: bola · inversi

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): inversi terhadap bola — spatial-inversive-geometry

Identitas sumber

o004.concept.sphere-inversion · o004.petrunin.ch16.s05 · backend/concepts-ch16-id-v0.csv

ruang inversif berdimensi tiga

inversive three-space · Pemetaan diperiksa dalam sumber

Prasyarat metadata: ruang Euklides berdimensi tiga · titik di tak hingga · inversi terhadap bola

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.inversive-three-space · o004.petrunin.ch16.s05 · backend/concepts-ch16-id-v0.csv

teorema inversi ruang

spatial inversion theorem · Pemetaan diperiksa dalam sumber

Prasyarat metadata: inversi terhadap bola · lingkaran umum · rasio silang · sudut antara busur

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.spatial-inversion-theorem · o004.petrunin.ch16.s05 · backend/concepts-ch16-id-v0.csv

proyeksi stereografik sebagai inversi bola

stereographic projection as sphere inversion · Pemetaan diperiksa dalam sumber

Prasyarat metadata: proyeksi stereografik ke bidang diperluas · inversi terhadap bola · konformalitas proyeksi stereografik

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.stereographic-as-inversion · o004.petrunin.ch16.s05 · backend/concepts-ch16-id-v0.csv

kerucut lingkaran

circular cone · Pemetaan diperiksa dalam sumber

Prasyarat metadata: lingkaran · ruang Euklides berdimensi tiga

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): kerucut lingkaran — solid-geometry

Identitas sumber

o004.concept.circular-cone · o004.petrunin.ch16.s05 · backend/concepts-ch16-id-v0.csv

kerucut lingkaran miring

oblique circular cone · Pemetaan diperiksa dalam sumber

Prasyarat metadata: kerucut lingkaran

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): kerucut lingkaran miring — solid-geometry

Identitas sumber

o004.concept.oblique-circular-cone · o004.petrunin.ch16.s05 · backend/concepts-ch16-id-v0.csv

vektor posisi

position vector · Pemetaan diperiksa dalam sumber

Prasyarat metadata: metode koordinat · ruang Euklides berdimensi tiga

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): vektor posisi — linear-algebra

Identitas sumber

o004.concept.position-vector · o004.petrunin.ch16.s06 · backend/concepts-ch16-id-v0.csv

hasil kali skalar dalam R3

scalar product in R3 · Pemetaan diperiksa dalam sumber

Prasyarat metadata: vektor posisi

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.scalar-product-r3 · o004.petrunin.ch16.s06 · backend/concepts-ch16-id-v0.csv

teorema Pythagoras sferis

spherical Pythagorean theorem · Pemetaan diperiksa dalam sumber

Prasyarat metadata: segitiga sferis · sudut siku-siku · hasil kali skalar dalam R3

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): teorema Pythagoras sferis — spherical-trigonometry

Identitas sumber

o004.concept.spherical-pythagorean-theorem · o004.petrunin.ch16.s06 · backend/concepts-ch16-id-v0.csv

korespondensi jarak imajiner sferis-hiperbolik

imaginary-distance spherical-hyperbolic correspondence · Pemetaan diperiksa dalam sumber

Prasyarat metadata: teorema Pythagoras sferis · teorema Pythagoras hiperbolik

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.imaginary-distance-correspondence · o004.petrunin.ch16.s07 · backend/concepts-ch16-id-v0.csv

substitusi Taurinus

Taurinus substitution · Pemetaan diperiksa dalam sumber

Prasyarat metadata: korespondensi jarak imajiner sferis-hiperbolik

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): substitusi Taurinus — spherical-hyperbolic-correspondence

Identitas sumber

o004.concept.taurinus-substitution · o004.petrunin.ch16.s07 · backend/concepts-ch16-id-v0.csv

aturan kosinus dan sinus sferis

spherical cosine and sine rules · Pemetaan diperiksa dalam sumber

Prasyarat metadata: segitiga sferis · substitusi Taurinus

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.spherical-trigonometric-rules · o004.petrunin.ch16.s07 · backend/concepts-ch16-id-v0.csv

bijeksi bidang-h konformal-ke-proyektif

conformal-to-projective h-plane bijection · Pemetaan diperiksa dalam sumber

Prasyarat metadata: proyeksi stereografik · lingkaran absolut

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.conformal-projective-bijection · o004.petrunin.ch17.s01 · backend/concepts-ch17-id-v0.csv

realisasi bidang-h pada belahan bola utara

northern-hemisphere realization of the h-plane · Pemetaan diperiksa dalam sumber

Prasyarat metadata: bola satuan · bijeksi bidang-h konformal-ke-proyektif

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.northern-hemisphere-realization · o004.petrunin.ch17.s01 · backend/concepts-ch17-id-v0.csv

proyeksi titik kaki tegak lurus ke bidang

orthogonal foot projection to a plane · Pemetaan diperiksa dalam sumber

Prasyarat metadata: ruang Euklides berdimensi tiga · realisasi bidang-h pada belahan bola utara

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.foot-projection-plane · o004.petrunin.ch17.s01 · backend/concepts-ch17-id-v0.csv

model proyektif bidang hiperbolik

projective model of the hyperbolic plane · Pemetaan diperiksa dalam sumber

Prasyarat metadata: bijeksi bidang-h konformal-ke-proyektif · lingkaran absolut

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.projective-model · o004.petrunin.ch17.s02 · backend/concepts-ch17-id-v0.csv

garis-h sebagai tali busur terbuka dalam model proyektif

h-line as an open chord in the projective model · Pemetaan diperiksa dalam sumber

Prasyarat metadata: model proyektif bidang hiperbolik · titik ideal garis-h

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.projective-h-line-chord · o004.petrunin.ch17.s02 · backend/concepts-ch17-id-v0.csv

jarak-h model proyektif dari rasio silang

projective-model h-distance from cross-ratio · Pemetaan diperiksa dalam sumber

Prasyarat metadata: model proyektif bidang hiperbolik · rasio silang · aditivitas jarak-h pada garis-h

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.projective-h-distance · o004.petrunin.ch17.s01 · backend/concepts-ch17-id-v0.csv

teorema Pappus hiperbolik

hyperbolic Pappus theorem · Pemetaan diperiksa dalam sumber

Prasyarat metadata: garis-h sebagai tali busur terbuka dalam model proyektif · teorema Pappus

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): teorema Pappus hiperbolik — hyperbolic-projective-geometry

Identitas sumber

o004.concept.hyperbolic-pappus-theorem · o004.petrunin.ch17.s02 · backend/concepts-ch17-id-v0.csv

lingkaran-h dan ekuidistan sebagai elips dan busur terbuka

h-circle and equidistant as ellipse and open arc · Pemetaan diperiksa dalam sumber

Prasyarat metadata: model proyektif bidang hiperbolik · ekuidistan atau hipersiklus suatu garis-h

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.projective-h-circle-ellipse · o004.petrunin.ch17.s02 · backend/concepts-ch17-id-v0.csv

pengukuran sudut hiperbolik dalam model proyektif

hyperbolic angle measurement in the projective model · Pemetaan diperiksa dalam sumber

Prasyarat metadata: model proyektif bidang hiperbolik · isometri

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.projective-angle-measure · o004.petrunin.ch17.s02 · backend/concepts-ch17-id-v0.csv

transfer ketegaklurusan di pusat lingkaran absolut

perpendicularity transfer at the center of the absolute · Pemetaan diperiksa dalam sumber

Prasyarat metadata: pengukuran sudut hiperbolik dalam model proyektif · pencerminan terhadap garis

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.center-perpendicularity-transfer · o004.petrunin.ch17.s02 · backend/concepts-ch17-id-v0.csv

transformasi proyektif yang mempertahankan bidang-h sebagai isometri

projective transformations preserving the h-plane as isometries · Pemetaan diperiksa dalam sumber

Prasyarat metadata: transformasi proyektif · model proyektif bidang hiperbolik

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.projective-isometry-group · o004.petrunin.ch17.s02 · backend/concepts-ch17-id-v0.csv

konkurensi garis berat pada segitiga hiperbolik siklik

concurrency of medians in a cyclic hyperbolic triangle · Pemetaan diperiksa dalam sumber

Prasyarat metadata: model proyektif bidang hiperbolik · lingkaran luar · titik berat

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.hyperbolic-median-concurrency · o004.petrunin.ch17.s02 · backend/concepts-ch17-id-v0.csv

garis tinggi hiperbolik berpotongan atau saling lepas berpasangan

concurrent or pairwise-disjoint hyperbolic altitudes · Pemetaan diperiksa dalam sumber

Prasyarat metadata: transfer ketegaklurusan di pusat lingkaran absolut · ortosenter

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.hyperbolic-altitude-alternative · o004.petrunin.ch17.s02 · backend/concepts-ch17-id-v0.csv

kriteria garis singgung bagi garis-h tegak lurus

tangent criterion for perpendicular h-lines · Pemetaan diperiksa dalam sumber

Prasyarat metadata: garis-h sebagai tali busur terbuka dalam model proyektif · inversi

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.projective-perpendicularity-tangent-criterion · o004.petrunin.ch17.s02 · backend/concepts-ch17-id-v0.csv

penurunan sudut paralelisme dengan model proyektif

projective derivation of the angle of parallelism · Pemetaan diperiksa dalam sumber

Prasyarat metadata: jarak-h model proyektif dari rasio silang · sudut paralelisme

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.projective-parallelism-angle · o004.petrunin.ch17.s02 · backend/concepts-ch17-id-v0.csv

jari-jari dalam segitiga ideal dari model proyektif

ideal-triangle inradius from the projective model · Pemetaan diperiksa dalam sumber

Prasyarat metadata: penurunan sudut paralelisme dengan model proyektif · batas atas universal jari-jari dalam-h

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.projective-ideal-inradius · o004.petrunin.ch17.s02 · backend/concepts-ch17-id-v0.csv

bukti model proyektif untuk teorema Pythagoras hiperbolik

projective-model proof of the hyperbolic Pythagorean theorem · Pemetaan diperiksa dalam sumber

Prasyarat metadata: jarak-h model proyektif dari rasio silang · teorema Pythagoras hiperbolik · teorema Pythagoras

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.projective-hyperbolic-pythagorean-proof · o004.petrunin.ch17.s02 · backend/concepts-ch17-id-v0.csv

konstruksi Bolyai untuk garis sejajar asimtotik

Bolyai construction of an asymptotic parallel · Pemetaan diperiksa dalam sumber

Prasyarat metadata: garis-h sejajar asimtotik · konstruksi penggaris dan jangka

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.bolyai-construction · o004.petrunin.ch17.s03 · backend/concepts-ch17-id-v0.csv

identitas panjang yang mendukung konstruksi Bolyai

length identity supporting Bolyai construction · Pemetaan diperiksa dalam sumber

Prasyarat metadata: konstruksi Bolyai untuk garis sejajar asimtotik · jarak-h model proyektif dari rasio silang · segitiga sebangun

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.bolyai-length-proposition · o004.petrunin.ch17.s03 · backend/concepts-ch17-id-v0.csv

konstruksi garis tegak lurus bersama bagi garis-h

construction of a common perpendicular of h-lines · Pemetaan diperiksa dalam sumber

Prasyarat metadata: garis tegak lurus bersama bagi garis-h · kriteria garis singgung bagi garis-h tegak lurus · ortosenter

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.common-perpendicular-construction · o004.petrunin.ch17.s03 · backend/concepts-ch17-id-v0.csv

bilangan kompleks

complex number · Pemetaan diperiksa dalam sumber

Prasyarat metadata: model koordinat bidang Euklides

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): bilangan kompleks — complex-analysis

Identitas sumber

o004.concept.complex-number · o004.petrunin.ch18.s01 · backend/concepts-ch18-id-v0.csv

aritmetika kompleks

complex arithmetic · Pemetaan diperiksa dalam sumber

Prasyarat metadata: bilangan kompleks

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.complex-arithmetic · o004.petrunin.ch18.s01 · backend/concepts-ch18-id-v0.csv

bagian real dan imajiner

real and imaginary parts · Pemetaan diperiksa dalam sumber

Prasyarat metadata: bilangan kompleks

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.real-and-imaginary-parts · o004.petrunin.ch18.s01 · backend/concepts-ch18-id-v0.csv

koordinat kompleks pada bidang Euklides

complex coordinate on the Euclidean plane · Pemetaan diperiksa dalam sumber

Prasyarat metadata: bilangan kompleks · model koordinat bidang Euklides

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.complex-plane-coordinate · o004.petrunin.ch18.s02 · backend/concepts-ch18-id-v0.csv

konjugasi kompleks

complex conjugation · Pemetaan diperiksa dalam sumber

Prasyarat metadata: bagian real dan imajiner · pencerminan terhadap garis

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): konjugasi kompleks — complex-analysis

Identitas sumber

o004.concept.complex-conjugation · o004.petrunin.ch18.s03 · backend/concepts-ch18-id-v0.csv

nilai mutlak bilangan kompleks

complex absolute value · Pemetaan diperiksa dalam sumber

Prasyarat metadata: bilangan kompleks · jarak

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.complex-modulus · o004.petrunin.ch18.s03 · backend/concepts-ch18-id-v0.csv

rumus jarak Euklides dari koordinat kompleks

Euclidean distance from complex coordinates · Pemetaan diperiksa dalam sumber

Prasyarat metadata: koordinat kompleks pada bidang Euklides · nilai mutlak bilangan kompleks

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.complex-distance-formula · o004.petrunin.ch18.s03 · backend/concepts-ch18-id-v0.csv

rumus Euler untuk bilangan kompleks

Euler's formula for complex numbers · Pemetaan diperiksa dalam sumber

Prasyarat metadata: aritmetika kompleks

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.euler-formula-complex · o004.petrunin.ch18.s04 · backend/concepts-ch18-id-v0.csv

argumen bilangan kompleks

argument of a complex number · Pemetaan diperiksa dalam sumber

Prasyarat metadata: rumus Euler untuk bilangan kompleks · sudut

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.complex-argument · o004.petrunin.ch18.s05 · backend/concepts-ch18-id-v0.csv

koordinat polar titik kompleks

polar coordinate of a complex point · Pemetaan diperiksa dalam sumber

Prasyarat metadata: nilai mutlak bilangan kompleks · argumen bilangan kompleks

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.complex-polar-coordinate · o004.petrunin.ch18.s05 · backend/concepts-ch18-id-v0.csv

rasio silang kompleks

complex cross-ratio · Pemetaan diperiksa dalam sumber

Prasyarat metadata: aritmetika kompleks · rasio silang

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): rasio silang kompleks — complex-geometry

Identitas sumber

o004.concept.complex-cross-ratio · o004.petrunin.ch18.s05 · backend/concepts-ch18-id-v0.csv

kriteria keterinskripsian melalui rasio silang kompleks

cyclicity criterion by complex cross-ratio · Pemetaan diperiksa dalam sumber

Prasyarat metadata: rasio silang kompleks · segiempat terinskripsi

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.complex-cross-ratio-cyclicity · o004.petrunin.ch18.s05 · backend/concepts-ch18-id-v0.csv

metode koordinat kompleks

complex-coordinate method · Pemetaan diperiksa dalam sumber

Prasyarat metadata: koordinat kompleks pada bidang Euklides · metode koordinat

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): metode koordinat kompleks — complex-geometry

Identitas sumber

o004.concept.complex-coordinate-method · o004.petrunin.ch18.s06 · backend/concepts-ch18-id-v0.csv

bidang kompleks diperluas

extended complex plane · Pemetaan diperiksa dalam sumber

Prasyarat metadata: koordinat kompleks pada bidang Euklides · titik di tak hingga

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): bidang kompleks diperluas — complex-analysis

Identitas sumber

o004.concept.extended-complex-plane · o004.petrunin.ch18.s07 · backend/concepts-ch18-id-v0.csv

transformasi linear fraksional

fractional linear transformation · Pemetaan diperiksa dalam sumber

Prasyarat metadata: bidang kompleks diperluas · aritmetika kompleks

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): transformasi linear fraksional — complex-geometry

Identitas sumber

o004.concept.fractional-linear-transformation · o004.petrunin.ch18.s07 · backend/concepts-ch18-id-v0.csv

transformasi Möbius elementer

elementary Möbius transformations · Pemetaan diperiksa dalam sumber

Prasyarat metadata: transformasi linear fraksional

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.elementary-mobius-transformations · o004.petrunin.ch18.s08 · backend/concepts-ch18-id-v0.csv

homoteti rotasional

rotational homothety · Pemetaan diperiksa dalam sumber

Prasyarat metadata: argumen bilangan kompleks · homoteti

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): homoteti rotasional — complex-geometry

Identitas sumber

o004.concept.rotational-homothety · o004.petrunin.ch18.s08 · backend/concepts-ch18-id-v0.csv

karakterisasi komposisi transformasi Möbius

composition characterization of Möbius transformations · Pemetaan diperiksa dalam sumber

Prasyarat metadata: transformasi Möbius elementer · pemetaan identitas

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.mobius-composition-characterization · o004.petrunin.ch18.s08 · backend/concepts-ch18-id-v0.csv

pemertahanan lingkaran umum oleh transformasi Möbius

Möbius preservation of circlines · Pemetaan diperiksa dalam sumber

Prasyarat metadata: karakterisasi komposisi transformasi Möbius · lingkaran umum · inversi

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.mobius-circline-preservation · o004.petrunin.ch18.s08 · backend/concepts-ch18-id-v0.csv

ketertutupan transformasi Möbius terhadap invers

closure of Möbius transformations under inverse · Pemetaan diperiksa dalam sumber

Prasyarat metadata: karakterisasi komposisi transformasi Möbius · pemetaan identitas

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.mobius-inverse-closure · o004.petrunin.ch18.s08 · backend/concepts-ch18-id-v0.csv

inversi sebagai komposisi konjugasi dan transformasi Möbius

inversion as conjugation composed with a Möbius transformation · Pemetaan diperiksa dalam sumber

Prasyarat metadata: konjugasi kompleks · inversi · transformasi linear fraksional

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.inversion-as-conjugate-mobius · o004.petrunin.ch18.s08 · backend/concepts-ch18-id-v0.csv

invariansi Möbius rasio silang kompleks

Möbius invariance of complex cross-ratio · Pemetaan diperiksa dalam sumber

Prasyarat metadata: rasio silang kompleks · transformasi linear fraksional

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.complex-cross-ratio-mobius-invariance · o004.petrunin.ch18.s09 · backend/concepts-ch18-id-v0.csv

cakram satuan terbuka pada bidang kompleks

open unit disc in the complex plane · Pemetaan diperiksa dalam sumber

Prasyarat metadata: koordinat kompleks pada bidang Euklides · titik di dalam lingkaran

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.complex-unit-disc · o004.petrunin.ch18.s10 · backend/concepts-ch18-id-v0.csv

fungsi holomorfik

holomorphic function · Pemetaan diperiksa dalam sumber

Prasyarat metadata: aritmetika kompleks

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): fungsi holomorfik — complex-analysis

Identitas sumber

o004.concept.holomorphic-function · o004.petrunin.ch18.s10 · backend/concepts-ch18-id-v0.csv

teorema kontraksi Schwarz–Pick

Schwarz–Pick contraction theorem · Pemetaan diperiksa dalam sumber

Prasyarat metadata: fungsi holomorfik · jarak hiperbolik · model cakram konformal

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.schwarz-pick-contraction · o004.petrunin.ch18.s10 · backend/concepts-ch18-id-v0.csv

Lema Schwarz

Schwarz lemma · Pemetaan diperiksa dalam sumber

Prasyarat metadata: teorema kontraksi Schwarz–Pick · nilai mutlak bilangan kompleks

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): Lema Schwarz — complex-analysis

Identitas sumber

o004.concept.schwarz-lemma · o004.petrunin.ch18.s10 · backend/concepts-ch18-id-v0.csv

konstruksi geometri

geometric construction · Pemetaan diperiksa dalam sumber

Prasyarat metadata: Tidak ada yang dicatat.

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): konstruksi geometri — geometric-constructions

Identitas sumber

o004.concept.geometric-construction · o004.petrunin.ch19.s01 · backend/concepts-ch19-id-v0.csv

konstruksi dengan penggaris dan jangka

straightedge-and-compass construction · Pemetaan diperiksa dalam sumber

Prasyarat metadata: konstruksi geometri

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): konstruksi dengan penggaris dan jangka — geometric-constructions

Identitas sumber

o004.concept.straightedge-compass-construction · o004.petrunin.ch19.s01 · backend/concepts-ch19-id-v0.csv

soal konstruksi klasik

classical construction problem · Pemetaan diperiksa dalam sumber

Prasyarat metadata: konstruksi dengan penggaris dan jangka

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.classical-construction-problem · o004.petrunin.ch19.s01 · backend/concepts-ch19-id-v0.csv

konstruksi yang mustahil

impossible construction · Pemetaan diperiksa dalam sumber

Prasyarat metadata: konstruksi dengan penggaris dan jangka

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.impossible-construction · o004.petrunin.ch19.s02 · backend/concepts-ch19-id-v0.csv

keterkonstruksian segi-n beraturan

constructibility of a regular polygon · Pemetaan diperiksa dalam sumber

Prasyarat metadata: konstruksi dengan penggaris dan jangka

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.regular-polygon-constructibility · o004.petrunin.ch19.s02 · backend/concepts-ch19-id-v0.csv

bilangan prima Fermat

Fermat prime · Pemetaan diperiksa dalam sumber

Prasyarat metadata: Tidak ada yang dicatat.

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): bilangan prima Fermat — number-theory

Identitas sumber

o004.concept.fermat-prime · o004.petrunin.ch19.s02 · backend/concepts-ch19-id-v0.csv

Teorema Gauss--Wantzel

Gauss--Wantzel theorem · Pemetaan diperiksa dalam sumber

Prasyarat metadata: keterkonstruksian segi-n beraturan · bilangan prima Fermat

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.gauss-wantzel-theorem · o004.petrunin.ch19.s02 · backend/concepts-ch19-id-v0.csv

bilangan yang dapat dikonstruksi

constructible number · Pemetaan diperiksa dalam sumber

Prasyarat metadata: konstruksi dengan penggaris dan jangka · model koordinat bidang Euklides

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): bilangan yang dapat dikonstruksi — geometric-constructions

Identitas sumber

o004.concept.constructible-number · o004.petrunin.ch19.s03 · backend/concepts-ch19-id-v0.csv

karakterisasi koordinat titik yang dapat dikonstruksi

coordinate characterization of constructible points · Pemetaan diperiksa dalam sumber

Prasyarat metadata: bilangan yang dapat dikonstruksi · metode koordinat

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.constructible-coordinate-field · o004.petrunin.ch19.s03 · backend/concepts-ch19-id-v0.csv

konstruksi rerata geometri

geometric-mean construction · Pemetaan diperiksa dalam sumber

Prasyarat metadata: konstruksi dengan penggaris dan jangka · lingkaran

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.geometric-mean-construction · o004.petrunin.ch19.s03 · backend/concepts-ch19-id-v0.csv

konstruksi dengan penggaris segitiga

set-square construction · Pemetaan diperiksa dalam sumber

Prasyarat metadata: konstruksi geometri

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.set-square-construction · o004.petrunin.ch19.s04 · backend/concepts-ch19-id-v0.csv

penggaris segitiga 45 derajat

45-degree set square · Pemetaan diperiksa dalam sumber

Prasyarat metadata: konstruksi dengan penggaris segitiga

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): penggaris segitiga 45 derajat — geometric-constructions

Identitas sumber

o004.concept.set-square-45 · o004.petrunin.ch19.s04 · backend/concepts-ch19-id-v0.csv

penggaris segitiga 30 derajat

30-degree set square · Pemetaan diperiksa dalam sumber

Prasyarat metadata: konstruksi dengan penggaris segitiga

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): penggaris segitiga 30 derajat — geometric-constructions

Identitas sumber

o004.concept.set-square-30 · o004.petrunin.ch19.s04 · backend/concepts-ch19-id-v0.csv

titik rasional

rational point · Pemetaan diperiksa dalam sumber

Prasyarat metadata: model koordinat bidang Euklides

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): titik rasional — coordinate-geometry

Identitas sumber

o004.concept.rational-point · o004.petrunin.ch19.s04 · backend/concepts-ch19-id-v0.csv

titik irasional

irrational point · Pemetaan diperiksa dalam sumber

Prasyarat metadata: titik rasional

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): titik irasional — coordinate-geometry

Identitas sumber

o004.concept.irrational-point · o004.petrunin.ch19.s04 · backend/concepts-ch19-id-v0.csv

verifikasi konstruksi

verification of a construction · Pemetaan diperiksa dalam sumber

Prasyarat metadata: konstruksi geometri

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.construction-verification · o004.petrunin.ch19.s05 · backend/concepts-ch19-id-v0.csv

konfigurasi yang dapat diverifikasi

verifiable configuration · Pemetaan diperiksa dalam sumber

Prasyarat metadata: verifikasi konstruksi

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.verifiable-configuration · o004.petrunin.ch19.s05 · backend/concepts-ch19-id-v0.csv

sifat konstruksi yang dapat diputuskan

decidable construction property · Pemetaan diperiksa dalam sumber

Prasyarat metadata: verifikasi konstruksi

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.decidable-construction-property · o004.petrunin.ch19.s05 · backend/concepts-ch19-id-v0.csv

alat lingkaran umum

general-circle tool · Pemetaan diperiksa dalam sumber

Prasyarat metadata: lingkaran

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): alat lingkaran umum — geometric-constructions

Identitas sumber

o004.concept.general-circle-tool · o004.petrunin.ch19.s05 · backend/concepts-ch19-id-v0.csv

inversor geometri

geometric inversor · Pemetaan diperiksa dalam sumber

Prasyarat metadata: inversi

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.geometric-inversor · o004.petrunin.ch19.s05 · backend/concepts-ch19-id-v0.csv

pemilihan titik bebas

free-point choice · Pemetaan diperiksa dalam sumber

Prasyarat metadata: konstruksi geometri

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.free-point-choice · o004.petrunin.ch19.s05 · backend/concepts-ch19-id-v0.csv

obstruksi proyektif terhadap konstruksi

projective obstruction to construction · Pemetaan diperiksa dalam sumber

Prasyarat metadata: transformasi proyektif · pemilihan titik bebas

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.projective-construction-obstruction · o004.petrunin.ch19.s05 · backend/concepts-ch19-id-v0.csv

kekuatan himpunan alat konstruksi

strength of a construction-tool set · Pemetaan diperiksa dalam sumber

Prasyarat metadata: konstruksi geometri

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.construction-tool-strength · o004.petrunin.ch19.s06 · backend/concepts-ch19-id-v0.csv

himpunan alat yang lebih kuat secara ketat

strictly stronger tool set · Pemetaan diperiksa dalam sumber

Prasyarat metadata: kekuatan himpunan alat konstruksi

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.strictly-stronger-tool-set · o004.petrunin.ch19.s06 · backend/concepts-ch19-id-v0.csv

himpunan alat yang ekuivalen

equivalent tool sets · Pemetaan diperiksa dalam sumber

Prasyarat metadata: kekuatan himpunan alat konstruksi

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.equivalent-tool-sets · o004.petrunin.ch19.s06 · backend/concepts-ch19-id-v0.csv

himpunan alat yang tidak terbandingkan

incomparable tool sets · Pemetaan diperiksa dalam sumber

Prasyarat metadata: kekuatan himpunan alat konstruksi

Buka bacaan Lokasi unit sumber persis.

Identitas sumber

o004.concept.incomparable-tool-sets · o004.petrunin.ch19.s06 · backend/concepts-ch19-id-v0.csv

Teorema Mohr--Mascheroni

Mohr--Mascheroni theorem · Pemetaan diperiksa dalam sumber

Prasyarat metadata: konstruksi dengan penggaris dan jangka · himpunan alat yang ekuivalen

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): Teorema Mohr--Mascheroni — geometric-constructions

Identitas sumber

o004.concept.mohr-mascheroni-theorem · o004.petrunin.ch19.s06 · backend/concepts-ch19-id-v0.csv

Teorema Poncelet--Steiner

Poncelet--Steiner theorem · Pemetaan diperiksa dalam sumber

Prasyarat metadata: konstruksi dengan penggaris dan jangka · himpunan alat yang ekuivalen

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): Teorema Poncelet--Steiner — geometric-constructions

Identitas sumber

o004.concept.poncelet-steiner-theorem · o004.petrunin.ch19.s06 · backend/concepts-ch19-id-v0.csv

segitiga padat

solid triangle · Pemetaan diperiksa dalam sumber

Prasyarat metadata: Tidak ada yang dicatat.

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): segitiga padat — area

Identitas sumber

o004.concept.solid-triangle · o004.petrunin.ch20.s01 · backend/concepts-ch20-id-v0.csv

himpunan elementer

elementary set · Pemetaan diperiksa dalam sumber

Prasyarat metadata: Tidak ada yang dicatat.

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): himpunan elementer — area

Identitas sumber

o004.concept.elementary-set · o004.petrunin.ch20.s02 · backend/concepts-ch20-id-v0.csv

himpunan poligonal

polygonal set · Pemetaan diperiksa dalam sumber

Prasyarat metadata: Tidak ada yang dicatat.

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): himpunan poligonal — area

Identitas sumber

o004.concept.polygonal-set · o004.petrunin.ch20.s02 · backend/concepts-ch20-id-v0.csv

himpunan poligonal degenerat

degenerate polygonal set · Pemetaan diperiksa dalam sumber

Prasyarat metadata: Tidak ada yang dicatat.

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): himpunan poligonal degenerat — area

Identitas sumber

o004.concept.degenerate-polygonal-set · o004.petrunin.ch20.s02 · backend/concepts-ch20-id-v0.csv

fungsi luas

area function · Pemetaan diperiksa dalam sumber

Prasyarat metadata: Tidak ada yang dicatat.

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): fungsi luas — area

Identitas sumber

o004.concept.area-function · o004.petrunin.ch20.s03 · backend/concepts-ch20-id-v0.csv

luas nol

zero area · Pemetaan diperiksa dalam sumber

Prasyarat metadata: Tidak ada yang dicatat.

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): luas nol — area

Identitas sumber

o004.concept.zero-area · o004.petrunin.ch20.s04 · backend/concepts-ch20-id-v0.csv

subdivisi

subdivision · Pemetaan diperiksa dalam sumber

Prasyarat metadata: Tidak ada yang dicatat.

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): subdivisi — area

Identitas sumber

o004.concept.subdivision · o004.petrunin.ch20.s04 · backend/concepts-ch20-id-v0.csv

ekuidekomposabel

equidecomposable · Pemetaan diperiksa dalam sumber

Prasyarat metadata: Tidak ada yang dicatat.

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): ekuidekomposabel — area

Identitas sumber

o004.concept.equidecomposable · o004.petrunin.ch20.s04 · backend/concepts-ch20-id-v0.csv

luas persegi panjang

area of a rectangle · Pemetaan diperiksa dalam sumber

Prasyarat metadata: Tidak ada yang dicatat.

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): luas persegi panjang — area

Identitas sumber

o004.concept.rectangle-area · o004.petrunin.ch20.s05 · backend/concepts-ch20-id-v0.csv

luas jajar genjang

area of a parallelogram · Pemetaan diperiksa dalam sumber

Prasyarat metadata: Tidak ada yang dicatat.

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): luas jajar genjang — area

Identitas sumber

o004.concept.parallelogram-area · o004.petrunin.ch20.s06 · backend/concepts-ch20-id-v0.csv

luas segitiga

area of a triangle · Pemetaan diperiksa dalam sumber

Prasyarat metadata: Tidak ada yang dicatat.

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): luas segitiga — area

Identitas sumber

o004.concept.triangle-area · o004.petrunin.ch20.s07 · backend/concepts-ch20-id-v0.csv

metode luas

area method · Pemetaan diperiksa dalam sumber

Prasyarat metadata: Tidak ada yang dicatat.

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): metode luas — area

Identitas sumber

o004.concept.area-method · o004.petrunin.ch20.s08 · backend/concepts-ch20-id-v0.csv

bidang netral

neutral plane · Pemetaan diperiksa dalam sumber

Prasyarat metadata: Tidak ada yang dicatat.

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): bidang netral — neutral-geometry · bidang netral — neutral-geometry

Identitas sumber

o004.concept.neutral-plane-area · o004.petrunin.ch20.s09 · backend/concepts-ch20-id-v0.csv

luas pada bola

spherical area · Pemetaan diperiksa dalam sumber

Prasyarat metadata: Tidak ada yang dicatat.

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): luas pada bola — spherical-geometry

Identitas sumber

o004.concept.spherical-area · o004.petrunin.ch20.s09 · backend/concepts-ch20-id-v0.csv

defek

defect · Pemetaan diperiksa dalam sumber

Prasyarat metadata: Tidak ada yang dicatat.

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): defek — curvature-geometry · defek — spherical-geometry

Identitas sumber

o004.concept.defect · o004.petrunin.ch20.s09 · backend/concepts-ch20-id-v0.csv

kelengkungan

curvature · Pemetaan diperiksa dalam sumber

Prasyarat metadata: Tidak ada yang dicatat.

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): kelengkungan — curvature-geometry · kelengkungan — differential-geometry

Identitas sumber

o004.concept.curvature · o004.petrunin.ch20.s09 · backend/concepts-ch20-id-v0.csv

himpunan kuadrabel

quadrable set · Pemetaan diperiksa dalam sumber

Prasyarat metadata: Tidak ada yang dicatat.

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): himpunan kuadrabel — area

Identitas sumber

o004.concept.quadrable-set · o004.petrunin.ch20.s10 · backend/concepts-ch20-id-v0.csv

rasio silang luas

cross-ratio area · Pemetaan diperiksa dalam sumber

Prasyarat metadata: Tidak ada yang dicatat.

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): rasio silang luas — projective-geometry

Identitas sumber

o004.concept.cross-ratio-area · o004.petrunin.ch20.s08 · backend/concepts-ch20-id-v0.csv

himpunan satuan luas

unit-area set · Pemetaan diperiksa dalam sumber

Prasyarat metadata: Tidak ada yang dicatat.

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): himpunan satuan luas — area

Identitas sumber

o004.concept.unit-area-set · o004.petrunin.ch20.s03 · backend/concepts-ch20-id-v0.csv

himpunan terbatas

bounded set · Pemetaan diperiksa dalam sumber

Prasyarat metadata: Tidak ada yang dicatat.

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): himpunan terbatas — set-theory

Identitas sumber

o004.concept.bounded-set · o004.petrunin.ch20.s10 · backend/concepts-ch20-id-v0.csv

ukuran Lebesgue

Lebesgue measure · Pemetaan diperiksa dalam sumber

Prasyarat metadata: Tidak ada yang dicatat.

Buka bacaan Lokasi unit sumber persis.

Padanan leksikal dalam register (bukan kesamaan identitas): ukuran Lebesgue — measure-theory

Identitas sumber

o004.concept.lebesgue-measure · o004.petrunin.ch20.s10 · backend/concepts-ch20-id-v0.csv